A History of Thermodynamics
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural ...
Lee mas
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...
Lee mas
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction ...
Lee mas
A Modern Course in Aeroelasticity
In this new edition, the fundamental material on classical linear aeroelasticity has been revised. Also new material has ...
Lee mas
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...
Lee mas
A Portrait of State-of-the-Art Research at the Technical University of Lisbon
This book contains the edited version of the invited lectures that were delivered by prominent researchers at UTL. This book ...
Lee mas
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lee masA 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 ...
Lee mas
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lee mas
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 ...
Lee mas
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 ...
Lee masA 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 ...
Lee masA 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 ...
Lee masA 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
