Electronic Books

Total Books: 381 - 400 /400

Theory of Cryptography : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings

The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...

Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...

Topics in Discrete Mathematics

Leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number ...

Topics in Galois Fields

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Ultimate Limit-State Design of Concrete Structures A new approach

Structural concrete members often show great deviation in structural performance from that predicted by the current code ...

Using Discrete Choice Experiments to Value Health and Health Care

Using Discrete Choice Experiments to Value Health and Health Care takes a fresh and contemporay look at the growing interest ...

Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...

Waste Materials and By-Products in Concrete

Non-hazardous waste materials and by-products which are mostly landfilled can be used in making concrete and similar construction ...

Waste Materials in Advanced Sustainable Concrete : Reuse, Recovery and Recycle / Md Rezaur Rahman, Chin Mei Yun, Muhammad Khusairy Bin Bakri

Presents solutions for optimizing sustainable concrete fabrication techniques. It shows how to reinforce sustainable concrete ...

Wavelets and Signal Processing

As the applications of wavelet transform have spread to diverse areas of signal analysis and compression, students and practitioners ...

XcalableMP PGAS Programming Language From Programming Model to Applications

XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address ...

e-Learning : Nuovi strumenti per insegnare, apprendere, comunicare online = New tools to teach, learn, communicate online

Offers an overview of the evolution of online training, focusing both on the possible transformations made by new technologies ...

q-Clan Geometries in Characteristic 2

This monograph offers the only comprehensive, coherent treatment of the theory - in characteristic 2 - of the so-called flock ...

robust resilient resistant: Reinforced Concrete Structures / Jakob Schoof

Reinforced concrete is the go-to powerhouse of modern construction: no other load-bearing building material is as malleable ...

Total Books: 381 - 400 /400