Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /

This 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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bemporad, Alberto (Επιμελητής έκδοσης), Bicchi, Antonio (Επιμελητής έκδοσης), Buttazzo, Giorgio (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:	Lecture Notes in Computer Science, 4416
Θέματα:	Computer science. Microprocessors. Special purpose computers. Software engineering. Computers. Computer logic. Computer Science. Theory of Computation. Special Purpose and Application-Based Systems. Processor Architectures. Logics and Meanings of Programs. Software Engineering. Computation by Abstract Devices.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
Έκδοση: (2008)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /
Έκδοση: (2005)

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings /
Έκδοση: (2006)

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
Έκδοση: (2009)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /
Έκδοση: (2006)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Έκδοση: (2013)

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
Έκδοση: (2012)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
Έκδοση: (2004)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Έκδοση: (2013)

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures /
ανά: Wang, Endong, κ.ά.
Έκδοση: (2014)

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /
Έκδοση: (2010)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Έκδοση: (2007)

Computer Engineering and Technology 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers /
Έκδοση: (2016)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
Έκδοση: (2008)

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Έκδοση: (2017)

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers /
Έκδοση: (2010)

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Έκδοση: (2014)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
Έκδοση: (2016)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Beginning Samsung ARTIK A Guide for Developers /
ανά: Wootton, Cliff
Έκδοση: (2016)

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Έκδοση: (2013)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I /
Έκδοση: (2017)

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II /
Έκδοση: (2017)

Foundations of Dependable Computing Paradigms for Dependable Applications /
Έκδοση: (1994)

Foundations of Dependable Computing Models and Frameworks for Dependable Systems.
Έκδοση: (1994)

Fault-Tolerant Real-Time Systems The Problem of Replica Determinism /
ανά: Poledna, Stefan
Έκδοση: (1996)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Έκδοση: (2016)

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /
Έκδοση: (2006)

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Έκδοση: (2010)

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings /
Έκδοση: (2005)

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Έκδοση: (2017)

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /
Έκδοση: (2007)

Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
Έκδοση: (2003)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Έκδοση: (2014)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings /
Έκδοση: (2017)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών