Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Continue reading
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Continue reading
Systems Aspects in Organic and Pervasive Computing - ARCS 2005
This book constitutes the refereed proceedings of the 18th International Conference on Architecture of Computing Systems, ...
Continue reading
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Continue reading
The Algorithm Design Manual
The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Continue reading
The Berkeley DB Book
The Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...
Continue reading
The Common Component Modeling Example : Comparing Software Component Models
The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Continue reading
The Definitive Guide to Apache MyFaces and Facelets
The Definitive Guide to Apache MyFaces and Facelets is an ideal reference if you're looking to develop real–world applications ...
Continue reading
The Definitive Guide to Building Java Robots
The Definitive Guide to Building Java Robots is for educators, students, hobbyists, and startups looking for Java/hardware ...
Continue reading
The Definitive Guide to JasperReports™
The book demonstrates how JasperReports can be used in a variety of Java-enabled applications, including Java EE or web applications, ...
Continue reading
The Definitive Guide to Java Swing
This book shows you the parts of Java Swing API that you will use daily to create graphical user interfaces (GUI). You will ...
Continue reading
The Definitive Guide to Modern Java Clients with JavaFX 17 : Cross-Platform Mobile and Cloud Development / Stephen Chin, Johan Vos, James Weaver
Show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
Continue reading
The Definitive Guide to MySQL 5
This is the first book to offer in-depth instruction about the new features of the world's most popular open source database ...
Continue reading
The Definitive Guide to SOA : Oracle® Service Bus
The Definitive Guide to SOA: Oracle® Service Bus, Second Edition targets professional software developers and architects ...
Continue reading
The Definitive Guide to SQLite
Traditional relational databases and embedded databases both have shortcomings that can leave a developer perplexed. So for ...
Continue reading
The Definitive Guide to Stellent Content Server Development
The Definitive Guide to Stellent Content Server Development is the most complete book available for this enterprise content ...
Continue reading
The Definitive Guide to Terracotta : Cluster the JVM™ for Spring, Hibernate, and POJO Scalability
Get the definitive guide on all the fundamentals of Terracotta as well as user secrets, recipes, and prepackaged frameworks. Written ...
Continue reading
The Definitive Guide to db4o
A prominent solution for managing the data in these applications and devices is db4othe open source object database native ...
Continue reading
The Definitive Guide to iReport
This book covers iReport as an intuitive and easy-to-use visual report builder/designer for JasperReports, written in 100% ...
Continue reading
Theoretical Introduction to Programming
Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Continue reading
