Search result
Verification, Model Checking, and Abstract Interpretation
English
29.01.2013
Paperback / Softback
Fr. 69.00
High Performance Computing for Computational Science - VECPAR 2008
English
29.01.2013
Paperback / Softback
Fr. 69.00
Computational Linguistics and Intelligent Text Processing
English
29.01.2013
Paperback / Softback
Fr. 134.00
Theory and Applications of Satisfiability Testing - SAT 2008
English
29.01.2013
Paperback / Softback
Fr. 69.00
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
English
23.02.2011
Paperback / Softback
Fr. 69.00
Structural Information and Communication Complexity
English
20.09.2012
Paperback / Softback
Fr. 69.00