Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 354061155X ISBN 13: 9783540611554
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 83,44
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 636 | Sprache: Englisch | Produktart: Sonstiges.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 91,43
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Buchpark, Trebbin, Deutschland
EUR 95,35
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 202 | Sprache: Englisch | Produktart: Bücher.
Verlag: Now Publishers Inc 2014-03, 2014
ISBN 10: 1601987846 ISBN 13: 9781601987846
Sprache: Englisch
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 83,84
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 86,90
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: California Books, Miami, FL, USA
EUR 97,22
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
EUR 30,79
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Light wear at edges/corners. Faint storage scratches to cover. Light marks at extremities of text blocks. Text as new and unread.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 92,57
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 354061155X ISBN 13: 9783540611554
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
EUR 104,42
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. 2009. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 96,97
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Springer US, Springer US Nov 2010, 2010
ISBN 10: 1441954988 ISBN 13: 9781441954985
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 112,34
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 99,38
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 120,24
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 63,98
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 141,72
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 145,85
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 145,85
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 107,47
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 134,90
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 135,25
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 205,44
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware - Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.
EUR 210,70
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 220.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 220,24
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 220.
EUR 219,57
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 220.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 208,15
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Anbieter: dsmbooks, Liverpool, Vereinigtes Königreich
EUR 223,49
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: New. New. book.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 235,25
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPerfect Paperback. Zustand: Like New. Like New. book.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 104,06
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 302.
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 112,34
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book. 220 pp. Englisch.