Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066)

ISBN 10: 354061155X ISBN 13: 9783540611554
Edité par Springer, 1996
Neuf(s) Couverture souple

Vendeur Ria Christie Collections, Uxbridge, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 25 mars 2015

A propos de cet article

Description :

In. N° de réf. du vendeur ria9783540611554_new

Signaler cet article

Synopsis :

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : Hybrid Systems III: Verification and Control...
Éditeur : Springer
Date d'édition : 1996
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Alur, Rajeev [Editor]; Henzinger, Thomas A. [Editor]; Sontag, Eduardo D. [Editor];
Edité par Springer, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD14a2479

Contacter le vendeur

Acheter D'occasion

EUR 61,05
EUR 5,94 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
Edité par Springer, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Gut. Zustand: Gut | Seiten: 636 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 418321/203

Contacter le vendeur

Acheter D'occasion

EUR 75,10
EUR 105 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Alur, Rajeev|Henzinger, Thomas A.|Sontag, Eduardo D.
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact w. N° de réf. du vendeur 4895507

Contacter le vendeur

Acheter neuf

EUR 92,27
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Rajeev Alur (u. a.)
Edité par Springer, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Neuf Taschenbuch
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Hybrid Systems III | Verification and Control | Rajeev Alur (u. a.) | Taschenbuch | ix | Englisch | 1996 | Springer | EAN 9783540611554 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101670302

Contacter le vendeur

Acheter neuf

EUR 95,80
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020172202

Contacter le vendeur

Acheter neuf

EUR 102,59
EUR 3,39 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Rajeev Alur
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736. N° de réf. du vendeur 9783540611554

Contacter le vendeur

Acheter neuf

EUR 106,99
EUR 64,75 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Rajeev Alur
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 636 pp. Englisch. N° de réf. du vendeur 9783540611554

Contacter le vendeur

Acheter neuf

EUR 106,99
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Rajeev Alur
ISBN 10 : 354061155X ISBN 13 : 9783540611554
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736. 636 pp. Englisch. N° de réf. du vendeur 9783540611554

Contacter le vendeur

Acheter neuf

EUR 112,34
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier