Electronic Books

Total Books: 21 - 40 /110

Computer Science -- Theory and Applications

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...

Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Science – Theory and Applications

This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...

Computer Security - ESORICS 2005

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

Concepts and Results in Chaotic Dynamics: A Short Course

The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and ...

Concepts and Results in Chaotic Dynamics: A Short Course

The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and ...

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 ...

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 ...

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? ...

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 ...

Discrete Mathematics Using a Computer

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

Ernst Zermelo : An Approach to His Life and Work

This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects ...

Essays in Constructive Mathematics

This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing ...

Formal Approaches to Software Testing (vol. # 3395)

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

Total Books: 21 - 40 /110