Electronic Books

Total Books: 1 - 20 /21

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 ...

Total Books: 1 - 20 /21