- 5 Résultats
prix le plus bas: € 17,37, prix le plus élevé: € 98,95, prix moyen: € 65,22
1
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science) - Sastry, Shankar and Thomas A. Henzinger
Commander
sur ZVAB.com
€ 58,04
Envoi: € 3,501
Commander
Détails du fournisseur
Lien sponsorisé
Sastry, Shankar and Thomas A. Henzinger:

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2008, ISBN: 3540643583

[EAN: 9783540643586], Gebraucht, sehr guter Zustand, [SC: 3.5], [PU: Springer], COMPUTER & INTERNET / IT-AUSBILDUNG -BERUFE INGENIEURWISSENSCHAFT TECHNIK HARDWARE SOFTWARE-DESIGN ENTWICKL… Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.50 getbooks GmbH, Bad Camberg, HE, Germany [55883480] [Rating: 5 (von 5)]
fermer(X)
2
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science) - Sastry, Shankar and Thomas A. Henzinger
Commander
sur buchfreund.de
€ 58,04
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé

Sastry, Shankar and Thomas A. Henzinger:

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2008, ISBN: 9783540643586

436 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstkle… Plus…

Frais d'envoiVersandkosten innerhalb der BRD. (EUR 3.00) getbooks GmbH, 65520 Idstein
fermer(X)
3
Commander
sur AbeBooks.de
€ 17,37
Envoi: € 42,181
Commander
Détails du fournisseur
Lien sponsorisé
Henzinger, Thomas A. [Editor]; Sastry, Shankar [Editor];:
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science) - Livres de poche

2008

ISBN: 3540643583

[EAN: 9783540643586], Gebraucht, sehr guter Zustand, [PU: Springer], Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Ti… Plus…

NOT NEW BOOK. Frais d'envoi EUR 42.18 GuthrieBooks, Spring Branch, TX, U.S.A. [52069477] [Rating: 5 (von 5)]
fermer(X)
4
Commander
sur Biblio.co.uk
$ 98,89
(environ € 93,70)
Envoi: € 17,601
Commander
Détails du fournisseur
Lien sponsorisé
Henzinger, Thomas A. [Editor]; Sastry, Shankar [Editor];:
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science, 1386) - Livres de poche

ISBN: 9783540643586

Springer, 1998-03-25. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 1998-03-25, 6

Frais d'envoi EUR 17.60 GridFreed LLC
fermer(X)
5
Commander
sur AbeBooks.de
€ 98,95
Envoi: € 1,681
Commander
Détails du fournisseur
Lien sponsorisé
Henzinger; Thomas A.:
Hybrid Systems: Computation and Control : First International Workshop; HSCC'98; Berkeley; California; USA; April 13 - 15; 1998; Proceedings - Livres de poche

1998, ISBN: 3540643583

[EAN: 9783540643586], Neubuch, [PU: Springer], PRINT ON DEMAND Book; New; Fast Shipping from the UK., Books

NEW BOOK. Frais d'envoi EUR 1.68 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 5 (von 5)]
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Hybrid Systems: Computation and Control
Auteur:
Titre:
ISBN:

9783540643586


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.

Informations détaillées sur le livre - Hybrid Systems: Computation and Control


EAN (ISBN-13): 9783540643586
ISBN (ISBN-10): 3540643583
Version reliée
Livre de poche
Date de parution: 1998
Editeur: Springer Berlin
436 Pages
Poids: 0,655 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-28T21:11:48+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-03-11T15:24:19+01:00 (Paris)
ISBN/EAN: 9783540643586

ISBN - Autres types d'écriture:
3-540-64358-3, 978-3-540-64358-6
Autres types d'écriture et termes associés:
Auteur du livre: shankar, henzinger, sastry, henz thomas
Titre du livre: computer systems, 1998, hybrid systems computation control, proceedings first international workshop

Données de l'éditeur

Auteur: Thomas A. Henzinger; Shankar Sastry
Titre: Lecture Notes in Computer Science; Hybrid Systems: Computation and Control - First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Editeur: Springer; Springer Berlin
417 Pages
Date de parution: 1998-03-25
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 1,340 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VIII, 417 p.

BC; Computer System Implementation; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Automat; Bisimulation; Transit; automata; automation; formal verification; logic; modeling; optimization; regular expressions; robot; system; verification; Theory of Computation; Processor Architectures; Special Purpose and Application-Based Systems; Software Engineering; Logics and Meanings of Programs; Computer System Implementation; Theory of Computation; Processor Architectures; Special Purpose and Application-Based Systems; Software Engineering; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Rechnerarchitektur und Logik-Entwurf; Wissensbasierte Systeme, Expertensysteme; Software Engineering; EA

Equations on timed languages.- Hybrid control for automotive engine management: The cut-off case.- Hybrid control of automotive powertrain systems: A case study.- On the composition of hybrid systems.- An equivalence between a control network and a switched hybrid system.- Hybrid cc with interval constraints.- Reachability analysis via face lifting.- Automotive control revisited linear inequalities as approximation of reachable sets.- Switching controllers based on neural network estimates of stability regions and controller performance.- A logic for the specification of continuous systems.- Integrating projections.- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems.- Reachability verification for hybrid automata.- Subanalytic stratifications and bisimulations.- Integrated design and simulation of hybrid systems.- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system.- Formal verification of safety-critical hybrid systems.- Strings of vehicles: Modeling and safety conditions.- An approach to the verification of the Center-TRACON automation system.- Deductive verification of hybrid systems using step.- Reduction and decomposition of differential automata: Theory and applications.- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems.- Information-based optimization approaches to dynamical system safety verification.- Synthesizing controllers for nonlinear hybrid systems.- A sufficient condition for controllability of a class of hybrid systems.- Hybrid regular expressions.- Stabilization of systems with changing dynamics.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783540365808 Hybrid Systems: Computation and Control (Freek Wiedijk; Oded Maler; Amir Pnueli)

< pour archiver...