A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
Lire la suitePractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suiteThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lire la suiteAlthough there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...
Lire la suiteExplains the process of ground formation - what it is made of and how it behaves as an engineering material. This enables ...
Lire la suiteA Short Course in Soil-structure Engineering of Deep Foundations, Excavations and Tunnels, focuses on the three major geotechnical ...
Lire la suiteA Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
Lire la suiteSatellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
Lire la suiteالدراسة الإنشائية لبناء سكني : مبنى سكني مؤلف من 17 طابق
Lire la suiteThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lire la suiteThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
Lire la suiteANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
Lire la suiteThe ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity ...
Lire la suiteThis publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
Lire la suiteStresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
Lire la suiteIn Abstract Algebra the first chapters blend standard contents with a careful introduction to proofs with arrowsand in the ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
Lire la suiteThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lire la suiteAjax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information ...
Lire la suite