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