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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue readingA 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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
A Review on Dental Materials
A Review on Dental Materials discusses the current biomaterials used for dental applications and the basic sciences underpinning ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Continue reading
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, ...
Continue reading
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...
Continue reading
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Accelerated VB 2005
Accelerated VB 2005 provides the fastest path to Visual Basic expertise for anyone already familiar with object-oriented ...
Continue reading
Accelerated VB 2008
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest ...
Continue reading
