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

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

Advanced Intelligent Paradigms in Computer Games

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

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

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

AutoCAD 2006 VBA

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

Experimental Unsaturated Soil Mechanics

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

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

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

Fuel Cell Technology

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

Hardware Verification with SystemVerilog

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

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

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

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

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

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

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

Mechanics of the 21st Century

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

Micromechanics of Contact and Interphase Layers

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

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

Total Books: 1 - 20 /25