Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...
Lire la suiteThis book presents a sample of the most recent research concerning the application of computational intelligence techniques ...
Lire la suiteThis book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide ...
Lire la suiteThis book explores the intersection of fuzzy mathematics and the spatial modeling of preferences in political science. This ...
Lire la suiteThis book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. ...
Lire la suiteThese proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
Lire la suiteThe focus of this book is on filtering for linear processes, and its primary goal is to design filters from a class of linear ...
Lire la suiteSimple, yet precise solutions to special flows are also constructed, namely Blasius boundary layer flows, matched asymptotics ...
Lire la suiteThe Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Lire la suiteVerification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lire la suiteThe following book presents contributions from the 6th TERAFLOP Workshop which was hosted by Tohoku University in Sendai, ...
Lire la suiteThe book provides a broad overview of the full spectrum of state-of-the-art computational activities in multiphase flow as ...
Lire la suiteThis book collects peer-reviewed lectures of the IUTAM Symposium on the 100th anniversary of Boundary Layer research. Covers ...
Lire la suiteIn Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip ...
Lire la suiteThis book discusses classical and modern methods to derive macroscopic transport equations for rarefied gases from the Boltzmann ...
Lire la suiteThis book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
Lire la suiteContains the proceedings of the 21st International Congress of Theoretical and Applied Mechanics, ICTAM04, held in Warsaw, ...
Lire la suiteMicromechanics provides a link between the structure and the properties at different scales of observation. This book deals ...
Lire la suiteCooperative game theory is a booming research area with many new developments in the last few years. So, our main purpose ...
Lire la suite