02291nlm0 22006251i 450 9900092595504033219783642006029000925955FED01000925955(Aleph)000925955FED0100092595520100926d2009----km-y0itay50------baengDEdrnn-008mamaaHybrid Systems: Computation and ControlRisorsa elettronica12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Rupak Majumdar, Paulo TabuadaBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435469Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Majumdar,RupakMattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTabuada,PauloTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-00602-9EB990009259550403321Computation 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