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
Ad-hoc, Mobile and Wireless Networks : 7th International Conference, ADHOC-NOW 2008 Sophia-Antipolis, France, September 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...
Lee mas
Advanced Intelligent Paradigms in Computer Games
This book presents a sample of the most recent research concerning the application of computational intelligence techniques ...
Lee mas
Advances in Dynamic Games
This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide ...
Lee mas
Applying Fuzzy Mathematics to Formal Models in Comparative Politics
This book explores the intersection of fuzzy mathematics and the spatial modeling of preferences in political science. This ...
Lee mas
AutoCAD 2006 VBA
This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. ...
Lee masExperimental Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
Lee mas
Filtering Theory
The focus of this book is on filtering for linear processes, and its primary goal is to design filters from a class of linear ...
Lee masFluid and thermodynamics ; Volume 1: basic fluid mechanics
Simple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics ...
Lee mas
Fuel Cell Technology
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lee mas
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lee mas
High Performance Computing on Vector Systems 2007
The following book presents contributions from the 6th TERAFLOP Workshop which was hosted by Tohoku University in Sendai, ...
Lee mas
IUTAM Symposium on Computational Approaches to Multiphase Flow
The book provides a broad overview of the full spectrum of state-of-the-art computational activities in multiphase flow as ...
Lee mas
IUTAM Symposium on One Hundred Years of Boundary Layer Research
This book collects peer-reviewed lectures of the IUTAM Symposium on the 100th anniversary of Boundary Layer research. Covers ...
Lee mas
Interconnect-Centric Design for Advanced SoC and NoC
In Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip ...
Lee mas
Macroscopic Transport Equations for Rarefied Gas Flows
This book discusses classical and modern methods to derive macroscopic transport equations for rarefied gases from the Boltzmann ...
Lee mas
Mathematics - Key Technology for the Future : Joint Projects Between Universities and Industry 2004–2007
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
Lee mas
Mechanics of the 21st Century
Contains the proceedings of the 21st International Congress of Theoretical and Applied Mechanics, ICTAM04, held in Warsaw, ...
Lee masMicromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals ...
Lee mas
Models in Cooperative Game Theory
Cooperative game theory is a booming research area with many new developments in the last few years. So, our main purpose ...
Lee mas
