Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings /

Hybrid Systems: Computation and Control Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Lynch, Nancy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Krogh, Bruce (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Computer Science, 1790
Θέματα:	Computers. Computer logic. Special purpose computers. Control engineering. Robotics. Mechatronics. Statistical physics. Dynamical systems. Theory of Computation. Logics and Meanings of Programs. Special Purpose and Application-Based Systems. Computation by Abstract Devices. Control, Robotics, Mechatronics. Complex Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Hybrid and Real-Time Systems International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /
Έκδοση: (1997)

Plan-Based Control of Robotic Agents Improving the Capabilities of Autonomous Robots /
ανά: Beetz, Michael, κ.ά.
Έκδοση: (2002)

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II /
Έκδοση: (2018)

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

Automotive Systems and Software Engineering State of the Art and Future Trends /
Έκδοση: (2019)

Hybrid Systems: Computation and Control 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings /
Έκδοση: (2002)

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part I /
Έκδοση: (2018)

Hybrid Systems: Computation and Control Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings /
Έκδοση: (1999)

Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
ανά: Geurts, Frederic, κ.ά.
Έκδοση: (1998)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /
Έκδοση: (1998)

Hybrid Systems IV
Έκδοση: (1997)

Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /
Έκδοση: (2003)

Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings /
Έκδοση: (2000)

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /
Έκδοση: (2019)

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /
Έκδοση: (2018)

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /
Έκδοση: (2018)

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Έκδοση: (2018)

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers /
Έκδοση: (2019)

Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings /
Έκδοση: (2000)

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /
Έκδοση: (2018)

Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Έκδοση: (2000)

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /
Έκδοση: (2018)

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /
Έκδοση: (2018)

Cryptographic Hardware and Embedded Systems -- CHES 2003 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /
Έκδοση: (2003)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
Έκδοση: (1997)

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018, Revised Selected Papers /
Έκδοση: (2018)

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
Έκδοση: (2018)

Correct System Design Recent Insights and Advances /
Έκδοση: (1999)

Distributed Computing by Mobile Entities Current Research in Moving and Computing /
Έκδοση: (2019)

Hybrid Systems V
Έκδοση: (1999)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
ανά: Pflanz, Matthias, κ.ά.
Έκδοση: (2002)

Embedded Processor Design Challenges Systems, Architectures, Modeling, and Simulation - SAMOS /
Έκδοση: (2002)

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II /
Έκδοση: (2018)

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
Έκδοση: (2004)

SDL 2003: System Design 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings /
Έκδοση: (2003)

Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings /
Έκδοση: (1998)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Έκδοση: (2002)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Έκδοση: (1997)

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

Cannot write session to /tmp/vufind_sessions/sess_0grk4n56aqd3q72i05qqjvejmq