Articles liés à Hybrid Systems IV

Hybrid Systems IV - Couverture souple

 
9783540633587: Hybrid Systems IV

Synopsis

Hybrid Systems IV Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; and goal reachability. Full description

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

  • ÉditeurSpringer
  • Date d'édition2008
  • ISBN 10 3540633588
  • ISBN 13 9783540633587
  • ReliureBroché
  • Langueanglais
  • Nombre de pages424

Acheter D'occasion

état :  Satisfaisant
*Price HAS BEEN REDUCED by 10%...
Afficher cet article

EUR 4 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article

EUR 35 expédition depuis Allemagne vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783662213544: Hybrid Systems IV

Edition présentée

ISBN 10 :  3662213540 ISBN 13 :  9783662213544
Editeur : Springer, 2014
Couverture souple

Résultats de recherche pour Hybrid Systems IV

Image d'archives

Antsaklis, Panos, et al.
Edité par Springer, 1997
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
Ancien ou d'occasion Couverture souple

Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis

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

Etat : Good. *Price HAS BEEN REDUCED by 10% until Monday, May 12 (weekend SALE item)* 404 pp., ex library, else textually clean & tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N° de réf. du vendeur ZB403330

Contacter le vendeur

Acheter D'occasion

EUR 6,09
Autre devise
Frais de port : EUR 4
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Antsaklis, Panos [Editor]; Kohn, Wolf [Editor]; Nerode, Anil [Editor]; Sastry, Shankar [Editor];
Edité par Springer, 1997
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
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 UTD14a-1841

Contacter le vendeur

Acheter D'occasion

EUR 7,15
Autre devise
Frais de port : EUR 7,10
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Anil Nerode, Shankar Sastry, Wolf Kohn, Panos Antsaklis
Edité par Springer, 2008
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
Neuf Taschenbuch

Vendeur : Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Allemagne

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

Taschenbuch. Etat : Neu. Gebraucht - Sehr gut front cover kinked - ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch. N° de réf. du vendeur INF1100174909

Contacter le vendeur

Acheter neuf

EUR 2,24
Autre devise
Frais de port : EUR 35
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Nerode, Anil; Sastry, Shankar; Kohn, Wolf; Antsaklis, Panos
Edité par Springer, 1997
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
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 ABLIING23Mar3113020172936

Contacter le vendeur

Acheter neuf

EUR 54,92
Autre devise
Frais de port : EUR 3,55
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Nerode, Anil; Sastry, Shankar; Kohn, Wolf; Antsaklis, Panos
Edité par Springer, 1997
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
Neuf 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

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

Contacter le vendeur

Acheter neuf

EUR 61,88
Autre devise
Frais de port : EUR 14,16
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Anil Nerode, Shankar Sastry, Wolf Kohn, Panos Antsaklis
Edité par Springer 2008-06-13, 2008
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540633587

Contacter le vendeur

Acheter neuf

EUR 58,83
Autre devise
Frais de port : EUR 18,31
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Panos Antsaklis
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
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 book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. N° de réf. du vendeur 9783540633587

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 31,19
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Antsaklis, Panos J.|Kohn, Wolf|Nerode, Anil
Edité par Springer Berlin Heidelberg, 1997
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 é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 book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submis. N° de réf. du vendeur 4896298

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Panos Antsaklis
ISBN 10 : 3540633588 ISBN 13 : 9783540633587
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 book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control. 424 pp. Englisch. N° de réf. du vendeur 9783540633587

Contacter le vendeur

Acheter neuf

EUR 80,24
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier