Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lire la suite
Model Checking Software (vol. # 3925)
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suite
Neural Nets
This book constitutes the thoroughly refereed postproceedings of the 16th Italian Workshop on Neural Nets, WIRN 2005, as ...
Lire la suite
OpenMP in a New Era of Parallelism : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
OpenMP is a widely accepted, standard application programming interface (API) for high-level shared-memory parallel programming ...
Lire la suite
Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...
Lire la suite
Principles and Practice of Constraint Programming - CP 2005
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
Lire la suite
Programming Languages and Systems (vol. # 3444)
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
Quantum Computation in Solid State Systems
The aim of Quantum Computation in Solid State Systems is to report on recent theoretical and experimental results on the ...
Lire la suite
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
Lire la suite
SOFSEM 2005: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...
Lire la suite
Stochastic Algorithms: Foundations and Applications
Constitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, ...
Lire la suite
Theory and Applications of Satisfiability Testing (vol. # 3542)
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite
