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