Advanced Functional Programming
This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...
Lire la suite
Algorithms and Programming : Problems and Solutions
This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered ...
Lire la suite
Central European Functional Programming School
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Lire la suite
Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
