Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Hybrid Systems III: Verification and Control

-20% su kodu: BOOKS
135,50 
Įprasta kaina: 169,38 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
135,50 
Įprasta kaina: 169,38 
-20% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-20% su kodu: BOOKS
2025-02-28 169.3800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

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.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1996
Knygos puslapių skaičius: 636
ISBN-10: 354061155X
ISBN-13: 9783540611554
Formatas: 235 x 155 x 34 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Hybrid Systems III: Verification and Control“

Būtina įvertinti prekę

Goodreads reviews for „Hybrid Systems III: Verification and Control“