Kanallar - Automated Technology for Verification and Analysis : :: Biblioteca ITESO

Benzer Materyaller: Automated Technology for Verification and Analysis :

Hızlı Bakış
Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings /
Hızlı Bakış
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
Hızlı Bakış
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings /
Hızlı Bakış
Programming Languages and Systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /
Hızlı Bakış
Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers /
Hızlı Bakış
Database and XML Technologies : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, Proceedings /
Hızlı Bakış
AUTOMATION AND TECHNOLOGICAL CHANGE /
Hızlı Bakış
Information and Automation : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers /
Hızlı Bakış
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Hızlı Bakış
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Hızlı Bakış
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /
Hızlı Bakış
Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Hızlı Bakış
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /
Hızlı Bakış
Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Hızlı Bakış
Electronic Design Automation : Synthesis, Verification, and Test /
Hızlı Bakış
Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /

Yazar: Ahmed Bouajjani, Wei-Ngan Chin

Hızlı Bakış
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /

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