Hybrid Systems III (inbunden)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Serie
Lecture Notes in Computer Science (del 1066)
Antal sidor
619
Utgivningsdatum
1996-04-24
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dimensioner
234 x 156 x 33 mm
Vikt
876 g
ISBN
9783540611554

Hybrid Systems III

Verification and Control

av Rajeev Alur, Thomas A Henzinger, Eduardo D Sontag
Häftad,  Engelska, 1996-04-24
1123
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.

Passar bra ihop

  1. Hybrid Systems III
  2. +
  3. Untitled Art

De som köpt den här boken har ofta också köpt Untitled Art av Elisabeth Vincentelli, Insight Editions (inbunden).

Köp båda 2 för 1616 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Rajeev Alur, Thomas A Henzinger, Eduardo D Sontag

Du kanske gillar