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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Architecting Systems with Trustworthy Components
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Lee mas
Beginning Python
Ten different projects illustrate the concepts introduced in the book. You will learn how to create a P2P file-sharing application ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lee mas
ECOOP 2007 – Object-Oriented Programming
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
JDBC Recipes
JDBC Recipes provides easy-to-implement, usable solutions to problems in relational databases that use JDBC. You will be ...
Lee mas
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 ...
Lee mas
Models in Software Engineering
This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lee mas
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 ...
Lee mas
SCJP Exam for J2SE 5
Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
Lee mas
