Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...
اقرأ المزيد
Ada 2005 Reference Manual. Language and Standard Libraries
The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...
اقرأ المزيد
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 ...
اقرأ المزيد
Architecting Systems with Trustworthy Components
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
اقرأ المزيد
Beginning Python
Ten different projects illustrate the concepts introduced in the book. You will learn how to create a P2P file-sharing application ...
اقرأ المزيد
Beginning Visual Web Programming in VB .NET
Beginning Web Programming in VB .NET: From Novice to Professional will teach you the fundamentals of the web environment ...
اقرأ المزيد
C++ /CLI : The Visual C++ Language for .NET
C++/CLI: The Visual C++ Language for .NET introduces Microsoft's extensions to the C++ syntax that allow you to target the ...
اقرأ المزيد
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
اقرأ المزيد
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
اقرأ المزيد
EU Digital Copyright Law and the End-User
This book is the first comprehensive exploration of the legal framework of EU digital copyright law from the perspective ...
اقرأ المزيد
Formal Techniques for Networked and Distributed Systems - FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيد
JDBC Recipes
JDBC Recipes provides easy-to-implement, usable solutions to problems in relational databases that use JDBC. You will be ...
اقرأ المزيد
Logging in Java with the JDK 1.4 Logging API and Apache log4j
This exceptional book explains fundamentals in detail, supported by realistic examples, while most other books on the market ...
اقرأ المزيد
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
اقرأ المزيد
National Security Exceptions in International Trade and Investment Agreements
provides a comprehensive analysis of national security exceptions in international trade and investment agreements. The subject ...
اقرأ المزيد
Practical Common Lisp
Lisp is often thought of as an academic language, but it need not be. This is the first book that introduces Lisp as a language ...
اقرأ المزيد
Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
اقرأ المزيد
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
Rigorous Development of Complex Fault-Tolerant Systems
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
اقرأ المزيد
SCJP Exam for J2SE 5
Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
اقرأ المزيد
