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

Lire la suite
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, ...

Lire la suite
Advanced Intelligent Paradigms in Computer Games

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

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
AutoCAD 2006 VBA

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

Lire la suite
NoIMG
Experimental Unsaturated Soil Mechanics

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

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Fuel Cell Technology

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

Lire la suite
Hardware Verification with SystemVerilog

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

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Mechanics of the 21st Century

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

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Total Books: 1 - 20 /25