Items related to Hybrid Systems III: Verification and Control: 1066...
Hybrid Systems III: Verification and Control: 1066 (Lecture Notes in Computer Science, 1066) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1996
- ISBN 10 354061155X
- ISBN 13 9783540611554
- BindingPaperback
- LanguageEnglish
- Number of pages628
- EditorAlur Rajeev, Henzinger Thomas A., Sontag Eduardo D.
Search results for Hybrid Systems III: Verification and Control: 1066...
Stock Image
Hybrid Systems III : Verification and Control
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 354061155X
ISBN 13: 9783540611554
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 636 | Sprache: Englisch | Produktart: Sonstiges. Seller Inventory # 418321/203
Quantity: 1 available
Stock Image
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540611554_new
Quantity: Over 20 available
Seller Image
Hybrid Systems III
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 354061155X
ISBN 13: 9783540611554
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 w. Seller Inventory # 4895507
Quantity: Over 20 available
Seller Image
Hybrid Systems III : Verification and Control
Published by
Springer Berlin Heidelberg, 1996
ISBN 10: 354061155X
ISBN 13: 9783540611554
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540611554
Quantity: 1 available
Seller Image
Hybrid Systems III
Published by
Springer Berlin Heidelberg Apr 1996, 1996
ISBN 10: 354061155X
ISBN 13: 9783540611554
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 636 pp. Englisch. Seller Inventory # 9783540611554
Quantity: 2 available
Stock Image
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a2479
Quantity: 1 available
Seller Image
Hybrid Systems III
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1996, 1996
ISBN 10: 354061155X
ISBN 13: 9783540611554
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 636 pp. Englisch. Seller Inventory # 9783540611554
Quantity: 1 available
Stock Image
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020172202
Quantity: Over 20 available