Electronic Books

Total Books: 401 - 420 /785

Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...

Generative Programming and Component Engineering

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Genetic Programming (vol. # 3447)

In this volume we present the contributions for the 18th European Conference on Genetic Programming (EuroGP 2005). The conference ...

Genetic Programming IV

Genetic Programming IV: Routine Human-Competitive Machine Intelligence presents the application of GP to a wide variety of ...

Genetic Programming Theory and Practice II

This volume explores the emerging interaction between theory and practice in the cutting-edge, machine learning method of ...

Genetic Programming Theory and Practice III

Genetic Programming Theory and Practice III explores the emerging interaction between theory and practice in the cutting-edge, ...

Genetic Programming Theory and Practice IV

Genetic Programming Theory and Practice IV was developed from the fourth workshop at the University of Michigan’s Center ...

Genetic Systems Programming

This book is devoted to reporting innovative and significant progress about the contribution of genetic programming in systems ...

Geometric Group Theory

This volume assembles research papers in geometric and combinatorial group theory. This wide area may be defined as the study ...

Grammatical Inference: Algorithms and Applications

The topics discussed range from theoretical results of learning algorithms to innovative applications of grammatical inference ...

Grammatical Inference: Algorithms and Applications : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

This book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...

Graph Transformations

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and ...

Grid Computing

Grid computing has become a topic of significant interest in the scientific community as a means of enabling application ...

Grippers in Motion

This book shows you how to ensure process reliability on the basis of combining the right components with advanced application ...

Handbook of Biomedical Image Analysis

Handbook of Biomedical Image Analysis: Segmentation Models (Volume II) is dedicated to the segmentation of complex shapes ...

Handbook of Modern Sensors. Physics, Designs, and Applications / Jacob Fraden

Presents a comprehensive and up-to-date account of the theory (physical principles), design, and practical implementations ...

Handbook of Networked and Embedded Control Systems

The Handbook of Networked and Embedded Control Systems, the first of its kind, provides engineers, computer scientists, mathematicians, ...

Hardware and Software, Verification and Testing

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

These are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...

Total Books: 401 - 420 /785