Electronic Books

Total Books: 1 - 20 /25
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

Lee mas
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, ...

Lee mas
Advanced Intelligent Paradigms in Computer Games

This book presents a sample of the most recent research concerning the application of computational intelligence techniques ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
AutoCAD 2006 VBA

This book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. ...

Lee mas
NoIMG
Experimental Unsaturated Soil Mechanics

These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...

Lee mas
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 ...

Lee mas
NoIMG
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 ...

Lee mas
Fuel Cell Technology

The Engineering Materials and Processes series focuses on all forms of materials and the processes used to synthesise and ...

Lee mas
Hardware Verification with SystemVerilog

Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...

Lee mas
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, ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
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 ...

Lee mas
Mechanics of the 21st Century

Contains the proceedings of the 21st International Congress of Theoretical and Applied Mechanics, ICTAM04, held in Warsaw, ...

Lee mas
NoIMG
Micromechanics of Contact and Interphase Layers

Micromechanics provides a link between the structure and the properties at different scales of observation. This book deals ...

Lee mas
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 ...

Lee mas
Total Books: 1 - 20 /25