Da: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germania
EUR 2,24
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch.
EUR 11,10
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.43.
Editore: Berlin ; Heidelberg ; Singapore ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1995
ISBN 10: 3540604723 ISBN 13: 9783540604723
Lingua: Tedesco
Da: NEPO UG, Rüsselsheim am Main, Germania
EUR 6,70
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellokart. Condizione: Gut. 1995. VIII, 567 S. : graph. Darst. Sprache: Deutsch Gewicht in Gramm: 1800.
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 3540604723 ISBN 13: 9783540604723
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
EUR 19,80
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 584 | Sprache: Englisch | Produktart: Bücher.
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
EUR 5,97
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 404 pp., ex library, else textually clean & tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
EUR 14,29
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good.
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 8,24
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 736; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540573186 ISBN 13: 9783540573180
Lingua: Inglese
Da: Buchpark, Trebbin, Germania
EUR 39,60
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 488 | Sprache: Englisch | Produktart: Bücher.
EUR 61,13
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. viii + 474.
Editore: Springer Berlin Heidelberg, 1997
ISBN 10: 3540633588 ISBN 13: 9783540633587
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 354065643X ISBN 13: 9783540656432
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volumepresents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540573186 ISBN 13: 9783540573180
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 3540604723 ISBN 13: 9783540604723
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal 'Hybrid Systems' volume edited by Grossman, Nerode, Ravn, and Rischel.Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.
EUR 60,40
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. viii + 474 Illus.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 62,39
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 55,73
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 55,73
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 7,09
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
EUR 67,23
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 7,80
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 354065643X ISBN 13: 9783540656432
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Editore: Springer Berlin Heidelberg, 1997
ISBN 10: 3540633588 ISBN 13: 9783540633587
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submis.
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 3540604723 ISBN 13: 9783540604723
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is th.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540573186 ISBN 13: 9783540573180
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 64,08
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. 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 an.
EUR 62,38
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 62,38
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 59,31
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.