A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
اقرأ المزيد
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
اقرأ المزيد
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيدA Short Course in Foundation Engineering
Although there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...
اقرأ المزيدA Short Course in Geology for Civil Engineers
Explains the process of ground formation - what it is made of and how it behaves as an engineering material. This enables ...
اقرأ المزيدA Short Course in Soil–Structure Engineering of Deep Foundations, Excavations and Tunnels
A Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
اقرأ المزيد
A Software Process Model Handbook for Incorporating Peoples Capabilities
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
اقرأ المزيد
A Software-Defined GPS and Galileo Receiver
Satellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
اقرأ المزيدA Structurl study of a residental bulding الدراسة الإنشائية لبناء سكني / محمد مجد وليد جحا ؛ محمد أنس عبد الرحمن رنكو ؛ إشراف د. م. هشام المما
الدراسة الإنشائية لبناء سكني : مبنى سكني مؤلف من 17 طابق
اقرأ المزيد
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
اقرأ المزيد
AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
اقرأ المزيد
ANEMONA : A Mulit-agent Methodology for Holonic Manufacturing Systems
ANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
اقرأ المزيد
ASP.NET MVC Framework Preview
The ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity ...
اقرأ المزيدAVENUE21. Connected and Automated Driving: Prospects for Urban Europe
This publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
اقرأ المزيد
Abiotic Stress Tolerance in Plants
Stresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
اقرأ المزيد
Abstract Algebra
In Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
اقرأ المزيد
Accelerated GWT : Building Enterprise Google Web Toolkit Applications
Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information ...
اقرأ المزيد
