Zustand: 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.
Sprache: Englisch
Verlag: ACM. Association for Computing Machinery., 2012
ISBN 10: 1450306292 ISBN 13: 9781450306294
Anbieter: Erik Hanson Books and Ephemera, San Diego, CA, USA
Erstausgabe
Soft 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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 53,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: 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 77,09
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 79,81
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,44
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 492 pages. 9.29x6.06x1.10 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 81,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 82,49
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1999
ISBN 10: 3540657347 ISBN 13: 9783540657347
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 90,58
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer-Verlag, Berlin, Heidelberg, 2005
Anbieter: Antiquariat Im Seefeld / Ernst Jetzer, Zürich, Schweiz
Erstausgabe
Zustand: 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.
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, 2000
ISBN 10: 3540672591 ISBN 13: 9783540672593
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Softcover. 2000. XII, 464 S. : graph. Darst. ; 24 cm Neu und originalverschweißt! --- Brand new and welded! 9783540672593 Sprache: Englisch Gewicht in Gramm: 621.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 354043321X ISBN 13: 9783540433217
Anbieter: moluna, Greven, Deutschland
EUR 64,08
Anzahl: 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.
Taschenbuch. 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.
Taschenbuch. 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.
Taschenbuch. 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.
Taschenbuch. 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.
Taschenbuch. Zustand: Neu. Hybrid Systems: Computation and Control | Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings | Frits W. Vaandrager (u. a.) | Taschenbuch | ccxcii | Englisch | 1999 | Springer | EAN 9783540657347 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Hybrid Systems: Computation and Control | First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings | Thomas A. Henzinger (u. a.) | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540643586 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Hybrid Systems: Computation and Control | Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings | Nancy Lynch (u. a.) | Taschenbuch | xii | Englisch | 2000 | Springer | EAN 9783540672593 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Hybrid Systems: Computation and Control | 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings | Rupak Majumdar (u. a.) | Taschenbuch | xiv | Englisch | 2009 | Springer | EAN 9783642006012 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Softcover. 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 113,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 113,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.