Refine your search
Availability
-
Authors
- Bird, Richard
- Bovet, Daniel Pierre
- Brock, Bert de
- Clark, K.L.
- Clark, Keith L.
- Crescenzi, Pierluigi
- Findlay, William
- Gordon, Michael J.C.
- Hancock, Peter
- Hughes, John
- Jones, Cliff B.
- Martin, Johannes J.
- McCabe, Frank G.
- Morgan, Carroll
- Peyton Jones, Simon ...
- Tennent, R. D.
- Turner, David
- Van Emden, M.H.
- Wadler, Philip
- Watt, David A.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- BASES DE DATOS RELAC...
- COMPLEJIDAD COMPUTAC...
- DEFINICIONES FORMALE...
- DESARROLLO DE SOFTWA...
- DISEÑO DE BASES DE D...
- ESTRUCTURAS DE DATOS
- LENGUAJES DE PROGRAM...
- LENGUAJES FORMALES
- LENGUAJES FUNCIONALE...
- LÓGICA MATEMÁTICA
- MICRO-PROLOG
- MÉTODOS FORMALES
- PASCAL
- PROGRAMACIÓN FUNCION...
- PROGRAMACIÓN LÓGICA
- PROLOG
- SQL
- TEORÍA DE LA COMPUTA...
- TIPOS DE DATOS ABSTR...
- VDM
- Show more
- Show less