Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
اقرأ المزيدIn this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
اقرأ المزيدThe book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
اقرأ المزيدThis book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
اقرأ المزيدSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
اقرأ المزيدA Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for ...
اقرأ المزيدPractical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
اقرأ المزيدThis book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيدAlthough there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...
اقرأ المزيد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, focuses on the three major geotechnical ...
اقرأ المزيدSatellite navigation receivers are used to receive, process, and decode space-based navigation signals, such as those provided ...
اقرأ المزيدThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
اقرأ المزيدThe book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, ...
اقرأ المزيدANEMONA is a multi-agent system (MAS) methodology for holonic manufacturing system (HMS) analysis and design, based on HMS ...
اقرأ المزيدThe ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity ...
اقرأ المزيدThis publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
اقرأ المزيدStresses in plants caused by salt, drought, temperature, oxygen, and toxic compounds are the principal reason for reduction ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد