Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue reading
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 ...
Continue reading
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 ...
Continue readingFundamentals of building construction: materials and methods
Building Construction has been the go-to reference for thousands of professionals and students of architecture, engineering, ...
Continue reading
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 ...
Continue reading
Generalized Curvatures
The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), ...
Continue reading
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 ...
Continue reading
Geometric Properties for Incomplete Data
Computer vision and image analysis require interdisciplinary collaboration between mathematics and engineering. This book ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Graph Theory
Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue readingGround 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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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. ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
