Thomas a Henzinger (89 results)
- Softcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller3-star sellerCondition: Used
US$ 13.79
US$ 33.48 shippingShips from Germany to U.S.A.Quantity: 1 available
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. …
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 50.04
US$ 6.69 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be 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
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 56.74
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 63.43
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 64.28
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: 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.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 62.69
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.34
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Computational Methods in Systems Biology: 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings. Book.
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.57
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
US$ 3.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.54
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.04
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.46
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 72.06
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 72.08
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 76.80
Free ShippingShips within U.S.A.Quantity: 1 available
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. …
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 67.70
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.29
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.45
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.51
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kucera, Antonin (EDT); Henzinger, Thomas A. (EDT); Nesetril, Jaroslav (EDT); Vojnar, Tomas (EDT); Antos, David (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.96
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Emsoft 200 (2001 Tahoe City, Calif.); Henzinger, T. A. (EDT); Kirsch, Christoph M. (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.12
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Henzinger, Thomas A. (EDT); Henzinger, T. A.; Sastry, Shankar
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.14
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.14
US$ 20.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 92.07
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 228.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 93.79
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 306.
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Kucera, Antonin (Editor) / Henzinger, Thomas A. (Editor) / Neetril, Jaroslav (Editor) / Vojnar, Tomas (Editor) / Antos, David (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 90.14
US$ 13.39 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. int rev edition. 220 pages. 9.00x6.25x0.50 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 91.22
US$ 13.39 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 267 pages. 9.10x6.10x0.60 inches. In Stock.
- Softcover
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Very good
US$ 109.99
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.31
US$ 39.05 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.…
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.31
US$ 39.05 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular papers included in this volume were carefully reviewed and selected from 27 submissions. They deal with computational models for all levels, from molecular and cellular, to organs and entire organisms.…
