821- 826 of 826 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Author: Dirk Beyer
QUICK ADD
Verification, Model Checking,…
by Dirk Beyer, Damien Zufferey
#11990 in Series
Paperback $89.99
Title: Build Your Own .NET Language and Compiler / Edition 1, Author: Edward G. Nilges
QUICK ADD
Build Your Own .NET Language…
by Edward G. Nilges
Explore Series
Paperback $59.99
Title: OpenMP in a New Era of Parallelism: 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings / Edition 1, Author: Rudi Eigenmann
QUICK ADD
OpenMP in a New Era of…
by Rudi Eigenmann, Bronis R. de Supinski
#5004 in Series
Paperback $54.99
Title: Algorithms and Architectures for Parallel Processing: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings, Author: Shadi Ibrahim
QUICK ADD
Algorithms and Architectures…
by Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz
#10393 in Series
Paperback $109.99
Title: Global Optimization and Constraint Satisfaction: Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / Edition 1, Author: Christophe Jermann
QUICK ADD
Global Optimization and…
by Christophe Jermann, Arnold Neumaier, Djamila Sam
#3478 in Series
Paperback $54.99
Title: Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, Author: Alessandro Abate
QUICK ADD
Formal Modeling and Analysis…
by Alessandro Abate, Gilles Geeraerts
#10419 in Series
Paperback $54.99

Pagination Links