Ravn anders (16 Ergebnisse)
Hybrid Systems (Lecture Notes in Computer Science 736)
Nerode, Anil; Grossman, Robert L.; Ravn, Anders P. & Rischel, Hans (eds.)
- Softcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 7,96
EUR 14,40 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. 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.
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 45,39
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,28
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,28
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,28
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,26
EUR 14,40 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 414 pages. 9.25x6.00x1.00 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,70 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully…selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,23 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invite…d talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,67 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 circui…t 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 componentsdigital 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.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Formal Techniques in Real-Time and Fault-Tolerant Systems | 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings | Anders P. Ravn (u. a.) | Taschenbuch | ix | Englisch | 1998 | Springer | EAN 9783540650034 | Verantwortliche Person für die EU: Springer Verlag GmbH,… Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Hybrid Systems | Robert L. Grossman (u. a.) | Taschenbuch | viii | Englisch | 1993 | Springer | EAN 9783540573180 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Automated Technology for Verification and Analysis | 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings | Zhiming Liu (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642047602 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.… 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 39,60
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher | 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 ci…rcuit 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.
- Softcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 40,48
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 428 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together… with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
Anbieter: Vangsgaards Antikvariat Aps, Copenhagen, , DänemarkVangsgaards Antikvariat Aps
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 24,11
EUR 29,44 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
Historika/Gads Forlag, København 2017. 416 sider. Illustreret i s/h. Orig. papbind med lærredsryg.
Anbieter: Vangsgaards Antikvariat Aps, Copenhagen, , DänemarkVangsgaards Antikvariat Aps
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 34,45
EUR 29,44 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
Gads Forlag, København 2024. Stor 4to. 335 sider. Illustreret i s/h og farver. Orig. halvlærredsbind. Forlagsstempel på titelbladet. * Vellykket pragtværk om Christian IV's pragtbygning.
