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 ...
Weiterlesen
Database and XML Technologies (vol. # 3671)
Constitutes the proceedings of the Third International XML Database Symposium, XSym 2005, held in Trondheim, Norway in August ...
Weiterlesen
Distributed and Parallel Systems : In Focus: Desktop Grid Computing
In this book contributors investigate parallel and distributed techniques, algorithms, models and applications; present innovative ...
Weiterlesen
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 ...
Weiterlesen
Hybrid Systems: Computation and Control
This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, ...
Weiterlesen
Multi-Agent Programming
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
Weiterlesen
Object-Oriented Programming Languages: Interpretation
This comprehensive examination of the main approaches to object-oriented language explains the key features of the languages ...
Weiterlesen
Object-Oriented Programming and Java
Object-Oriented Programming and Java presents two important topics in contemporary software development: object-oriented ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
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 ...
Weiterlesen
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Weiterlesen
Theoretical Aspects of Computing - ICTAC 2004
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
Weiterlesen
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 ...
Weiterlesen
