Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suite
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, ...
Lire la suite
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, ...
Lire la suite
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suite
The Algorithm Design Manual
The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
The Definitive Guide to SOA : Oracle® Service Bus
The Definitive Guide to SOA: Oracle® Service Bus, Second Edition targets professional software developers and architects ...
Lire la suite
The Definitive Guide to SQLite
Traditional relational databases and embedded databases both have shortcomings that can leave a developer perplexed. So for ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
The Definitive Guide to db4o
A prominent solution for managing the data in these applications and devices is db4othe open source object database native ...
Lire la suite
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% ...
Lire la suite
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 ...
Lire la suite
