Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
اقرأ المزيد
Database and XML Technologies (vol. # 3671)
Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...
اقرأ المزيد
Distributed and Parallel Systems : In Focus: Desktop Grid Computing
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
اقرأ المزيد
Fluent Python: Clear, Concise, and Effective Programming / Luciano Ramalho
You’ll learn how to write effective, modern Python 3 code by leveraging its best ideas. Don’t waste time bending Python ...
اقرأ المزيد
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
اقرأ المزيد
Multi-Agent Programming
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
اقرأ المزيد
Object-Oriented Programming Languages: Interpretation
This comprehensive examination of the main approaches to object-oriented language explains the key features of the languages ...
اقرأ المزيد
Object-Oriented Programming and Java
Object-Oriented Programming and Java presents two important topics in contemporary software development: object-oriented ...
اقرأ المزيد
Programming Multi-Agent Systems (vol. # 3346)
This paper is focussed on a principled way to combine the two dominant paradigms for building multiagent team plans, namely ...
اقرأ المزيد
Programming Multi-Agent Systems : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
اقرأ المزيد
The Once-Only Principle The TOOP Project
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
اقرأ المزيد
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
اقرأ المزيد
Theoretical Aspects of Computing - ICTAC 2004
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
اقرأ المزيد
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيد
