A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
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, ...
اقرأ المزيد
Advanced Intelligent Paradigms in Computer Games
This book presents a sample of the most recent research concerning the application of computational intelligence techniques ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
AutoCAD 2006 VBA
This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. ...
اقرأ المزيدExperimental Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
اقرأ المزيد
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 ...
اقرأ المزيدFluid and thermodynamics ; Volume 1: basic fluid mechanics
Simple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics ...
اقرأ المزيد
Fuel Cell Technology
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
اقرأ المزيد
Hardware Verification with SystemVerilog
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
اقرأ المزيد
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, ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Mechanics of the 21st Century
Contains the proceedings of the 21st International Congress of Theoretical and Applied Mechanics, ICTAM04, held in Warsaw, ...
اقرأ المزيدMicromechanics of Contact and Interphase Layers
Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals ...
اقرأ المزيد
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 ...
اقرأ المزيد
