LEADER 03684nam  22008295  450 
001 9910483267703321
005 20251117065930.0
010   $a1-280-86563-6
010   $a9786610865635
010   $a3-540-71493-6
024 7 $a10.1007/978-3-540-71493-4
035   $a(CKB)1000000000478536
035   $a(EBL)3036688
035   $a(SSID)ssj0000175461
035   $a(PQKBManifestationID)11171870
035   $a(PQKBTitleCode)TC0000175461
035   $a(PQKBWorkID)10204241
035   $a(PQKB)10659324
035   $a(DE-He213)978-3-540-71493-4
035   $a(MiAaPQ)EBC3036688
035   $a(MiAaPQ)EBC6358497
035   $a(PPN)123161347
035   $a(EXLCZ)991000000000478536
100   $a20100301d2007      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aHybrid Systems: Computation and Control $e10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings /$fedited by Alberto Bemporad, Giorgio C Buttazzo, Antonio Bicchi
205   $a1st ed. 2007.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007.
215   $a1 online resource (811 p.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4416
300   $aInternational conference proceedings.
311 08$a3-540-71492-8 
320   $aIncludes bibliographical references and index.
327   $aKeynote Speeches -- Regular Papers -- Short Papers.
330   $aThis book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007. The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4416
606   $aComputer science
606   $aComputers, Special purpose
606   $aMicroprocessors
606   $aComputer architecture
606   $aSoftware engineering
606   $aTheory of Computation
606   $aSpecial Purpose and Application-Based Systems
606   $aProcessor Architectures
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aMicroprocessors.
615  0$aComputer architecture.
615  0$aSoftware engineering.
615 14$aTheory of Computation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aProcessor Architectures.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
676   $a004.19
702   $aBemporad$b Alberto
702   $aBicchi$b Antonio$f1959-
702   $aButtazzo$b Giorgio C.$f1960-
712 12$aHSCC (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483267703321
996   $aHybrid Systems: Computation and Control$9773130
997   $aUNINA