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