Hardware and Software, Verification and Testing
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
اقرأ المزيد
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3990)
This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques ...
اقرأ المزيد
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
اقرأ المزيد
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
اقرأ المزيد
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
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 ...
اقرأ المزيد
Neural Nets
This book constitutes the thoroughly refereed postproceedings of the 16th Italian Workshop on Neural Nets, WIRN 2005, as ...
اقرأ المزيد
Non-Linear Optical Properties of Matter
Non-Linear Optical Properties of Matter: From Molecules to Condensed Phases attempts to draw together both theory and application ...
اقرأ المزيد
Open Source Messaging Application Development
Are you enamored with instant messaging? Would you like to learn how to create your own messaging application? This book ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
Peer-to-Peer Computing
Companies are again searching for ways to improve their processing power without further investment in new hardware and software. ...
اقرأ المزيد
Peer-to-Peer Video
Peer-to-Peer (P2P) is a communication structure in which individuals interact directly, without going through a centralized ...
اقرأ المزيد
Podcast Solutions
today it’s well within your grasp, thanks to Podcasting using only some simple recording equipment, a computer, and the ...
اقرأ المزيد
Principles and Practice of Constraint Programming - CP 2005
Constitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
اقرأ المزيد
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 ...
اقرأ المزيد
