Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
EUR 35,11
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.64.
EUR 36,18
Währung umrechnenAnzahl: 5 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Verlag: ACM. Association for Computing Machinery., 2012
ISBN 10: 1450306292 ISBN 13: 9781450306294
Sprache: Englisch
Anbieter: Erik Hanson Books and Ephemera, San Diego, CA, USA
Erstausgabe
EUR 53,14
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. 1st Edition. 319 pages. An unmarked copy, one smudge at bottom corner. Papers include: Analysis of the Joint Spectral Radius via Lyapunov Functions on Path-Complete Graphs, Measuring Performance of Continuous-Time Stochastic Processes Using Timed Automata, Decidability and Complexity for the Verification of Safety Properties of Reasonable Linear Hybrid Automata, Human-Data Based Cost of Bipedal Robotic Walking, etc.
Anbieter: CSG Onlinebuch GMBH, Darmstadt, Deutschland
EUR 25,46
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Sehr gut. Gebraucht - Sehr gut Zustand: Sehr gut, Mängelexemplar, XII, 558 p. Also available online. About this book: This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003. The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains. Written for researchers and professionals.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 54,15
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,31
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2000
ISBN 10: 3540672591 ISBN 13: 9783540672593
Sprache: Englisch
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
EUR 71,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 2000. XII, 464 S. : graph. Darst. ; 24 cm Neu und originalverschweißt! --- Brand new and welded! 9783540672593 Sprache: Englisch Gewicht in Gramm: 621.
EUR 89,64
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 78,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 79,68
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 81,01
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 81,16
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 88,91
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 1999. 1999th Edition. paperback. . . . . . Books ship from the US and Ireland.
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540657347 ISBN 13: 9783540657347
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 93,93
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 2000. Paperback. . . . . . Books ship from the US and Ireland.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 92,25
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Berlin ; Heidelberg ; New York : Springer, 2007
ISBN 10: 3540714928 ISBN 13: 9783540714927
Sprache: Englisch
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
EUR 88,90
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. 2007. XVII, 797 p. : illust. ; 24 cm Neu und originalverschweißt! -- Brand new and welded! 9783540714927 Sprache: Deutsch Gewicht in Gramm: 1157.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,18
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 492 pages. 9.29x6.06x1.10 inches. In Stock.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 104,53
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. 1998. Paperback. . . . . . Books ship from the US and Ireland.
Verlag: Springer-Verlag, Berlin, Heidelberg, 2005
Sprache: Englisch
Anbieter: Antiquariat Im Seefeld / Ernst Jetzer, Zürich, Schweiz
Erstausgabe
EUR 77,34
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Erstausgabe. 684 pp., large octavo, brochure, 8th international workshop, HSCC 2005 Zurich, Switzerland, MArch 9-11, 2005, Proceedings. Cover slightly bumped, otherwise fine.
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 354043321X ISBN 13: 9783540433217
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 64,08
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.The 33 revised full papers presented were carefully reviewed and sel.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2009, 2009
ISBN 10: 3642006019 ISBN 13: 9783642006012
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540657347 ISBN 13: 9783540657347
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in LNCS 1386. The focus of the workshop is on modeling, control, synthesis, design, and ve- cation of hybrid systems. A hybrid system is a theoretical model for a computer controlled engineering system, with a dynamics that evolves both in a discrete state set and in a family of continuous state spaces. Research is motivated by, for example, control of electro-mechanical systems (robots), air tra c control, control of automated freeways, and chemical process control. The emerging - search area of hybrid systems overlaps both with computer science and with control theory. The interaction between researchers from these elds is expected to be fruitfull for the development of the area of hybrid systems.
Verlag: Springer Berlin Heidelberg, 1998
ISBN 10: 3540643583 ISBN 13: 9783540643586
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540672591 ISBN 13: 9783540672593
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was held on March 23-25, 2000, in Pittsburgh, Pennsylvania. The proceedings of the rst two workshops in this series were published by Springer-Verlag, in the Lecture Notes in Computer Science series, as volumes 1386 and 1569. The focus of the Hybrid Systems workshop series is on modeling, control, synthesis, design, and veri cation of hybrid systems. A hybrid system is a th- reticalmodelforacomputercontrolledengineeringsystem,withadynamicsthat evolvesbothinadiscretestatesetandinafamilyofcontinuousstatespaces.- brid systems researchis motivated by, for example, controlof electro-mechanical systems(robots),air tra ccontrol,controlofautomatedfreeways,andchemical process control. The research area of hybrid systems overlaps both with c- puter science and with control theory. The workshop series is intended to foster the interaction between researchers from these elds in addressing problems in this new domain. The scientic program of the workshop consisted of four invited talks and 32 contributed talks. The following researcherspresented invited talks: K. Butts (Ford Research, USA), N. Leveson (MIT, USA), A. Sangiovanni-Vincentelli (U. California,Berkeley,USA), and B. Williams (MIT, USA). The contributed talks were based on the papers in these proceedings. The program committee, chaired by the editors, selected the 32 contributed papers out of 71 submitted papers. The editors are grateful to the members of theprogramcommitteefortheir generoushelpinthereviewingandtheselection process.
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642006019 ISBN 13: 9783642006012
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.