Electronic Books

Total Books: 61 - 80 /257

Concurrent Zero-Knowledge

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...

Conics and Cubics

Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...

Conics and Cubics

Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

Cyclotomic Fields and Zeta Values

Cyclotomic fields have always occupied a central place in number theory, and the so called "main conjecture" on cyclotomic ...

Cyclotomic Fields and Zeta Values

Cyclotomic fields have always occupied a central place in number theory, and the so called "main conjecture" on cyclotomic ...

Database: Enterprise, Skills and Innovation

The British National Conference on Databases (BNCOD) was established in 1980 as a forum for research into the theory and ...

Deduction, Computation, Experiment : Exploring the Effectiveness of Proof

What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...

Deformations of Algebraic Schemes

This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...

Deformations of Algebraic Schemes

This study has become increasingly important in algebraic geometry in every context where variational phenomena come into ...

Designers' Guide to EN1991-1-2, EN1992-1-2, EN1993-1-2 and EN1994-1-2: Handbook for the Fire Design of Steel, Composite and Concrete Structures to the Eurocodes

The nature of the loading must first be understood before applying the structural engineering principles set out in the Eurocodes. ...

Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...

Dimension and Recurrence in Hyperbolic Dynamics

The main objective of this book is to give a broad unified introduction to the study of dimension and recurrence in hyperbolic ...

Discrete Mathematics Using a Computer

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

Dynamic Epistemic Logic

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family ...

Dynamical Entropy in Operator Algebras

The book including quantum dynamical systems and applications of operator algebras and ergodic theory. Although the authors ...

Total Books: 61 - 80 /257