Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540608052 ISBN 13 : 9783540608059
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995.The 26 papers are revised final versions of the workshop presentations selected from a total of 54 submissions; also included is a comprehensive introduction, a detailed bibliography listing 355 relevant publications, and a subject index. The book is structured into seven sections, reflecting the most current major directions in agent-related research. Together with its predecessor, Intelligent Agents, published as volume 890 in the LNAI series, this book provides a timely and comprehensive state-of-the-art report.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540606289 ISBN 13 : 9783540606284
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Springer-Verlag began publishing books in higher mathematics in 1920, when the seriesGrundlehren der mathematischen Wissenschaften, initially conceived as a series of advanced textbooks, was founded by Richard Courant. A few years later a new series Ergebnisse der Mathematik und ihrer Grenzgebiete, survey reports of recent mathematical research, was added.Of over 400 books published in these series, many have become recognized classics and remain standard references for their subject. Springer is reissuing a selected few of these highly successful books in a new, inexpensive sofcover edition to make them easily accessible to younger generations of students and researchers.Classical Banach Spaces I and IIFrom the reviews: ¿.the book is written in the best tradition of the beautiful series in which it appears. The material it presents is hard to find in other books. For people working in the structure theory of Banach spaces it will be most valuable as a source of references and inspiration. For those who wish to learn the subject the book deserves a warm welcome too.¿Medelingen van het Wiskundig Genootschap¿¿The geometry of Banach lattices is a rich, beautiful, ¿ and rewarding subject. The proof is in the reading and perusing of the masterpiece.¿Zentrablatt für MathematikSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540606297 ISBN 13 : 9783540606291
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 58,84
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Since its first publication in 1965 in the series Grundlehren der mathematischen Wissenschaften this book has had a profound and enduring influence on research into the stochastic processes associated with diffusion phenomena. Generations of mathematicians have appreciated the clarity of the descriptions given of one- or more- dimensional diffusion processes and the mathematical insight provided into Brownian motion. Now, with its republication in the Classics in Mathematics it is hoped that a new generation will be able to enjoy the classic text of Itô and McKean.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540606564 ISBN 13 : 9783540606567
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 58,84
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -From the reviews: '. Federer's timely and beautiful book indeed fills the need for a comprehensive treatise on geometric measure theory, and his detailed exposition leads from the foundations of the theory to the most recent discoveries. . The author writes with a distinctive style which is both natural and powerfully economical in treating a complicated subject. This book is a major treatise in mathematics and is essential in the working library of the modern analyst.'Bulletin of the London Mathematical SocietySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 700 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 354060765X ISBN 13 : 9783540607656
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 106,99
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This book presents the refereed proceedings of the Eighth Annual Workshop on Languages and Compilers for Parallel Computing, held in Columbus, Ohio in August 1995.The 38 full revised papers presented were carefully selected for inclusion in the proceedings and reflect the state of the art of research and advanced applications in parallel languages, restructuring compilers, and runtime systems. The papers are organized in sections on fine-grain parallelism, interprocedural analysis, program analysis, Fortran 90 and HPF, loop parallelization for HPF compilers, tools and libraries, loop-level optimization, automatic data distribution, compiler models, irregular computation, object-oriented and functional parallelism.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540591869 ISBN 13 : 9783540591863
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 160,49
Quantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware -Fluvial deposits represent the preserved record of one of the major nonmarine environ ments. They accumulate in large and small intermontane valleys, in the broad valleys of trunk rivers, in the wedges of alluvial fans flanking areas of uplift, in the outwash plains fronting melting glaciers, and in coastal plains. The nature of alluvial assemblages - their lithofacies composition, vertical stratigraphic record, and architecture - reflect an inter play of many processes, from the wandering of individual channels across a floodplain, to the long-term effects of uplift and subsidence. Fluvial deposits are a sensitive indicator of tectonic processes, and also carry subtle signatures of the climate at the time of deposition. They are the hosts for many petroleum and mineral deposits. This book is about all these subjects. The first part of the book, following a historical introduction, constructs the strati graphic framework of fluvial deposits, step by step, starting with lithofacies, combining these into architectural elements and other facies associations, and then showing how these, in turn, combine to represent distinctive fluvial styles. Next, the discussion turns to problems of correlation and the building of large-scale stratigraphic frameworks. These basin-scale constructions form the basis for a discussion of causes and processes, including autogenic processes of channel shifting and cyclicity, and the larger questions of allogenic (tectonic, eustatic, and climatic) sedimentary controls and the development of our ideas about nonmarine sequence stratigraphy. 600 pp. Englisch.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540627413 ISBN 13 : 9783540627418
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 49,99
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Noch vor wenigen Jahren dachte der Mensch, Wasser sei ein überall und in jeder Menge verfügbares Gut. Inzwischen sind wir klüger und wissen, daß der Lebensstoff Wasser kostbar ist und geschützt werden muß. Aber wie stellen sich die Probleme konkret und was muß getan werden, um zu einer nachhaltigen Wasserwirtschaft zu kommen Dieser Band in der Taschenbuchreihe 'Fakten' beleuchtet das Thema aus unterschiedlicher, teilweise konträrer Sichtweise. Die Autoren aus Wirtschaft und Wissenschaft, Politik und Kultur geben auf der Grundlage solider Informationen eine Übersicht und diskutieren Handlungsperspektiven.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540627421 ISBN 13 : 9783540627425
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 49,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Der Anstieg der Treibhausgase in der Atmosphäre muß zum Schutz des Erdklimas gestoppt werden, und darum müssen wir Wasserkraft, Wind- und Sonnenergie stärker nutzen. Die erneuerbaren Energien bieten aus technischer Sicht ein riesiges Potential. Aber wie können sie nun endlich zum Zuge kommen Dieser Band aus der Taschenbuchreihe 'Fakten' beleuchtet das Thema aus unterschiedlicher, teilweise konträrer Sicht. Die Autoren aus Wirtschaft und Wissenschaft, Politik und Kultur geben auf der Grundlage solider Informationen eine Übersicht und diskutieren Handlungsperspektiven.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Deutsch.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540627421 ISBN 13 : 9783540627425
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 49,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - Der Anstieg der Treibhausgase in der Atmosphäre muß zum Schutz des Erdklimas gestoppt werden, und darum müssen wir Wasserkraft, Wind- und Sonnenergie stärker nutzen. Die erneuerbaren Energien bieten aus technischer Sicht ein riesiges Potential. Aber wie können sie nun endlich zum Zuge kommen Dieser Band aus der Taschenbuchreihe 'Fakten' beleuchtet das Thema aus unterschiedlicher, teilweise konträrer Sicht. Die Autoren aus Wirtschaft und Wissenschaft, Politik und Kultur geben auf der Grundlage solider Informationen eine Übersicht und diskutieren Handlungsperspektiven.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540603670 ISBN 13 : 9783540603672
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 54,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Das vorliegende Werk gibt einen Überblick zu Pathophysiologie, Klinik und Therapie der disseminierten intravasalen Gerinnung unter Berücksichtigung der häufigsten Krankheitsbilder in der Intensivmedizin. Durch die hervorragende Gliederung hat der Leser die Möglichkeit sich über einzelne Fragestellungen gezielt zu informieren.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Deutsch.
Langue: allemand
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540603670 ISBN 13 : 9783540603672
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 54,99
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware - Das vorliegende Werk gibt einen Überblick zu Pathophysiologie, Klinik und Therapie der disseminierten intravasalen Gerinnung unter Berücksichtigung der häufigsten Krankheitsbilder in der Intensivmedizin. Durch die hervorragende Gliederung hat der Leser die Möglichkeit sich über einzelne Fragestellungen gezielt zu informieren.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540611037 ISBN 13 : 9783540611035
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 79,99
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Mindestvoraussetzungen nach EG-Verordnung 1907/90 und 1274/ 91 zur Berechtigung der Deklaration der Eier aus: Bodenhaltung maximal sieben Huhner pro m- Bodenflikhe mindestens ein Drittel der Bodenflache ist mit Streumaterial wie Stroh, Holzspane, Sand oder Torf bedeckt - ein ausreichender Teil der Stallflaehe dient zur Aufnahme der Ausscheidungen der Huhner. Volierenhaltung 2 die Bestandsdiehte darf maximal 25 Hennen pro m Stallflache betragen das Gebaudeinnere muB mit Sitzstangen ausgestattet sein, die jedem Huhn mindestens eine Sitzplatzbreite von 15 em gewahrt. Auslaufhaltung Stallinnenraum als Boden- oder Volierenhaltung 2 mindestens 2,5 m Auslaufflaehe pro Huhn - der Auslauf muB zum gr6Bten Teil bewachsen sein - tagsuber uneingesehrankter Zugang zum Auslauf Freilandhaltung Stallinnenraum als Boden- oder Volierenhaltung 2 - mindestens 10 m Auslaufflache pro Huhn - der Auslauf muB zum gr6Bten Teil bewachsen sein - tag suber uneingeschrankter Zugang zum Auslauf Fliichenverhiiltnisse Fensterflache: rund 5 bis 10 % der Stallgrundflaehe Kotgrube: bis maximal 70 % der Stallgrundflache - Seharr-Raum: mindestens 30 % der Stallgrundflache 1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Deutsch.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540602542 ISBN 13 : 9783540602545
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 84,99
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -Eine dauerhafte Reduktion von Diabetesfolgeschäden kann nur durch eine gute Stoffwechselkontrolle erreicht werden. Soll diese über Jahrzehnte erfolgreich sein, muß sich Lebensqualität mit Diabetestherapie auf Dauer verbinden lassen. Dieser erfolgreiche Leitfaden zur Patientenführung und -ausbildung zeigt, wie aus einem der Insulinwirkung angepaßten Leben ein Leben mit angepaßter Insulinwirkung wird. 244 pp. Deutsch.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540580603 ISBN 13 : 9783540580607
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 119,99
Quantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware -Jeder produzierende Betrieb steht trotz bereits in der Produktion vorgenommener Umweltschutzmaßnahmen vor dem Problem Abluft, Abgase und Abwässer behandeln zu müssen. Die verschiedensten Möglichkeiten der Abluft-/Abgasbehandlung werden in Band 3 vorgestellt. Zunächst wird beschrieben, wie eine Emissionsanalyse technischer Anlagen durchgeführt werden sollte. Danach folgen die Verfahren zur Minderung staubförmiger Schadstoffemissionen. Die weiteren Kapitel geben die technischen Möglichkeiten zur Minderung gasförmiger Schadstoffemissionen, und der abschließende Beitrag behandelt (präventive) Möglichkeiten zur Minderung von Schadstoffemissionen als Folge von Explosionen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Deutsch.
Langue: allemand
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540591532 ISBN 13 : 9783540591535
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 139,99
Quantité disponible : 2 disponible(s)
Ajouter au panierBuch. Etat : Neu. Neuware -Die Autoren haben für die dritte Auflage ihres erfolgreichen Buches alle Kapitel überarbeitet und dem neuesten Stand angepaßt. Das Buch führt praxisbezogen in das Arbeiten mit ionenselektiven Elektroden ein. Die Theorie wird nur soweit ausgeführt, wie es die praktische Anwendung und die Behebung von Störungen erfordert. Schwerpunkte des Buches bilden diejenigen Methoden, die speziell für ionenselektive Elektroden ausgearbeitet, wiederentdeckt oder entsprechend dem analytischen Fortschritt weiterentwickelt wurden. Die Autoren geben außerdem Anleitungen für die Herstellung einiger Spezialelektroden im eigenen Labor.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Deutsch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607579 ISBN 13 : 9783540607571
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented. 476 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607595 ISBN 13 : 9783540607595
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Conference 'Cryptography: Policy and Algorithms', held in Brisbane, Queensland, Australia in July 1995.Over the past few years, issues relating to cryptography policy have made headline news, particularly those concerned with the rights to privacy of the individual, who may choose to use cryptographic systems to maintain confidentiality, against the needs of legal authorities to conduct wiretapping to help combat crime. The 27 revised full contributions in this volume are devoted to both crypto policy matters and the related theory and applications of cryptographic algorithms. The volume is of relevance to cryptology researchers and professionals in industry and administration. 348 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607943 ISBN 13 : 9783540607946
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995.The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management. 200 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540608052 ISBN 13 : 9783540608059
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is based on the second International Workshop on Agent Theories, Architectures, and Languages, held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI'95 in Montreal, Canada in August 1995.The 26 papers are revised final versions of the workshop presentations selected from a total of 54 submissions; also included is a comprehensive introduction, a detailed bibliography listing 355 relevant publications, and a subject index. The book is structured into seven sections, reflecting the most current major directions in agent-related research. Together with its predecessor, Intelligent Agents, published as volume 890 in the LNAI series, this book provides a timely and comprehensive state-of-the-art report. 460 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540602844 ISBN 13 : 9783540602842
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Symmetries in Physics presents the fundamental theories of symmetry, together with many examples of applications taken from several different branches of physics. Emphasis is placed on the theory of group representations and on the powerful method of projection operators. The excercises are intended to stimulate readers to apply the techniques demonstrated in the text. 492 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540606289 ISBN 13 : 9783540606284
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 53,49
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Springer-Verlag began publishing books in higher mathematics in 1920, when the seriesGrundlehren der mathematischenWissenschaften, initially conceived as a series of advanced textbooks, was founded by Richard Courant. A few years later a new seriesErgebnisse der Mathematik und ihrerGrenzgebiete, survey reports of recent mathematical research, was added.Of over 400 books published in these series, many have become recognized classics and remain standard references for their subject. Springer is reissuing a selected few of these highly successful books in a new, inexpensive sofcover edition to make them easily accessible to younger generations of students and researchers.Classical Banach Spaces I and IIFrom the reviews: '.the book is written in the best tradition of the beautiful series in which it appears. The material it presents is hard to find in other books. For people working in the structure theory of Banach spaces it will be most valuable as a source of references and inspiration. For those who wish to learn the subject the book deserves a warm welcome too.' Medelingen van het Wiskundig Genootschap'.The geometry of Banach lattices is a rich, beautiful, . and rewarding subject. The proof is in the reading and perusing of the masterpiece.' Zentrablatt für Mathematik 464 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540606297 ISBN 13 : 9783540606291
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 58,84
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since its first publication in 1965 in the series Grundlehren der mathematischen Wissenschaften this book has had a profound and enduring influence on research into the stochastic processes associated with diffusion phenomena. Generations of mathematicians have appreciated the clarity of the descriptions given of one- or more- dimensional diffusion processes and the mathematical insight provided into Brownian motion. Now, with its republication in the Classics in Mathematics it is hoped that a new generation will be able to enjoy the classic text of Itô and McKean. 344 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607617 ISBN 13 : 9783540607618
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 58,84
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor.The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification. 156 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540606564 ISBN 13 : 9783540606567
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 58,84
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'This book is a major treatise in mathematics and is essential in the working library of the modern analyst.' (Bulletin of the London Mathematical Society) 700 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540608524 ISBN 13 : 9783540608523
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 74,89
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, held in Eindhoven, The Netherlands in January 1996.The concept of agents comprises physical as well as software agents; it emerged at the crossroads of distributed computing, artificial intelligence, and embedded systems. Multi-agent systems are foundational for new models of computing and interaction addressing large-scale open distributed platforms like the World-Wide Web. The 17 revised full papers presented were selected from a total of 51 submissions; they are organized in sections on epistemological and ontological issues, frameworks and architectures, interaction and coordination, emergence, and task-specific analysis. 252 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540608524 ISBN 13 : 9783540608523
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, held in Eindhoven, The Netherlands in January 1996.The concept of agents comprises physical as well as software agents; it emerged at the crossroads of distributed computing, artificial intelligence, and embedded systems. Multi-agent systems are foundational for new models of computing and interaction addressing large-scale open distributed platforms like the World-Wide Web. The 17 revised full papers presented were selected from a total of 51 submissions; they are organized in sections on epistemological and ontological issues, frameworks and architectures, interaction and coordination, emergence, and task-specific analysis.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607234 ISBN 13 : 9783540607236
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the international Symposium on Graph Drawing, GD '95, held in Passau, Germany, in September 1995.The 40 full papers and 12 system demonstrations were selected from a total of 88 submissions and include, in their revised versions presented here, the improvements suggested during the meeting. This book also contains a report on the graph-drawing contest held in conjunction with GD '95. Graph drawing is concerned with the problem of visualizing structural information, particularly by constructing geometric representations of abstract graphs and networks. The importance of this area for industrial applications is testified by the large number of people with industrial affiliations, submitting papers and participating in the meeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607595 ISBN 13 : 9783540607595
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the International Conference 'Cryptography: Policy and Algorithms', held in Brisbane, Queensland, Australia in July 1995.Over the past few years, issues relating to cryptography policy have made headline news, particularly those concerned with the rights to privacy of the individual, who may choose to use cryptographic systems to maintain confidentiality, against the needs of legal authorities to conduct wiretapping to help combat crime. The 27 revised full contributions in this volume are devoted to both crypto policy matters and the related theory and applications of cryptographic algorithms. The volume is of relevance to cryptology researchers and professionals in industry and administration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540602844 ISBN 13 : 9783540602842
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Symmetries in Physics presents the fundamental theories of symmetry, together with many examples of applications taken from several different branches of physics. Emphasis is placed on the theory of group representations and on the powerful method of projection operators. The excercises are intended to stimulate readers to apply the techniques demonstrated in the text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1996, 1996
ISBN 10 : 3540607935 ISBN 13 : 9783540607939
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains the invited reviewed session papers solicited for presentation as key papers at the Second Asian Conference on Computer Vision, ACCV '95, held in December 1995 in Singapore.The fifteen leading researchers acting as session organizers at the ACCV '95 solicited and reviewed a unique collection of 56 invited papers presented in this volume. Together, these papers competently reflect the state-of-the-art developments in computer vision and image processing; the author index of the volume reads like a who-is-who in the field. The papers are devoted to both theoretical and practical issues relevant to researchers and professionals in the area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 624 pp. Englisch.