Electronic Books

Total Books: 1 - 20 /30

A Course on Mathematical Logic

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

Algoritmi : Lo spirito dell’informatica = Algorithms: The spirit of information technology

Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. ...

Computation Engineering

This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...

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

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

Computer Science – Theory and Applications : 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...

Computing and Combinatorics (vol. # 4112)

The papers are organized in topical sections on computational economics, finance, and management, graph algorithms, computational ...

Computing and Combinatorics : 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings

The refereed proceedings of the 14th Annual International Computing and Combinatorics Conference, COCOON 2008, held in Dalian, ...

Grammatical Picture Generation

The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...

Hypercomputation : Computing Beyond the Church-Turing Barrier

Hypercomputation is a relatively new theory of computation which treats computing methods and devices that transcend the ...

Interactive Computation

The interaction paradigm provides a new conceptualization of computational phenomena that emphasizes interaction rather than ...

Introduction to Modern Number Theory

"Introduction to Modern Number Theory" surveys from a unified point of view both the modern state and the trends of continuing ...

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...

Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...

Logical Approaches to Computational Barriers

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

Mathematical Problems from Applied Logic I

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

Mathematical Problems from Applied Logic I

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

Mathematical Problems from Applied Logic II

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

Total Books: 1 - 20 /30