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