Electronic Books

Total Books: 161 - 180 /801

Comparative Genomics

This book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...

Compendium of Civil Engineering Education Strategies : Case Studies and Examples / Hudson Jackson, Kassim Tarhini

Compiles proven strategies and information on civil engineering education and the skills necessary for successful practice ...

Compiler Construction (vol. # 3443)

"This book constitutes the refereed proceedings of 14th International Conference, CC 2005, Held as Part of the Joint European ...

Compiler Construction : 17th International Conference, CC 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

This book constitutes the proceedings of the 17th International Conference on Compiler Construction, CC 2008. It covers analysis ...

Compiling ESTEREL

Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...

Complex Nonlinearity : Chaos, Phase Transitions, Topology Change and Path Integrals

The book starts with a textbook-like expose on nonlinear dynamics, attractors and chaos, both temporal and spatio-temporal, ...

Complex Scheduling

This book deals with such complex scheduling problems and methods to solve them. It consists of three parts: The ?rst part ...

Complexity Theory

Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...

Complexity of Constraints : An Overview of Current Research Themes

This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...

Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...

Composite Structures of Steel and Concrete : Beams, Slabs, Columns and Frames for Buildings / Roger P. Johnson, Yong C. Wang

Provides an introduction to the theory and design of composite structures of steel and concrete. Material applicable to both ...

Computation and Logic in the Real World

This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...

Computation and Logic in the Real World

This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...

Computational Geometry and Graph Theory : International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry ...

Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...

Computational Modelling of Concrete and Concrete Structures / Günther Meschke, Bernhard Pichler, Jan G. Rots

Serves as an important reference for both academics and professionals, stimulating new research directions in the field of ...

Computational Plasticity

The different chapters of this book present recent progress and future research directions in the field of computational ...

Computational Structural Concrete: Theory and Applications / Ulrich Häussler-Combe

Concrete is by far the most used building material due to its advantages: it is shapeable, cost-effective and available everywhere. ...

Computer Aided Bridge Engineering (Detail Design of Pre-Stressed Concrete I-Girder / Box-Girder Bridges) / Sandipan Goswami

Real project design calculations for a deck-girder superstructure are presented along with the design of an abutment and ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Total Books: 161 - 180 /801