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