ISBN: 9783540573180
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybri… Altro …
Springer.com Nr. 978-3-540-57318-0. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Hybrid Systems (Lecture Notes in Computer Science, 736, Band 736) - edizione con copertina flessibile
2008, ISBN: 9783540573180
Springer, Taschenbuch, Auflage: 1993, 488 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.51 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Altro …
amazon.de Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
1993, ISBN: 9783540573180
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Hybrid systems are networ… Altro …
booklooker.de |
1993, ISBN: 9783540573180
[PU: Springer Berlin], Gebrauchs- und Lagerspuren. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 3946068/203, DE, [SC: 0.00], gebrauch… Altro …
booklooker.de |
1993, ISBN: 9783540573180
[PU: Springer Berlin], Gebrauchs- und Lagerspuren. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 3946068/203, DE, [SC: 0.00], gebrauch… Altro …
booklooker.de |
ISBN: 9783540573180
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybri… Altro …
Nerode, Anil, Rischel, Hans, Grossman, Robert L. Ravn, Anders P.:
Hybrid Systems (Lecture Notes in Computer Science, 736, Band 736) - edizione con copertina flessibile2008, ISBN: 9783540573180
Springer, Taschenbuch, Auflage: 1993, 488 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.51 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Altro …
1993
ISBN: 9783540573180
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Hybrid systems are networ… Altro …
1993, ISBN: 9783540573180
[PU: Springer Berlin], Gebrauchs- und Lagerspuren. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 3946068/203, DE, [SC: 0.00], gebrauch… Altro …
1993, ISBN: 9783540573180
[PU: Springer Berlin], Gebrauchs- und Lagerspuren. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. 3946068/203, DE, [SC: 0.00], gebrauch… Altro …
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Hybrid Systems (Lecture Notes in Computer Science, 736, Band 736)
EAN (ISBN-13): 9783540573180
ISBN (ISBN-10): 3540573186
Copertina flessibile
Anno di pubblicazione: 1993
Editore: Springer
488 Pagine
Peso: 0,731 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-11-07T18:30:39+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-14T21:07:39+01:00 (Zurich)
ISBN/EAN: 9783540573180
ISBN - Stili di scrittura alternativi:
3-540-57318-6, 978-3-540-57318-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : grossman, hans anders, gross hans, hans groß, risch, robert anders, nero, rische, robert ris, ravn
Titolo del libro: lecture notes computer science, hybrid, computer systems
Dati dell'editore
Autore: Robert L. Grossman; Anil Nerode; Anders P. Ravn; Hans Rischel
Titolo: Lecture Notes in Computer Science; Hybrid Systems
Editore: Springer; Springer Berlin
476 Pagine
Anno di pubblicazione: 1993-10-05
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 476 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Rechnerarchitektur und Logik-Entwurf; Verstehen; Computer; Hybride Automaten; Kontrollsysteme; Nero; Systemmodellierung; Systemspezifikation; Topologie; algorithms; automata; calculus; hybrid automata; modeling; system modeling; systems modeling; verification; Processor Architectures; Control and Systems Theory; Theory of Computation; Special Purpose and Application-Based Systems; Software Engineering; Regelungstechnik; Theoretische Informatik; Wissensbasierte Systeme, Expertensysteme; Software Engineering; EA
Verifying hybrid systems.- An extended duration calculus for hybrid real-time systems.- Towards refining temporal specifications into hybrid systems.- Hybrid systems in TLA+.- Hybrid models with fairness and distributed clocks.- A compositional approach to the design of hybrid systems.- An approach to the description and analysis of hybrid systems.- Integration Graphs: A class of decidable hybrid systems.- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems.- Hybrid Systems: the SIGNAL approach.- A dynamical simulation facility for hybrid systems.- Event identification and intelligent hybrid control.- Multiple agent hybrid control architecture.- Models for hybrid systems: Automata, topologies, controllability, observability.- Some remarks about flows in hybrid systems.- Hybrid system modeling and autonomous control systems.- Fault accommodation in feedback control systems.- On formal support for industrial-scale requirements analysis.- A formal approach to computer systems requirements documentation.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540480600 Hybrid Systems (Robert L. Grossman; Anil Nerode; Anders P. Ravn; Hans Rischel)
- 9783540480600 Hybrid Systems (Robert L. Grossman; Anil Nerode; Anders P. Ravn; Hans Rischel)
- 9780387573182 Hybrid Systems (Robert L. Grossman, Anil Nerode, Anders P. Ravn et Hans Rischel)
- 9783540604723 Hybrid Systems II (Antsaklis, Panos (Herausgeber); Sastry, Shankar (Herausgeber); Nerode, Anil (Herausgeber); Kohn, Wolf (Herausgeber))
< Per archiviare...