Electronic Books

Total Books: 1 - 20 /21
978-3-540-79701-2
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 ...

Continue reading
978-3-540-69336-9
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 ...

Continue reading
978-3-540-37445-9
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 ...

Continue reading
978-3-540-35833-6
Architecting Systems with Trustworthy Components

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...

Continue reading
978-1-4302-0072-7
Beginning Python

Ten different projects illustrate the concepts introduced in the book. You will learn how to create a P2P file-sharing application ...

Continue reading
978-1-4302-0012-3
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 ...

Continue reading
978-1-4302-0282-0
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 ...

Continue reading
978-3-540-73589-2
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Continue reading
978-3-540-73589-2
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Continue reading
978-3-540-75985-0
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 ...

Continue reading
978-3-540-68855-6
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 ...

Continue reading
978-1-4302-0061-1
JDBC Recipes

JDBC Recipes provides easy-to-implement, usable solutions to problems in relational databases that use JDBC. You will be ...

Continue reading
978-1-4302-0000-0
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 ...

Continue reading
978-3-540-69489-2
Models in Software Engineering

This book constitutes the thoroughly refereed post-proceedings of 11 international workshops held as satellite events of ...

Continue reading
978-3-030-38125-7
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 ...

Continue reading
978-1-4302-0017-8
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 ...

Continue reading
978-1-84628-770-1
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. ...

Continue reading
978-3-540-73147-4
Rewriting, Computation and Proof

This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...

Continue reading
978-3-540-48267-3
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 ...

Continue reading
978-1-4302-0173-1
SCJP Exam for J2SE 5

Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...

Continue reading
Total Books: 1 - 20 /21