Order Total (1 Item Items):
Shipping Destination:
Henzinger (181 results)
Author:
henzinger
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (181)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (138)
- As New, Fine or Near Fine (29)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (8)
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (108)
- Not Print on Demand (141)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Stillen. Die Quelle mütterlicher Kraft
Language: German
Published by Walter-Verlag, Zürich u. Düsseldorf, 1999
ISBN 10: 3530500089 ISBN 13: 9783530500080
Seller: Antiquariat Nam, UstId: DE164665634, Freiburg, Germany
Seller rating 3 out of 5 stars
First Edition
272 S. m. Abb. Pb. Cover m. leichten Lagerspuren, innen m. einem Eselsohr, ansonsten sehr gut erhalten.
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Walter-Verlag, broschiert, guter Zustand, h4, normale Lagerspuren.
-
Embedded Software. First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 4 out of 5 stars
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.
-
Stillen: Kulturgeschichtliche Überlegungen zur frühen Eltern-Kind-Beziehung (Neue Wege für Eltern und Kind)
Book 1 of 16: Neue Wege für Eltern und KindLanguage: German
Published by Psychosozial Verlag GbR, 1900
ISBN 10: 383792906X ISBN 13: 9783837929065
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
-
-
Automata, Languages and Programming. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220118 ISBN 13: 9783642220111
688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7840 9783642220111 Sprache: Englisch Gewicht in Gramm: 900.
-
Automata, Languages and Programming. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220118 ISBN 13: 9783642220111
688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7804 9783642220111 Sprache: Englisch Gewicht in Gramm: 900.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Stillen -Language: german
Book 1 of 16: Neue Wege für Eltern und KindLanguage: German
Published by Psychosozial Verlag GbR, 1900
ISBN 10: 383792906X ISBN 13: 9783837929065
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Stillen. Die Quelle mütterlicher Kraft.
Language: German
Published by Düsseldorf: Walter-Verlag, 1999
ISBN 10: 3530500089 ISBN 13: 9783530500080
Seller: Druckwaren Antiquariat, Salzwedel, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Kart., broschiert. Condition: 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.
-
-
Formal Modeling and Analysis of Timed Systems (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642152961 ISBN 13: 9783642152962
Paperback. Condition: 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.
-
Automata, Languages and Programming. 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I.
Language: English
Published by Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220053 ISBN 13: 9783642220050
824 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7803 9783642220050 Sprache: Englisch Gewicht in Gramm: 900.
-
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Bioinformatics)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
-
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
