Electronic Books

Total Books: 1 - 16 /16

A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

A Concise Introduction to Mathematical Logic

This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...

A Course on Mathematical Logic

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

Advanced Functional Programming

This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...

Algorithms and Programming : Problems and Solutions

This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered ...

Central European Functional Programming School

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...

Discrete Mathematics Using a Computer

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

Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...

Integrable Hamiltonian Hierarchies : Spectral and Geometric Methods

This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all ...

Java : how to program. Late objects : introducing JShell / Harvey M. Deitel; Paul J. Deitel

Introduction to Computers, the Internet and Java / Introduction to Java Applications; Input/Output and Operators / Control ...

Java Challenges 100+ : Proven Tasks that Will Prepare You for Anything / Michael Inden

Expand your knowledge of Java with this entertaining learning guide, which features 100+ exercises and programming challenges. ...

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

Notes on Set Theory

This is introduction to axiomatic set theory, viewed both as a foundation of mathematics and as a branch of mathematics with ...

Notes on Set Theory

This is introduction to axiomatic set theory, viewed both as a foundation of mathematics and as a branch of mathematics with ...

Python Challenges : 100 Proven Programming Tasks Designed to Prepare You for Anything / Michael Inden

Augment your knowledge of Python with this entertaining learning guide, which features 100 exercises and programming puzzles ...

Theoretical Introduction to Programming

Is there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...

Total Books: 1 - 16 /16