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

Podobne zapisy: Automated Technology for Verification and Analysis :

Quick Look
Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /
Quick Look
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 : Proceedings /
Quick Look
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings /
Quick Look
Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /
Quick Look
Embedded Systems: Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings /
Quick Look
AUTOMATION AND TECHNOLOGICAL CHANGE /
Quick Look
Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /
Quick Look
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings /
Quick Look
Intelligent Data Engineering and Automated Learning -- IDEAL 2013 : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013, Proceedings /
Quick Look
Reliable Software Technologies -- Ada-Europe 2013 : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings /
Quick Look
Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
Quick Look
Electronic Design Automation : Synthesis, Verification, and Test /
Quick Look
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings /
Quick Look
Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings /
Quick Look
Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
Quick Look
Information and Software Technologies : 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013Proceedings /
Quick Look
Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings /

Autor: Dang Hung, Mizuhito Ogawa

Quick Look
Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

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