01592nlm0 22004571i 450 9900092359904033219783540714934000923599FED01000923599(Aleph)000923599FED0100092359920100926d2007----km-y0itay50------baengDEdrnn-008mamaaHybrid Systems: Computation and ControlRisorsa elettronica10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsedited by Alberto Bemporad, Antonio Bicchi, Giorgio ButtazzoBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434416Documento elettronicoTestoFormato html, pdfBemporad,AlbertoBicchi,AntonioButtazzo,GiorgioITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71493-4EB990009235990403321Computation by Abstract DevicesComputer scienceComputer ScienceComputer simulationLogic designLogics and Meanings of ProgramsProcessor ArchitecturesSimulation and ModelingSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsHybrid Systems: Computation and Control773130UNINA