An introduction to cable roof structures, Second edition
Provides structural engineers with a concise introduction to the architectural, structural and technological aspects of cable ...
Lee mas
Complexity Theory and Cryptology
Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...
Lee mas
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
Lee mas
Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...
Lee mas
Formal Approaches to Software Testing (vol. # 3395)
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew ...
Lee mas
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Lee mas
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 ...
Lee mas
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 ...
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
Human Interactive Proofs
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
Lee mas
Modern construction envelopes / Andrew Watts
Using current examples by renowned architects, Watts presents the constructive and material-related details. It is based ...
Lee mas
Numerical Methods for Controlled Stochastic Delay Systems
The Markov chain approximation methods are widely used for the numerical solution of nonlinear stochastic control problems ...
Lee mas
Rethinking Sustainability Towards a Regenerative Economy
This book is based on work from the COST Action “RESTORE - REthinking Sustainability TOwards a Regenerative Economy'', ...
Lee mas
