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

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

Lee mas
A Course on Mathematical Logic

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

Lee mas
Advanced Functional Programming

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

Lee mas
Algorithms and Programming : Problems and Solutions

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

Lee mas
Central European Functional Programming School

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

Lee mas
Discrete Mathematics Using a Computer

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

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

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

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

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

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

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

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

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

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

Lee mas
Total Books: 1 - 16 /16