Gesamtpreis (1 Artikel Artikel):
Versandziel:
maler oded (46 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (46)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (37)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (6)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (46)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (27)
- Keine Print-on-Demand Angebote (33)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Hybrid and Real-Time Systems : International Workshop, Hart '97, Grenoble, France, March 26-28, 1997 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings (Paperback or Softback)
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings. Book.
-
Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, ... Papers (Lecture Notes in Bioinformatics)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,63
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hybrid Systems Biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienn
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 44,05
EUR 17,79 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Hybrid and Real-Time Systems : International Workshop, Hart '97, Grenoble, France, March 26-28, 1997 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science, 1201)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,64
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,68
EUR 17,79 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Hybrid and Real-Time Systems : International Workshop, Hart '97, Grenoble, France, March 26-28, 1997 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,60
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Hybrid and Real-Time Systems : International Workshop, Hart '97, Grenoble, France, March 26-28, 1997 : Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,11
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Hybrid Systems Biology: Second International Workshop, Hsb 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, Hsb 2014, Vienna, Austria, July 23-24, 2
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319276557 ISBN 13: 9783319276557
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 62,77
EUR 22,96 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 188 pages. 9.00x6.00x0.50 inches. In Stock.
-
Zustand: New. pp. 186.
-
Hybrid Systems Biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 3319276557 ISBN 13: 9783319276557
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.This volume presents 8 full papers together with 2invited tutorials/surveys from 21 submissions.The HSB 2013 workshop aims at collecting scientistsworking in the area of hybrid modeling applied to systems biology, in order todiscuss about current achieved goals, current challenges and future possibledevelopments.The scope of the HSB 2014 workshop is the general areaof dynamical models in biology with an emphasis on hybrid approaches, which arenot restricted to a narrow class of mathematical models, and which takeadvantage of techniques developed separately in different sub-fields.
-
Taschenbuch. Zustand: Neu. Hybrid Systems Biology | Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers | Oded Maler (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2015 | Springer | EAN 9783319276557 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Hybrid and real time systems : international workshop ; proceedings / HART '97, Grenoble, France, March 26 - 28, 1997. Oded Maler (ed.) / Lecture notes in computer science ; Vol. 1201
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1997
ISBN 10: 354062600X ISBN 13: 9783540626008
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. 1997. IX, 414 p. ; illust. ; 24 cm Neu und originalverschweißt! -- Brand new and welded! 9783540626008 Sprache: Englisch Gewicht in Gramm: 590.
-
Computer Aided Verification : 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 114,24
EUR 2,26 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer Science, 5643)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Hybrid and Real-Time Systems
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1997
ISBN 10: 354062600X ISBN 13: 9783540626008
EUR 63,48
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART 97, held in Grenoble, France, in March 1997.The volume presents 18 revised full papers and 9 short presentations carefully selected during.
-
Computer Aided Verification : 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 121,02
EUR 2,26 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Hybrid Systems : Computation and Control: 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003: Proceedings (Lecture Notes in Computer Science, Vol. 2623).
Anbieter: CSG Onlinebuch GMBH, Darmstadt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer Science, 5643)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 113,71
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science, 2623)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 113,71
EUR 13,76 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hybrid Systems : Computation and Control - 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 2003, Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2003
ISBN 10: 3540009132 ISBN 13: 9783540009139
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 2003rd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Computer Aided Verification : 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 113,70
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 740 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.
-
Hybrid Systems: Computation and Control
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2003
ISBN 10: 3540009132 ISBN 13: 9783540009139
EUR 92,27
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Computer Aided Verification : 21st International Conference, Cav 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 127,60
EUR 17,22 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Hybrid and Real-Time Systems : International Workshop, Grenoble, March 26-28, 1997. Proceedings
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 1997
ISBN 10: 354062600X ISBN 13: 9783540626008
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.
-
Zustand: New. pp. 740.
-
Taschenbuch. Zustand: Neu. Computer Aided Verification | 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings | Ahmed Bouajjani (u. a.) | Taschenbuch | xv | Englisch | 2009 | Springer | EAN 9783642026577 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
