الكتب الالكترونية

عدد الكتب: 1 - 11 /11
NoIMG
An introduction to cable roof structures, Second edition

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

اقرأ المزيد
978-3-540-28520-5
Complexity Theory and Cryptology

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

اقرأ المزيد
978-3-540-31981-8
Computer Security - ESORICS 2005

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

اقرأ المزيد
978-1-84628-598-1
Discrete Mathematics Using a Computer

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

اقرأ المزيد
978-3-540-31848-4
Formal Approaches to Software Testing (vol. # 3395)

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

اقرأ المزيد
978-3-540-34455-1
Formal Approaches to Software Testing (vol. # 3997)

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

اقرأ المزيد
978-3-540-78917-8
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 ...

اقرأ المزيد
NoIMG
Fundamentals of building construction: materials and methods

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

اقرأ المزيد
978-3-540-32117-0
Human Interactive Proofs

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

اقرأ المزيد
978-0-8176-4621-9
Numerical Methods for Controlled Stochastic Delay Systems

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

اقرأ المزيد
978-3-030-71819-0
Rethinking Sustainability Towards a Regenerative Economy

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

اقرأ المزيد
عدد الكتب: 1 - 11 /11