Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
Continue reading
This book constitutes the refereed proceedings of the 7th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ...
Continue reading
This book presents a sample of the most recent research concerning the application of computational intelligence techniques ...
Continue reading
This book focuses on various aspects of dynamic game theory, presenting state-of-the-art research and serving as a guide ...
Continue reading
This book explores the intersection of fuzzy mathematics and the spatial modeling of preferences in political science. This ...
Continue reading
This 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 reading
The 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 reading
The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...
Continue reading
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Continue reading
The following book presents contributions from the 6th TERAFLOP Workshop which was hosted by Tohoku University in Sendai, ...
Continue reading
The book provides a broad overview of the full spectrum of state-of-the-art computational activities in multiphase flow as ...
Continue reading
This book collects peer-reviewed lectures of the IUTAM Symposium on the 100th anniversary of Boundary Layer research. Covers ...
Continue reading
In Interconnect-centric Design for Advanced SoC and NoC, we have tried to create a comprehensive understanding about on-chip ...
Continue reading
This book discusses classical and modern methods to derive macroscopic transport equations for rarefied gases from the Boltzmann ...
Continue reading
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
Continue reading
Contains 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 reading
Cooperative game theory is a booming research area with many new developments in the last few years. So, our main purpose ...
Continue reading