Refine your search
Availability
-
Authors
- Bird, R. J.
- Blume, Matthias
- Budd, Timothy
- Eijck, J. van
- Garrigue, Jacques
- Gordon, Andrew D.
- Hagiya, Masami
- Horvath, Zoltan
- Koopman, Pieter
- Mohamad Ghozali Hass...
- Muller, Henk
- Nor Hazlyna Harun
- Plasmeijer, Rinus
- Schmid, Ute
- Swierstra, Doaitse
- Unger, Christina
- Uustalu, Tarmo
- Vene, Varmo
- Vidal, German
- Wadler, Philip
- Show more
- Show less
-
Home libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algorithm Analysis a...
- Artificial Intellige...
- Computer Science
- Computer science
- Data structures (Com...
- Functional programmi...
- Haskell (Computer pr...
- Lambda calculus
- Leda (Computer progr...
- Logic programming
- Logics and Meanings ...
- Mathematical Logic a...
- Multiparadigm progra...
- Object-oriented prog...
- Programming Language...
- Programming Techniqu...
- Software Engineering
- Theory of Computatio...
- Show more
- Show less
-
Titles
