Electronic Books

Total Books: 201 - 220 /400

Fundamental Approaches to Software Engineering

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Fundamentals of Durable Reinforced Concrete / Mark G. Richardson

The book presents a framework for specification through internationally adopted codes and standards and summarises the background ...

Fundamentals of building construction: materials and methods

Building Construction has been the go-to reference for thousands of professionals and students of architecture, engineering, ...

Fundamentals of building construction: materials and methods / Edward Allen, Joseph Iano

Reference for thousands of professionals and students of architecture, engineering, and construction technology for over ...

Generalized Curvatures

The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), ...

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

Geometric Properties for Incomplete Data

Computer vision and image analysis require interdisciplinary collaboration between mathematics and engineering. This book ...

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 Drawing : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September ...

Graph Theory

Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its ...

Graph-Theoretic Concepts in Computer Science (vol. # 3787)

that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...

Graph-Theoretic Concepts in Computer Science : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...

Graph-based Knowledge Representation : Computational Foundations of Conceptual Graphs

This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...

Ground bearing concrete slabs: Specification, design, construction and behaviour

Ground bearing concrete floors, industrial concrete hardstandings and concrete highway pavements have not, in the past, been ...

Handbook Of Mathematical Models For Languages And Computation

Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...

Handbook of Damage Mechanics : Nano to Macro Scale for Materials and Structures / George Z. Voyiadjis

A wide range of materials that engineers may encounter are covered, including metals, composites, ceramics, polymers, biomaterials, ...

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

High Performance Concrete Optimal Composition Design / Leonid Dvorkin, Vadim Zhitkovsky, Oleh Bordiuzhenko

Presents experimental and theoretical results allowing production of special high-strength rapid hardening concrete and fiber ...

High Performance Embedded Architectures and Compilers : Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...

Total Books: 201 - 220 /400