Electronic Books

Total Books: 1 - 13 /13

An introduction to cable roof structures, Second edition

Provides structural engineers with a concise introduction to the architectural, structural and technological aspects of cable ...

Complexity Theory and Cryptology

Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...

Computer Security - ESORICS 2005

These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...

Discrete Mathematics Using a Computer

Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...

Formal Approaches to Software Testing (vol. # 3395)

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Frei Otto : forschen, bauen, inspirieren = a life of research, construction and inspiration / Irene Meissner, Eberhard Moeller

Provides insights on the key aspects of his work. At its heart was the search for natural designs and an exploration of form-finding ...

Fundamentals of building construction: materials and methods

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

Human Interactive Proofs

Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...

Modern construction envelopes / Andrew Watts

Using current examples by renowned architects, Watts presents the constructive and material-related details. It is based ...

Numerical Methods for Controlled Stochastic Delay Systems

The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems ...

Rethinking Sustainability Towards a Regenerative Economy

This book is based on work from the COST Action “RESTORE - REthinking Sustainability TOwards a Regenerative Economy'', ...

Total Books: 1 - 13 /13