Electronic Books

Total Books: 12/12
A Course on Mathematical Logic

This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning ...

Lire la suite
Computation and Logic in the Real World

This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...

Lire la suite
Computation and Logic in the Real World

This volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...

Lire la suite
Logical Approaches to Computational Barriers

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

Lire la suite
Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...

Lire la suite
Mathematical Problems from Applied Logic I

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of ...

Lire la suite
Mathematical Problems from Applied Logic II

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics ...

Lire la suite
New Computational Paradigms : Changing Conceptions of What is Computable

This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...

Lire la suite
Techniques virales avancées

This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...

Lire la suite
Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of ...

Lire la suite
Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the Third International Conference on Theory and Applications of Models ...

Lire la suite
Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

Lire la suite
Total Books: 12/12