Canali - Static Analysis : :: Biblioteca ITESO

Documenti analoghi: Static Analysis :

Anteprima rapida
Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /
Anteprima rapida
Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings /
Anteprima rapida
Static Analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
Anteprima rapida
Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings /
Anteprima rapida
Static Analysis : 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings /
Anteprima rapida
Static Analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
Anteprima rapida
Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
Anteprima rapida
Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings /
Anteprima rapida
Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Anteprima rapida
Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings /
Anteprima rapida
Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /
Anteprima rapida
Static Analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings /
Anteprima rapida
Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings /
Anteprima rapida
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /
Anteprima rapida
Static Analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings /
Anteprima rapida
Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /
Anteprima rapida
Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings /
Anteprima rapida
Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Anteprima rapida
Analysis of Statically Indeterminate Structures /
Anteprima rapida
Statical analysis for decision making.
Anteprima rapida
Computer Information Systems - Analysis and Technologies : 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings /
Anteprima rapida
Improving experimental design and statical analysis.
Anteprima rapida
Computer Information Systems and Industrial Management : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings /
Anteprima rapida
Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /

Autore: Agostino Cortesi, Gilberto Filé

Anteprima rapida
Static Analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /

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