Electronic Books

Total Books: 12/1661
A Graph-Theoretic Approach to Enterprise Network Dynamics

This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...

Lire la suite
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Lire la suite
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Lire la suite
A Practical Guide for SystemVerilog Assertions

SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...

Lire la suite
A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...

Lire la suite
AI 2005: Advances in Artificial Intelligence

The 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...

Lire la suite
AI 2006: Advances in Artificial Intelligence

This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...

Lire la suite
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Lire la suite
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Lire la suite
AI based Robot Safe Learning and Control

This book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...

Lire la suite
Absolute Stability of Nonlinear Control Systems

Following the recent developments in the field of absolute stability, Professor Xiaoxin Liao, in conjunction with Professor ...

Lire la suite
Achievements in European Research on Grid Systems : CoreGRID Integration Workshop 2006 (Selected Papers)

Achievements in European Research on Grid Systems comprises the edited proceedings of the 2006 CoreGRID Integration Workshop ...

Lire la suite
Total Books: 12/1661