Home | Amazing | Today | Tags | Publishers | Years | Search 
Software Verification and Analysis: An Integrated, Hands-On Approach
Software Verification and Analysis: An Integrated, Hands-On Approach
This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic, execution-based analysis (testing and debugging).

Three major software verification techniques are discussed: Semantic program synthesis and...

Automated Web Testing Toolkit: Expert Methods for Testing and Managing Web Applications
Automated Web Testing Toolkit: Expert Methods for Testing and Managing Web Applications

All the tools, templates, and techniques you need to execute a testing plan on different platforms and servers

Automated Web Testing Toolkit

Due to deadline constraints and rapidly evolving technologies, Web testing is often an overlooked aspect of development. Companies risk losing hundreds of...

Analytical Atomic Spectrometry with Flames and Plasmas
Analytical Atomic Spectrometry with Flames and Plasmas

This completely revised second edition of the standard work has been expanded by some twenty percent to include more information on the latest developments and new apparatus. In particular, sections have been added on microplasmas and new types of spectrometers, while that on the rapidly expanding field of speciations with practical examples...

Beginning XNA 3.0 Game Programming: From Novice to Professional (Beginning from Novice to Professional)
Beginning XNA 3.0 Game Programming: From Novice to Professional (Beginning from Novice to Professional)
It’s hard to believe the runaway popularity XNA has achieved in the short period of time since it was released in late 2006. At that time, I got together with a couple friends to check out (with some trepidation, I must confess) whether games really could be written in managed code.

We were very excited, and everyone wanted to know
...
Beginning Joomla!, Second Edition (Beginning from Novice to Professional)
Beginning Joomla!, Second Edition (Beginning from Novice to Professional)
Joomla!, exclamation point and all, is one of the most searched–for and hired–for open source content management systems in the world. Since 2007, the combination of Joomla! and Dan Rahmel’s bestselling Beginning Joomla!, From Novice to Professional have made it so that all you have to do is read a single...
Tcl and Tk Programming for the Absolute Beginner
Tcl and Tk Programming for the Absolute Beginner
Tcl/Tk is enjoying a resurgence of popularity and interest in the computing community due to the fact that it is relatively easy to learn, powerful, fast, permits rapid development, and runs on all computing platforms. Until now, there has not been a guide book available that teaches Tcl/Tk to those with little or no programming experience....
Liferay Portal 5.2 Systems Development
Liferay Portal 5.2 Systems Development
Liferay portal is one of the most mature portal frameworks in the market, offering many key business benefits that involve personalization, customization, and workflow. If you are a Java developer who wants to build custom web sites and intranet applications using Liferay portal, this is where your search ends.

This book shows how Java...

Web 2.0 Architectures: What entrepreneurs and information architects need to know
Web 2.0 Architectures: What entrepreneurs and information architects need to know

Web 2.0 is more pervasive than ever, with business analysts and technologists struggling to comprehend the opportunity it represents. But what exactly is Web 2.0 -- a marketing term or technical reality? This fascinating book finally puts substance behind the phenomenon by identifying the core patterns of Web 2.0, and by introducing an...

Java SOA Cookbook
Java SOA Cookbook
Java SOA Cookbook offers practical solutions and advice to programmers charged with implementing a service-oriented architecture (SOA) in their organization. Instead of providing another conceptual, high-level view of SOA, this cookbook shows you how to make SOA work. It's full of Java and XML code you can insert directly into your applications and...
Solid Waste Analysis and Minimization: A Systems Approach: The Systems Approach
Solid Waste Analysis and Minimization: A Systems Approach: The Systems Approach

Implement successful solid waste analysis and minimization strategies

Provide sustainable solutions to solid waste issues with help from this hands-on guide. Solid Waste Analysis and Minimization: A Systems Approach offers up-to-date technical details on current and potential solid waste minimization practices....

Robot Brains: Circuits and Systems for Conscious Machines
Robot Brains: Circuits and Systems for Conscious Machines
Haikonen envisions autonomous robots that perceive and understand the world directly, acting in it in a natural human-like way without the need of programs and numerical representation of information. By developing higher-level cognitive functions through the power of artificial associative neuron architectures, the author approaches the issues of...
Encyclopedia of Capitol Punishment in the United States
Encyclopedia of Capitol Punishment in the United States
The second edition of this encyclopedia builds upon the first by, among other things, including material that reflects alterations in capital punishment laws. Since the first edition appeared in 2001, the United States Supreme Court has issued more than forty opinions addressing capital punishment issues and, when necessary, state and federal...
Result Page: 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy