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