Maler Oded (45 results)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 47.70
£ 1.94 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
£ 49.71
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Hybrid and Real-Time Systems: International Workshop, Hart'97, Grenoble, France, March 26-28, 1997, Proceedings. Book.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 40.56
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 37.24
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.68
£ 1.94 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.92
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.40
£ 15.00 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: Used - As new
£ 55.88
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: 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
Maler, Oded (Editor)/ Halász, Ádám (Editor)/ Dang, Thao (Editor)/ Piazza, Carla (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 52.50
£ 20.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 188 pages. 9.00x6.00x0.50 inches. In Stock.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 87.76
£ 2.93 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 186.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2015
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 37.79
£ 52.70 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 W…orkshop 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.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 36.60
£ 60.01 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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 | S…pringer | EAN 9783319276557 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 56.05
£ 42.00 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: 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.
Language: English
Published by Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1997
- Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 61.72
£ 36.00 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. 1997. IX, 414 p. ; illust. ; 24 cm Neu und originalverschweißt! -- Brand new and welded! 9783540626008 Sprache: Englisch Gewicht in Gramm: 590.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 97.99
£ 1.94 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 100.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: CSG Onlinebuch GMBH, Darmstadt, GermanyCSG Onlinebuch GMBH
Contact seller5-star sellerCondition: Used - Fine
£ 22.48
£ 81.44 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: 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 r…evised 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.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 104.03
£ 1.94 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.88
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 96.88
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 112.69
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 96.87
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 81.47
£ 42.00 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 69.40
£ 53.84 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 proce…ss; 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.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 107.27
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 130.64
£ 2.93 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 740.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 84.10
£ 60.01 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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, 6912…1 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 94.47
£ 56.16 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 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 invit…ed 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.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 100.97
£ 55.13 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analys…is, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98), Nijmegen, The Neth- lands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the nal versions of these papers appear in this volume.
