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