LEADER 01531nlm0 22004451i 450 001 990009252920403321 010 $a9783540319542 035 $a000925292 035 $aFED01000925292 035 $a(Aleph)000925292FED01 035 $a000925292 100 $a20100926d2005----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aHybrid Systems: Computation and Control$bRisorsa elettronica$e8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings$fedited by Manfred Morari, Lothar Thiele 210 $aBerlin ; Heidelberg$cSpringer$d2005 225 1 $aLecture Notes in Computer Science$x0302-9743$v3414 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aMorari,$bManfred 702 1$aThiele,$bLothar 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/b106766 901 $aEB 912 $a990009252920403321 961 $aComputation by Abstract Devices 961 $aComputer science 961 $aComputer Science 961 $aComputer simulation 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aProcessor Architectures 961 $aSimulation and Modeling 961 $aSoftware engineering 961 $aSoftware Engineering 961 $aSpecial Purpose and Application-Based Systems 996 $aHybrid Systems: Computation and Control$9773130 997 $aUNINA