The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Barnes and Noble
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Barnes and Noble
Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Barnes and Noble
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / Edition 1

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / Edition 1

Barnes and Noble
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / Edition 1

Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / Edition 1

Barnes and Noble
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / Edition 1

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings / Edition 1

Barnes and Noble
Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers

Barnes and Noble
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / Edition 1

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / Edition 1

Barnes and Noble
Nonlinear Modeling and Applications, Volume 2: Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / Edition 1

Nonlinear Modeling and Applications, Volume 2: Proceedings of the 28th IMAC, A Conference on Structural Dynamics, 2010 / Edition 1

Barnes and Noble
System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

Barnes and Noble
Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings / Edition 1

Geometric Modeling and Processing - GMP 2006: 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings / Edition 1

Barnes and Noble
mODa 8 - Advances in Model-Oriented Design and Analysis: Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4-8, 2007 / Edition 1

mODa 8 - Advances in Model-Oriented Design and Analysis: Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4-8, 2007 / Edition 1

Barnes and Noble
Research in Shape Modeling: Los Angeles, July 2013

Research in Shape Modeling: Los Angeles, July 2013

Barnes and Noble
Modeling in Computer Graphics: Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8-12, 1991

Modeling in Computer Graphics: Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8-12, 1991

Barnes and Noble
Simulation Modeling and Analysis / Edition 5

Simulation Modeling and Analysis / Edition 5

Barnes and Noble
Advanced Methods, Techniques, and Applications in Modeling and Simulation: Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Advanced Methods, Techniques, and Applications in Modeling and Simulation: Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Barnes and Noble
Powered by Adeptmind