نتایج جستجو

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
A Software Process Model Handbook for Incorporating People's Capabilities
Silvia Teresita Acuna, 2005
The R Software: Fundamentals of Programming and Statistical Analysis
Pierre Lafaye de Micheaux, 2013
Multi-Criteria Decision Analysis: Methods and Software
Alessio Ishizaka, 2013
Multi-criteria Decision Analysis: Methods and Software
Alessio Ishizaka, 2013
Multi-criteria Decision Analysis: Methods and Software
Alessio Ishizaka, 2013
Abnahme komplexer Software-Systeme: Das Praxishandbuch
Wolfgang Osterhage (auth.), 2009