Gesamtpreis (1 Artikel Artikel):
Versandziel:
henzinger (191 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (191)
- 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 (147)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (32)
- Gut oder Befriedigend (5)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (7)
Weitere Eigenschaften
- Erstausgabe (2)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (101)
- Keine Print-on-Demand Angebote (149)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Stillen. Die Quelle mütterlicher Kraft
Sprache: Deutsch
Verlag: Walter-Verlag, Zürich u. Düsseldorf, 1999
ISBN 10: 3530500089 ISBN 13: 9783530500080
Anbieter: Antiquariat Nam, UstId: DE164665634, Freiburg, Deutschland
Verkäuferbewertung 2 von 5 Sternen
Erstausgabe
Softcover. Zustand: Gut bis sehr gut. 1. Auflage. 272 S. m. Abb. Pb. Cover m. leichten Lagerspuren, innen m. einem Eselsohr, ansonsten sehr gut erhalten.
-
Stillen. Die Quelle mütterlicher Kraft
Anbieter: Fachbuch-Versandhandel, Freiburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Wie neu. Walter-Verlag, broschiert, guter Zustand, h4, normale Lagerspuren.
-
Embedded Software. First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
IX, 504 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2211. Sprache: Englisch.
-
Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1996
ISBN 10: 3540614745 ISBN 13: 9783540614746
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 1996th 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.
-
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Computational Methods in Systems Biology : 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Mathematical and Engineering Methods in Computer Science
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Mathematical and Engineering Methods in Computer Science
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Stillen -Language: german
Buch 1 von 16: Neue Wege für Eltern und KindAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Formal Modeling and Analysis of Timed Systems : 8th International Conference, Formats 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Computational Methods in Systems Biology : 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Computer Aided Verification : 8th International Conference, Cav '96, New Brunswick, Nj, USA July 31-August 3, 1996
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Stillen. Die Quelle mütterlicher Kraft.
Anbieter: Druckwaren Antiquariat, Salzwedel, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Kart., broschiert. Zustand: Gut. 272 S., Ill. Einband leicht berieben/angeschmutzt, Name auf Vorsatztitelblatt überklebt, Seiten altersbedingt leicht gebräunt, ansonsten gut erhalten. ISBN: 9783530500080 Sprache: Deutsch Gewicht in Gramm: 520.
-
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Formal Modeling and Analysis of Timed Systems : 8th International Conference, Formats 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Formal Modeling and Analysis of Timed Systems (Paperback)
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642152961 ISBN 13: 9783642152962
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 810, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute their responses after sampling the environment. Although the timing-related questions in these separate c- munities have their own speci?c nature, there is a growing awareness that there are basic problems that are common to all of them. In particular, all of these disciplines model and analyze systems whose behavior depends on combinations of logical and timing constraints between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share an interest in the modeling and analysis of timed systems. Typical topics include (but are not limited to): Foundations and Semantics: theoretical foundations of timed systems and languages; comparison between di?erent models (timed automata, timed Petri nets, hybrid automata, timed process algebra,max-plus algebra, pr- abilistic models). This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 810, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,42
EUR 17,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... (Lecture Notes in Computer Science, 7721)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,07
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Bioinformatics)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,07
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,07
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science, 1386)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,07
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,07
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 20
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,29
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Computational Methods in Systems Biology : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,42
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,61
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings: International . 8th (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,61
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science) (2001-10-25)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,57
EUR 18,08 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
