The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Continue readingThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Conference on Architecture of Computing Systems, ...
Continue readingThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Continue readingThe reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Continue readingThe Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...
Continue readingThe Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Continue readingThe Definitive Guide to Apache MyFaces and Facelets is an ideal reference if you're looking to develop real–world applications ...
Continue readingThe Definitive Guide to Building Java Robots is for educators, students, hobbyists, and startups looking for Java/hardware ...
Continue readingThe book demonstrates how JasperReports can be used in a variety of Java-enabled applications, including Java EE or web applications, ...
Continue readingThis book shows you the parts of Java Swing API that you will use daily to create graphical user interfaces (GUI). You will ...
Continue readingShow you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
Continue readingThis is the first book to offer in-depth instruction about the new features of the world's most popular open source database ...
Continue readingThe Definitive Guide to SOA: Oracle® Service Bus, Second Edition targets professional software developers and architects ...
Continue readingTraditional relational databases and embedded databases both have shortcomings that can leave a developer perplexed. So for ...
Continue readingThe Definitive Guide to Stellent Content Server Development is the most complete book available for this enterprise content ...
Continue readingGet the definitive guide on all the fundamentals of Terracotta as well as user secrets, recipes, and prepackaged frameworks. Written ...
Continue readingA prominent solution for managing the data in these applications and devices is db4othe open source object database native ...
Continue readingThis book covers iReport as an intuitive and easy-to-use visual report builder/designer for JasperReports, written in 100% ...
Continue readingIs there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Continue reading