Advances in Computing Science - ASIAN'97 - 10 Angebote vergleichen

Lieferung aus: Deutschland, zzgl. Versandkosten, Versandfertig in 2 - 3 Tagen.
Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings, This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.

Lieferung aus: Deutschland, Lagernd.
This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing. Soft cover.

Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25, in-stock.
This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, Asian'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.

Lieferung aus: Deutschland, Lagernd.
This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing. eBook.

Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
The current use of complex materials in nanotechnology and industrial engineering has led to a number of intricate problems in mechanics. The macroscopic behavior of such materials often depends critically on their substructures. Multifield theories in continuum mechanics provide the tools for modeling and describing these material substructures, as is emphasized in this book. Indeed multifield theories are an active area of research because of the numerous theoretical and numerical problems emerging in the field. Written by leading mathematicians and engineers, the chapters feature a broad range of topics that offer both experimental results and clear, detailed answers to fundamental questions about the general formulation of multifield theories. Amid a rich collection of open problems, selected subjects treated include: - Energetic and geometric properties of elastic-plastic materials - Poisson structures for complex fluids - Drag reduction in turbulence due to polymeric substructures - Topological properties of stresses and defects - Exact relations for the effective behavior of composites - Multifield macroscopic modeling of shape memory effects and extended thermodynamics - Properties of junctions and interfaces Applied mathematicians, mechanical and structural engineers, material scientists, graduate students, and researchers in the above areas will benefit from this work. Contributors: D. Bernardini, G. Capriz, C. M. Casciola, H. Cendra, E. DeAngelis, Y. Grabovsky, P. M. Mariano, J. Marsden, I. Müller, O. B. Naimark, G. Parry, T. J. Pence, R. Piva, T. S. Ratiu, R. Segev, M. Silhavy. This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing. xiv, 394 S. XIII, 387 pp. Versandfertig in 6-10 Tagen, Softcover, Neuware, Offene Rechnung (Vorkasse vorbehalten).

Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, GuthrieBooks.
Springer, 1997-12-23. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Lieferung aus: Deutschland, zzgl. Versandkosten, 354063875X.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Vereinigte Staaten von Amerika, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Von Händler/Antiquariat, MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien.
1997 Kartoniert / Broschiert, neu, 2017-07-11.