Home | Amazing | Today | Tags | Publishers | Years | Search 
Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.

Topics addressed include mathematical models of real-time systems and associated formal verification techniques...

AJAX and PHP: Building Modern Web Applications 2nd Edition
AJAX and PHP: Building Modern Web Applications 2nd Edition
AJAX is a complex phenomenon that means different things to different people. Computer users appreciate that their favorite websites are now friendlier and feel more responsive. Web developers learn new skills that empower them to create sleek web applications with little effort. Indeed, everything sounds good about AJAX! At its roots, AJAX is a...
Easy PHP Websites with the Zend Framework
Easy PHP Websites with the Zend Framework

Recently revised for Zend Framework 1.9!, and combining 14 chapters containing 300 pages of instruction with access to almost 5 hours of online video, Easy PHP Websites with the Zend Framework is the ultimate learning guide to building powerful websites with the world's most popular Web development language.

...
Ultraviolet Light in Food Technology: Principles and Applications (Contemporary Food Engineering)
Ultraviolet Light in Food Technology: Principles and Applications (Contemporary Food Engineering)

The production of environmentally friendly, sustainable, chemical-free food continues to challenge the food industry, spurring on investigations into alternative food processing techniques that are more sophisticated and diverse than current practices. Exploring one of these emerging solutions, Ultraviolet Light in Food Technology:...

Rapid Chemical and Biological Techniques for Water Monitoring (Water Quality Measurements)
Rapid Chemical and Biological Techniques for Water Monitoring (Water Quality Measurements)
Rapid Chemical and Biological Techniques for Water Monitoring presents in one volume the broad spectrum of monitoring tools, both available and under development, and provides an assessment of their potential for underpinning environmental management and legislation. The book explores screening methods in the context of water policies;...
Ext JS 3.0 Cookbook
Ext JS 3.0 Cookbook
Clear step-by-step recipes for building impressive rich internet applications using the Ext JS JavaScript library

Master the Ext JS widgets and learn to create custom components to suit your needs Build striking native and custom layouts, forms, grids, listviews, treeviews, charts, tab panels, menus, toolbars and much more for your real-world...

Software & Systems Requirements Engineering: In Practice
Software & Systems Requirements Engineering: In Practice

Proven Software & Systems Requirements Engineering Techniques

"Requirements engineering is a discipline used primarily for large and complex applications. It is more formal than normal methods of gathering requirements, and this formality is needed for many large applications. The authors are experienced...

Evaluating Project Decisions: Case Studies in Software Engineering
Evaluating Project Decisions: Case Studies in Software Engineering
Effective decisions are crucial to the success of any software project, but to make better decisions you need a better decision-making process. In Evaluating Project Decisions, leading project management experts introduce an innovative decision model that helps you tailor your decision-making...
Autonomic Communication
Autonomic Communication

New paradigms for communication/networking systems are needed in order to tackle such emerging issues as heterogeneity, complexity and management of evolvable infrastructures, thus requiring approaches that are both task- and knowledge-driven. The networking and seamless integration of concepts, technologies and devices in a dynamically changing...

The Method Framework for Engineering System Architectures
The Method Framework for Engineering System Architectures
One of the biggest sources of pain in system development is “system integration and test.” This is frequently where projects sailing along with all-green progress reports and Earned Value Management System status summaries start to see these indicators increasingly turn to yellow and then to red. Projects that were thought to be 80...
Hacking Exposed: Network Security Secrets and Solutions, Sixth Edition
Hacking Exposed: Network Security Secrets and Solutions, Sixth Edition

The world's bestselling computer security book--fully expanded and updated

"Right now you hold in your hand one of the most successful security books ever written. Rather than being a sideline participant, leverage the valuable insights Hacking Exposed 6 provides to help yourself, your company,...

Systematic Design for Optimisation of Pipelined ADCs (The Springer International Series in Engineering and Computer Science)
Systematic Design for Optimisation of Pipelined ADCs (The Springer International Series in Engineering and Computer Science)
Systematic Design for Optimisation of Pipelined ADCs proposes and develops new strategies, methodologies and tools for designing low-power and low-area CMOS pipelined A/D converters. The task is tackled by following a scientifically-consistent approach. First of all, the state of the art in pipeline A/D converters is analysed with a double...
Result Page: 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy