Hybrid Systems III
- Verification and Control
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
Medlemspris
- Du sparer kr. 50,00
- Fri fragt
-
Leveringstid: 2-3 uger (Sendes fra fjernlager) Forventet levering: 10-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
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.
Detaljer
- SprogEngelsk
- Sidetal619
- Udgivelsesdato24-04-1996
- ISBN139783540611554
- Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
- FormatPaperback
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Findes i disse kategorier...
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Dataarkitektur og logisk design
- Hybrid Systems III
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Systemanalyse og systemdesign
- Hybrid Systems III
- Fagbøger
- Andre fagbøger
- Teknologi, ingeniørvidenskab og landbrug
- Elektronik og kommunikationsteknik
- Elektroteknik
- Automatisk styringsteknik og reguleringsteknik
- Hybrid Systems III
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Programmering / softwareudvikling
- Softwareudvikling
- Hybrid Systems III
- Fagbøger
- Andre fagbøger
- Data- og informationsteknologi
- Informatik
- Matematisk datateori
- Hybrid Systems III