Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Hybrid Systems: Computation and Control

Name: Hybrid Systems: Computation and Control
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559176
Price: 107.29 EUR
Availability: InStock
Author: Rajeev Alur
ISBN: 9783540212591

7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Rajeev Alur

George Pappas

Language

English

Book Paperback

Libristo code: 01559176

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2004

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems:... Full description

Libristo code: 01559176

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Du bist genug Ichiro Kishimi

Adobe ePub DRM

8.59 €

Blue Lock T22

Paperback

11.29 €

Minecraft Průvodce hrou Dungeons kolektiv a

Hardback

9.49 €

Le Jardin du mendiant Michael Christie

Paperback

30.99 €

COMMENT BRANLY A DECOUVERT LA RADIO Boudenot

Paperback

25.99 €

Солженицын. Прощание с мифом Александр Островский

Hardback

38.09 €

Wechselwirkungen von Medikamenten in der Parodontaltherapie Vivek Govila

Paperback

35.90 €

Ostwind - Aris Ankunft Sandy Saffeels

DVD

13.59 €

Ve stínu cypřiše Thomas Steinbeck

Paperback

7.49 €

Dvojitá nula David Collyer

Book

11.19 €

Život ve všech podobách Barbara Y. Flamandová

Paperback

2.89 €

der-die-das - Sprache und Lesen - 3. Schuljahr Stefan Jeuk

Paperback

23.29 €

Forschung in der Musikerziehung FORSCHUNG

Paperback

17.89 €

Flexibilisierung von Arbeitszeiten. Das Modell ROWE Karina Mahn

Paperback

18.95 €

Le diagnostic territorial : Etat des lieux de la ville d'Inezgane Fatima Zahra Agnaou

Paperback

46.59 €

Versuchsauswertung Ralph H. Leaver

Paperback

55.29 €

Confusion Mediatique Autour d'Une Polemique Environnementale Perrine Berthonneau

Paperback

54.99 €

L'Ordonnance Des Chevaliers Hospitaliers de Saint-Jean de Jerusalem (Malte) (Ed.1893) Enguerrand De Monstrelet

Paperback

18.09 €

Las comisiones bancarias : naturaleza, requisitos y condiciones de aplicación María de Lourdes Ferrando Villalba

Paperback

28.89 €

El zoo de papel : manualiadades con papel

Paperback

11.79 €

Calint&#305 Mahmut cetin

Paperback

16.79 €

Kryptogamen-Flora von Schlesien; im Namen der Schlesischen Gesellschaft fur vaterlandische Kultur Ferdinand Cohn

Paperback

22.90 €

Zeitschrift des Deutschen Vereins für Kunstwissenschaft. Bd.69/70 Deutscher Verein Für Kunstwissenschaft

Hardback

74.19 €

Des Rapports de la Melancolie, de la Neurasthenie Et de la Paralysie Generale Monestier-M

Paperback

16.09 €

This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March 2004.§The 43 revised full papers presented together with an invited article were carefully reviewed and selected from 117 submissions. The papers address all current issues in hybrid systems such as tools for analysis and verification, control and optimization, modeling and engineering applications, and emerging topics in programming language support and implementation; a special focus is on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems.