Search preferences
Passer aux résultats principaux de la recherche

Filtres de recherche

Type d'article

  • Tous les types de produits 
  • Livres (83)
  • Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
  • Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
  • Partitions de musique (Aucun autre résultat ne correspond à ces critères)
  • Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
  • Photographies (Aucun autre résultat ne correspond à ces critères)
  • Cartes (Aucun autre résultat ne correspond à ces critères)
  • Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)

Etat En savoir plus

  • Neuf (83)
  • Comme neuf, Très bon ou Bon (Aucun autre résultat ne correspond à ces critères)
  • Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
  • Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
  • Conformément à la description (Aucun autre résultat ne correspond à ces critères)

Particularités

Langue (3)

Prix

Fourchette de prix personnalisée (EUR)

Livraison gratuite

  • Livraison gratuite à destination de Etats-Unis (Aucun autre résultat ne correspond à ces critères)

Pays

  • Pietro Torasso

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540572929 ISBN 13 : 9783540572923

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 53,49

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. Neuware -This book contains 22 long papers and 13 short ones selectedfor the Scientific Track of the Third Congress of theItalian Association for Artificial Intelligence. The longpapers report completed work whereas the short papers aremainly devoted to ongoing research. The papers reportsignificant work carried out in the different subfields ofartificial intelligence not only in Italy but alsoelsewhere: 8 of the papers come from outside Italy, with 2from the United States and 1 eachfrom Australia, AustriaGermany, The Netherlands, Spain, and Turkey.The papers in the book are grouped into parts on: automatedreasoning; cognitive models; connectionist models andsubsymbolic approaches; knowledge representation andreasoning; languages, architectures and tools for AI;machine learning; natural language; planning and robotics;and reasoning about physical systems and artifacts.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

  • Arie Kaufman

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540567879 ISBN 13 : 9783540567875

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 106,99

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Buch. Etat : Neu. Neuware -The latest developments in rendering, visualization, andrasterization hardware are reported in this volume, whichcontains revised versions of thecontributions to the SixthEurographics Workshop on Graphics Hardware, held in Viennain September 1991 in conjunction with the Eurographics '91Conference.The book has five parts and a keynote paper, 'Issues andDirections for Graphics Hardware Accelerators', by KurtAkeley. The first part of the book concerns graphicshardware design, including simulation and silicon compilers.The second part contains two papers on graphics systems. Thethird part focuses on volume (voxel-based) machinesdescribing two devices to facilitate transformations ofvolumes. The fourth part includes papers on rasterizationsystems, including character rasterization andscan-conversion of triangular faces. The papers in the lastpart of the book focus on rendering machines. They include aprogrammable rendering engine, primitive shaders, andradiosity implementation on a parallel architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

  • Albert S. Schwarz

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540547533 ISBN 13 : 9783540547532

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 106,99

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Buch. Etat : Neu. Neuware -In recent years topology has firmly established itself as an important part of the physicist's mathematical arsenal. It has many applications, first of all in quantum field theory, but increasingly also in other areas of physics. The main focus of this book is on the results of quantum field theory that are obtained by topological methods. Some aspects of the theory of condensed matter are also discussed. Part I is an introduction to quantum field theory: it discusses the basic Lagrangians used in the theory of elementary particles. Part II is devoted to the applications of topology to quantum field theory. Part III covers the necessary mathematical background in summary form. The book is aimed at physicists interested in applications of topology to physics and at mathematicians wishing to familiarize themselves with quantum field theory and the mathematical methods used in this field. It is accessible to graduate students in physics and mathematics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

  • Livre 7 sur 125 : Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge/A Series of Modern Surveys in Mathematics

    Jean-Baptiste Hiriart-Urruty

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540568506 ISBN 13 : 9783540568506

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 149,79

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Buch. Etat : Neu. Neuware -Convex Analysis may be considered as a refinement of standard calculus, with equalities and approximations replaced by inequalities. As such, it can easily be integrated into a graduate study curriculum. Minimization algorithms, more specifically those adapted to non-differentiable functions, provide an immediate application of convex analysis to various fields related to optimization and operations research. These two topics making up the title of the book, reflect the two origins of the authors, who belong respectively to the academic world and to that of applications. Part I can be used as an introductory textbook (as a basis for courses, or for self-study); Part II continues this at a higher technical level and is addressed more to specialists, collecting results that so far have not appeared in books.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

  • Volker Hammer

    Langue: allemand

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540565116 ISBN 13 : 9783540565116

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 49,95

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

  • Gebhard Ritter

    Langue: allemand

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540570993 ISBN 13 : 9783540570998

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 54,99

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. Neuware -Die Marknagelung gewinnt in den letzten Jahren - insbesondere durch die breite An wendung der Verriegelung - immer mehr an Bedeutung und findet heute bei den Schaftfrakturen des Ober- und Unterschenkels zunehmend Verwendung. In diesem Heft sind die Beitdige eines Symposiums zusammengefaBt. das im Februar 1992 in Mainz stattfand und des sen erster Teil sich mit neuen Aspekten der Marknagelung be faBte. Schwerpunkt dieses Abschnittes waren die Berichte aus verschiedenen Klini ken tiber die Erfahrungen mit dem neuen ungebohrten Tibianagel. Es zeichnet sich abo daB die Marknagelung mit diesem soliden. ohne Aufbohren zu implantierenden Marknagel ohne Totraum eine Indikationserweiterung hinsichtlich offener Frakturen und Frakturen mit Weichteilschaden erfahrt. daB aber auch Besonderheiten wie die Eintrittsstelle. die Verriegelung mit dtinneren Bolzen und die Dynamisierung zur Verrneidung von Bolzenbrtichen beachtet werden mtissen. Aus 4 Kliniken mit der groBten Erfahrung mit dem neuen Implantat wird tiber die jeweiligen Erkenntnisse berichtet. Dartiber hinaus finden sich Beitrage tiber operationstechnische Verbesse rungen und neue Entwicklungen. Der zweite Teil der Tagung befaBte sich mit neuen Aspekten der Akutversorgung von Wirbelsaulenverletzungen - insbesondere mit der Problematik des sekundaren Hohenverlustes nach Fixateur interne - und in einem gesonderten Abschnitt mit der Erkennung. der klinischen Relevanz und der Reposition von Hinterkantenfragmenten - einer Problematik. mit der aufgrund der zunehmenden Anwendung des Fixateur in terne immer mehr Kollegen konfrontiert werden. K. Wenda G. Ritter Inhaltsverzeichnis I. Neue Aspekte der Marknagelung Grundlagen und derzeitiger Stand (S. Weller) . . . . . . . 1 Lagerung und Reposition (W. Kurock) . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 120 pp. Deutsch.

  • Wilhelm Schäberle

    Langue: allemand

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540571450 ISBN 13 : 9783540571452

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 54,99

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. Neuware -Dieses Buch gibt konkrete Anleitungen zur duplexsonographischen Untersuchung der Venen. Neben den Normalbefunden werden sowohl geläufige als auch sehr seltene Venenerkrankungen und Funktionsstörungen abgehandelt. Der Schwerpunkt liegt in der Thrombosediagnostik und der Differentialdiagnose venöser Abflußstörungen anderer Genese. Auch seltene pathologische Befunde werden detailliert dargestellt, ferner die diagnostische Wertigkeit, Möglichkeiten und Grenzen dieser Methode untersucht. Durch die klare Darstellung der einzelnen Untersuchungsabschnitte und die ausführliche Bebilderung bietet die Duplexsonographie in der Venendiagnostik dem Anfänger eine praxisnahe Einführung. Dem Fortgeschrittenen dient sie als Nachschlagewerk zur Klärung schwieriger differentialdiagnostischer Fragestellungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

  • Owen P. Ward

    Langue: allemand

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540567232 ISBN 13 : 9783540567233

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 54,99

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Deutsch.

  • Shigeo Nishimura

    Langue: allemand

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540562265 ISBN 13 : 9783540562269

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    EUR 79,99

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. Neuware -1m September 1991 fand erstmals in Japan eine intemationale Tagung iiber ein Thema aus dem romischen Recht statt; sie wurde von der Kyushu Universitat (Fukuoka) veranstaltet. An ihr nahmen Wissenschaftler aus Japan und aus vielen europaischen Landem, sowie aus Korea teil. Das Thema 'Mandatum und Verwandtes' bot eine Vielfalt von rechtsdogmatischen, rechtsvergleichen den und sozialgeschichtlichen Aspekten. Wie es der derzeitigen Forschungs situation entspricht, konnte es nicht darum gehen, eine systematische, wohl geordnete Darstellung der Dogmatik und Geschichte des Rechtsinstituts zu geben. Eher war, wenn nicht das Ziel, so doch das Ergebnis der Tagung die Demonstration der verschiedenen Moglichkeiten, mit einem solchen Thema umzugehen. Ohne die bereitwillige materielle und organisatorische Unterstiitzung durch viele japanische und deutsche Institutionen und Personen, ware weder die Tagung selbst, noch der Tagungsband zustandegekommen. Der Springer-Verlag erwies groBziigiges Entgegenkommen. Deutschsprachige Tagungsbesucher half en bei der sprachlichen Uberarbeitung der Manuskripte auslandischer Teilnehmer. Besonderer Dank gilt den Mitarbeitem am Leopold Wenger Institut der Universitat Miinchen. Ihre selbstlose Hilfe bei der Korrektur von Manuskripten und der Druckfahnen und bei der Herstellung des Quellenregisters trug ganz wesentlich dazu bei, daB der vorliegende Band erscheinen konnte.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Deutsch.

  • Bart Preneel

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573410 ISBN 13 : 9783540573418

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 50,28

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on a course held several times, andagain in 1993, at the ESAT Laboratorium of the Department ofElectrical Engineering at the Katholieke Universiteit Leuvenin Belgium. These courses are intended for both researchersin computer security and cryptography and for practitionersin industry and government.The contributors of the 1991 course were invited to submitrevised and updated versions of their papers for inclusionin a book. This volume is the final result; it is well-balanced between basic theory and real life applications,between mathematical background and juridical aspects, andbetween technical developments and standardization issues.Some of the topics are public key cryptography, hashfunctions, secure protocols, digital signatures, securityarchitectures, network security, and data encryptionstandards (DES). 292 pp. Englisch.

  • Hideki Imai

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573321 ISBN 13 : 9783540573326

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of ASIACRYPT '91, thefirst international conference on the theory and applicationof cryptology to be held in the Asian area. It was held atFujiyoshida, near Mount Fuji in Japan, in November 1991.The conference was modeled after the very successful CRYTOand EUROCRYPT series of conferences sponsored by theInternational Association for Cryptologic Research (IACR).The IACR and the Institute of Electronics, Information andCommunication Engineers were sponsors for ASIACRYPT '91.The papers from the conference were improved and correctedfor inclusion in this volume. The papers are grouped intoparts on: differential cryptanalysis and DES-likecryptosystems; hashing and signature schemes; secretsharing, threshold, and authenticationcodes; block ciphers- foundations and analysis; cryptanalysis and new ciphers;proof systems and interactive protocols; public key ciphers- foundations and analysis. Also included are four invitedlectures and impromptu talks from the rump session. 516 pp. Englisch.

  • Shuji Doshita

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573690 ISBN 13 : 9783540573692

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning Theory, held in Tokyoin October 1992. In addition to 3invited papers, the volumecontains 19 papers accepted for presentation, selected from29 submitted extended abstracts. The ALT workshops have beenheld annually since 1990 and are organized and sponsored bythe Japanese Society for Artificial Intelligence. The mainobjective of these workshops is to provide an open forum fordiscussions and exchanges of ideasbetween researchers fromvarious backgrounds in this emerging, interdisciplinaryfield of learning theory. The volume is organized into partson learning via query, neural networks, inductive inference,analogical reasoning, and approximate learning. 276 pp. Englisch.

  • Klaus P. Jantke

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573704 ISBN 13 : 9783540573708

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmic Learning Theory, held inTokyo in November 1993. In addition to 3 invited papers, 29papers were selected from 47 submitted extended abstracts.The workshop was the fourth in a series of ALT workshops,whose focus is on theories of machine learning and theapplication of such theories to real-world learningproblems. The ALT workshops have been held annually since1990, sponsored by the Japanese Society for ArtificialIntelligence. The volume is organized into parts oninductive logic and inference, inductive inference,approximate learning, query learning, explanation-basedlearning, and new learning paradigms. 444 pp. Englisch.

  • Gerd Hirzinger

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540198512 ISBN 13 : 9783540198512

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This was the second in a series of international symposia designed to circulate every two years around North America, Europe, and Asia. The objective is to present and discuss in depth the research results and current developments in Robotics. A broad spectrum of fields is presented in the papers, e.g. manipulator control, mobile robots, legged locomotion, perception and vision, and control architectures. The papers in the proceedings provide a unique combination of theoretical foundation and experimental validation. The editors have divided the text into ten sections with a synopsis by the editors, and containing four papers each. 584 pp. Englisch.

  • Matthias Weber

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573356 ISBN 13 : 9783540573357

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book summarizes work done by the authors under theEsprit Tool Use project (1985-1990), at GMD in Karlsruhe andat Berlin University of Technology. It provides acomprehensive description of the generic developmentlanguage Deva designed by the authors. Much of the researchreported in this monograph is inspired by the work of MichelSintzoff on formal program development; he contributed anenlightening Foreword.Deva is essentially a typed functional language with certaindeduction rules. The difference with ordinary languages is,of course, the application domain: the types serve here toexpress propositions such as specifications or programs,rather than just data classes. Its practical applicabilitywas tested on several non-trivial case studies. The wholebook is written using the DVWEB system, a WEB for Deva,beeing implemented at the Berlin University of Technology. 264 pp. Englisch.

  • Michael Clarke

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 354057395X ISBN 13 : 9783540573951

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years it has become apparent that an importantpart of the theory of artificial intelligence is concernedwith reasoning on the basis of uncertain, incomplete, orinconsistent information. A variety of formalisms have beendeveloped, including nonmonotonic logic, fuzzy sets,possibility theory, belief functions, and dynamic models ofreasoning such as belief revision and Bayesian networks.Several European research projects have been formed in thearea and the first European conference was held in 1991.This volume contains the papers accepted for presentation atECSQARU-93, the European Conference on SymbolicandQuantitative Approaches to Reasoning and Uncertainty, heldat the University of Granada, Spain, November 8-10, 1993. 408 pp. Englisch.

  • Gianni Galli

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540562311 ISBN 13 : 9783540562313

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Combining field research of outcrop geology andinvestigating the recent formation of carbonate rocks incoastal environments the author gives an introduction insequence stratigraphy. Using computer simulations the bookfocuses on four questions, regarding the geometry ofcarbonate wedges, sequences comparable with geotectoniccycles, their influence by geoidal pulses and thedetermination of these geoidal pulse distribution ingeological time. Examples from the Alps and Florida showthat ramps and divergent patterns, megabreccias, drowning ofcarbonate platforms etc. are results of global short-termsea level falls, interpreted as geoidal eustasy.This volume will be a fruitful supplement for theinterpretation and understanding of sequence stratigraphicsections not only for scientists and students but also forresearchers in the oil andgas industry. 344 pp. Englisch.

  • Robert L. Grossman

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573186 ISBN 13 : 9783540573180

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics use software to control physicalprocesses. The identifying characteristic of hybrid systemsis that they incorporate both continuous components governedby differential equations and also digital components -digital computers, sensors, and actuators controlled byprograms.This volume of invited refereed papers is inspired by aworkshop on the Theory of Hybrid Systems, held at theTechnical University, Lyngby, Denmark, in October 1992, andby a prior Hybrid Systems Workshop, held at CornellUniversity, USA, in June 1991, organized by R.L. Grossmanand A. Nerode. Some papers are the final versions of paperspresented at these workshops and some are invited papersfrom other researchers who were not able to attend theseworkshops. 488 pp. Englisch.

  • T. Kevin Stokes

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540572422 ISBN 13 : 9783540572428

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The impact of man on the biosphere is profound. Quite apart from our capacity to destroy natural ecosystems and to drive species to extinction, we mould the evolution of the survivors by the selection pressures we apply to them. This has implications for the continued health of our natural biological resources and for the way in which we seek to optimise yield from those resources. Of these biological resources, fish stocks are particularly important to mankind as a source of protein. On a global basis, fish stocks provide the major source of protein for human consumption from natural ecosystems, amounting to some seventy million tonnes in 1970. Although fisheries management has been extensively developed over the last century, it has not hitherto considered the evolutionary consequences of fishing activity. While this omission may not have been serious in the past, the ever increasing intensity of exploitation and the deteriorating health of fish stocks has generated an urgent need for a better understanding of evolution driven by harvesting and the implications of this for fish stock management. The foundations for this understanding for the most part come from recent developments in evolutionary biology and are not generally available to fisheries scientists. The purpose of this book is to provide this basis in a form that is both accessible and relevant to fisheries biology. 276 pp. Englisch.

  • Dines Bjørner

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 354057316X ISBN 13 : 9783540573166

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis. 452 pp. Englisch.

  • Pietro Torasso

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540572929 ISBN 13 : 9783540572923

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains 22 long papers and 13 short ones selectedfor the Scientific Track of the Third Congress of theItalian Association for Artificial Intelligence. The longpapers report completed work whereas the short papers aremainly devoted to ongoing research. The papers reportsignificant work carried out in the different subfields ofartificial intelligence not only in Italy but alsoelsewhere: 8 of the papers come from outside Italy, with 2from the United States and 1 eachfrom Australia, Austria,Germany, The Netherlands, Spain, and Turkey.The papers in the book are grouped into parts on: automatedreasoning; cognitive models; connectionist models andsubsymbolic approaches; knowledge representation andreasoning; languages, architectures and tools for AI;machine learning; natural language; planning and robotics;and reasoning about physical systems and artifacts. 356 pp. Englisch.

  • Pierre Barbaud

    Langue: français

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540596143 ISBN 13 : 9783540596141

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 35,45

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presenter les fondements et les evolutions de la musiqueoccidentale, d'une maniere nouvelle car completementrationnelle, voila le but premier du 'Vademecum'. Une foismise au point la codification, originale, de tous lesconcepts musicaux, Pierre Barbaud peut alors proposer desmethodes de composition avec un ordinateur.Le livre evite, la plupart du temps, toute secheresse gracea de nombreux exemples et a un style ou l'humour et lesreferences litteraires sont frequents. Un chercheur eninformatique,un musicien ayant quelques notionsscientifiques, ou meme toute personne interessee par lesujet, sans pour autant posseder de connaissances techniquesapprofondies, trouveront donc dans le 'Vademecum del'Ingenieur en Musique' les principes generaux leurpermettant de composer de la musique automatiquement, quelque soit le moyen de productiondu son. 248 pp. Französisch.

  • Andranick S. Tanguiane

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573941 ISBN 13 : 9783540573944

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 74,89

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph presents the author's studies in musicrecognition aimed at developing a computer system forautomatic notation of performed music. The performance ofsuch a system is supposed to be similar to that of speechrecognition systems: acoustical data at the input and musicscoreprinting at the output.The approach to pattern recognition employed is thatofartificial perception, based on self-organizing input datain order to segregate patterns before their identificationby artificial intelligencemethods. The special merit of theapproach is that it finds optimal representations of datainstead of directly recognizing patterns. 232 pp. Englisch.

  • John A. Campbell

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573224 ISBN 13 : 9783540573227

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 74,89

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers, updated in some cases,presented at the first AISMC (Artificial Intelligence andSymbolic Mathematical Computations)conference, held inKarlsruhe, August 3-6, 1992. This was the first conferenceto be devoted to such a topic after a long period when SMCmade no appearance in AI conferences, though it used to bewelcome in the early days of AI. Some conferences were heldrecently on mathematics and AI, but none was directlycomparable in scope to this conference.Because of the novelty of the domain, authors were givenlonger allocations of time than usual in which to presenttheir work. As a result, extended and fruitful discussionsfollowed each paper. The introductory chapter in this book,which was not presented during the conference, reflects inmany ways the flavor of these discussions and aims to setout the framework for future activities in this domain ofresearch. In addition to the introduction, the volumecontains 20 papers. 324 pp. Englisch.

  • Peter Zweifel

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540572864 ISBN 13 : 9783540572862

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    Signé impression à la demande

    EUR 85,55

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -by RolfM. Jeker, Federal Office for Foreign Economic Affairs Services have only quite recently become an important issue in foreign economic policy and particularly in international trade negotiations. Trade policy was traditionally perceived to deal almost exclusively with exports and imports of goods. The increasing importance of services both nationally and internationally is, mainly, due to the gains in agricultural and industrial productiv ity (freeing resources for services activities), and the progress in communication technology, facilitating trade in invisibles. Notable examples of contractual and legal frameworks for services in international trade relations are the internal market program of the European Community extended by the Agreement on the European Economic Are. a (EEA) to EFTA countries, the multi lateral Uruguay-Round negotiations under the auspices of the GATT on a General Agreement on Trade in Services (GATS), and the North American Free Trade Agreement (NAFTA) signed by the United States, Canada and Mexico. This trend is of particular significance to Switzerland, a country where services contribute about 65% to the value added of the economy, a share which will probably still increase somewhat. Ser vices also contribute to an important extent to the traditional surplus in the current account of the Swiss balance of payments. Switzerland clearly has comparative advantages in the field of ser vices, as is well demonstrated by its long and successful tradition in key services sectors like banking, insurance, tourism, consulting and engineering. 292 pp. Englisch.

  • Ernest F. Brickell

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573402 ISBN 13 : 9783540573401

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 85,59

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Crypto'92 took place on August 16-20, 1992. It was the twelfth in the series of annual cryptology conferences held on the beautiful campus of the University of California, Santa Barbara. Once again, it was sponsored by the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy. The conference ran smoothly, due to the diligent efforts of the g- eral chair, Spyros Magliveras of the University of Nebraska. One of the measures of the success of this series of conferences is represented by the ever increasing number of papers submitted. This year, there were 135 submissions to the c- ference, which represents a new record. Following the practice of recent program comm- tees, the papers received anonymous review. The program committee accepted 38 papers for presentation. In addition, there were two invited presentations, one by Miles Smid on the Digital Signature Standard, and one by Mike Fellows on presenting the concepts of cryptology to elementary-age students. These proceedings contains these 40 papers plus 3 papers that were presented at the Rump Session. I would like to thank all of the authors of the submitted papers and all of the speakers who presented papers. I would like to express my sincere appreciation to the work of the program committee: Ivan Damgard (Aarhus University, Denmark), Odd Goldreich (Technion, Israel), Burt Kaliski (RSA Data Security, USA), Joe Kilian (NEC, USA). 604 pp. Englisch.

  • D. Subbaram Naidu

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540198199 ISBN 13 : 9783540198192

    Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 85,59

    EUR 23 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The concept of aeroassisting for orbital transfer has been recognized as one of the critical technologies for pioneering the space frontier. In space transportation systems, aeroassisting (or aerobraking), defined as the deceleration resulting from the effects of atmospheric drag upon a vehicle during orbital operations, opens new mission opportunities, especially with regard to the establishment of the permanent Space Station Freedom and space explorations to other planets such as Mars. The main areas of research reported in this monograph are atmospheric entry problem by the method of matched asymptotic expansions, coplanar and non-coplanar orbital transfers with aeroassist technology, orbital plan change with aerocruise, and neighbouring optimal guidance. A special feature is the bibliography which will provide the reader with a literature status for further research. 200 pp. Englisch.

  • Bart Preneel

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573410 ISBN 13 : 9783540573418

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 50,28

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume is based on a course held several times, andagain in 1993, at the ESAT Laboratorium of the Department ofElectrical Engineering at the Katholieke Universiteit Leuvenin Belgium. These courses are intended for both researchersin computer security and cryptography and for practitionersin industry and government.The contributors of the 1991 course were invited to submitrevised and updated versions of their papers for inclusionin a book. This volume is the final result; it is wellbalanced between basic theory and real life applicationsbetween mathematical background and juridical aspects, andbetween technical developments and standardization issues.Some of the topics are public key cryptography, hashfunctions, secure protocols, digital signatures, securityarchitectures, network security, and data encryptionstandards (DES).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

  • D. Subbaram Naidu

    Langue: anglais

    Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540198199 ISBN 13 : 9783540198192

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The concept of aeroassisting for orbital transfer has been recognized as one of the critical technologies for pioneering the space frontier. In space transportation systems, aeroassisting (or aerobraking), defined as the deceleration resulting from the effects of atmospheric drag upon a vehicle during orbital operations, opens new mission opportunities, especially with regard to the establishment of the permanent Space Station Freedom and space explorations to other planets such as Mars. The main areas of research reported in this monograph are atmospheric entry problem by the method of matched asymptotic expansions, coplanar and non-coplanar orbital transfers with aeroassist technology, orbital plan change with aerocruise, and neighbouring optimal guidance. A special feature is the bibliography which will provide the reader with a literature status for further research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

  • Andranick S. Tanguiane

    Langue: anglais

    Edité par Springer Berlin Heidelberg Okt 1993, 1993

    ISBN 10 : 3540573941 ISBN 13 : 9783540573944

    Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

    Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

    Contacter le vendeur

    impression à la demande

    EUR 53,49

    EUR 60 shipping
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Ajouter au panier

    Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This monograph presents the author's studies in musicrecognition aimed at developing a computer system for automatic notation of performed music. The performance of such a system is supposed to be similar to that of speech recognition systems: acoustical data at the input and music scoreprinting at the output. The approach to pattern recognition employed is thatof artificial perception, based on self-organizing input data in order to segregate patterns before their identification by artificial intelligencemethods. The special merit of the approach is that it finds optimal representations of data instead of directly recognizing patterns.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.