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