Canali - Logical Analysis of Hybrid Systems : :: Biblioteca ITESO

Documenti analoghi: Logical Analysis of Hybrid Systems :

Anteprima rapida
Symbolic Logic and Mechanical Theorem Proving /
Anteprima rapida
Hybrid Systems IV /
Anteprima rapida
Hybrid Systems V /
Anteprima rapida
Hybrid Neural Systems /
Anteprima rapida
Logic for computer science : foundations of automatic theorem proving /
Anteprima rapida
Hybrid Dynamical Systems : Controller and Sensor Switching Problemes /
Anteprima rapida
Agent-Based Hybrid Intelligent Systems : An Agent-Based Framework for Complex Problem Solving /
Anteprima rapida
Analysis, Control and Optimization of Complex Dynamic Systems /
Anteprima rapida
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings /
Anteprima rapida
Hybrid Information Systems /
Anteprima rapida
Model-based Health Monitoring of Hybrid Systems /
Anteprima rapida
The Hybrid Media System : Politics and Power /
Anteprima rapida
The Hybrid Media System : Politics and Power /
Anteprima rapida
Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Anteprima rapida
Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
Anteprima rapida
Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals : Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals /
Anteprima rapida
Hybrid and Real-Time Systems : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings /

Autore: André Platzer

Anteprima rapida
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0