A History of Thermodynamics
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Lire la suite
A Modern Perspective on Type Theory
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern ...
Lire la suite
A Modular Calculus for the Average Cost of Data Structuring
This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...
Lire la suiteA Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Lire la suite
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suite
A Practical Theory of Reactive Systems
A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, ...
Lire la suite
A Programmers Introduction to C#
A Programmer's Introduction to C# 2.0, Third Edition is a critical update to the highly successful second edition. It is ...
Lire la suite
A Review on Dental Materials
A Review on Dental Materials discusses the current biomaterials used for dental applications and the basic sciences underpinning ...
Lire la suite
A Software Process Model Handbook for Incorporating Peoples Capabilities
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Lire la suite
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
Lire la suite
ASP.NET MVC Framework Preview
The ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity ...
Lire la suite
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Lire la suite
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suite
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Lire la suite
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Lire la suite
Accelerated C# 2008
Accelerated C# 2008 gives you everything you need to know about C# 2008 in a concentrated 500 pages of must-know information ...
Lire la suite
Accelerated GWT : Building Enterprise Google Web Toolkit Applications
Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information ...
Lire la suite
Accelerated SQL Server 2008
The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books ...
Lire la suite
Accelerated VB 2005
Accelerated VB 2005 provides the fastest path to Visual Basic expertise for anyone already familiar with object-oriented ...
Lire la suite
Accelerated VB 2008
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...
Lire la suite
