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 ...
اقرأ المزيد
