Ordenar por: Autor | Título | Año |
| 62 | 3540172203 | Libro |
Rewriting techniques and applications proceedings [second international conference "RTA 87", held in] Bordeaux... / edited by Pierre Lescanne
Lescanne, Pierre
Berlin (etc.) : Springer-Verlag, 1987
|
Fondos |
|
| 63 | 0471914746 | Libro |
The spine of software : designing provably correct software, theory and practice or, a mathematical introduction to the semantics of computer programs / Robert Laurence Baber
Baber, Robert Laurence
Chichester (etc.) : John Wiley and Sons, 1987
|
Fondos |
|
| 64 | 981021829X | Libro |
String searching algorithms / Graham A. Stephen
Stephen, Graham A.
Singapore [etc.] : World Scientific, 1994
|
Fondos |
|
| 65 |
|
Libro |
Testing implications of data dependencies / David Maier, Alberto O. Mendelzon and Yehoshua Sagiv
Maier, David
New York : ACM Press, 1979
|
Fondos |
|
| 66 |
|
Libro |
The theory of joins in relational databases / A.V. Aho, C. Beeri and J.D. Ullman
Aho, Alfred V.
New York : ACM Press, 1979
|
Fondos |
|
| 67 | 9144237715 | Libro |
Towards transparent data bases : how to interpret and act on expressions mediated by computerized information systems / Gunhild Sandstrom
Sandström, Gunhild
Lund : Studentlitteratur [etc.], 1985
|
Fondos |
|
| 68 | 3540180001 | Libro |
Translating relational queries into iterative programs / Johann Christoph Freytag
Freytag, Johann Christoph
New York [etc.] : Springer Verlag, 1987
|
Fondos |
|
| 69 |
|
Libro |
Yet another note on minimal covers / Jyrki Nummenmaa, Peter Thanisch
Nummenmaa, Jyrki
[s.l.] : [s.n.], 1990
|
Fondos |
2013 Banco de España, Madrid, España. Reservados todos los derechos
Basado en Ex Libris (© 2009 Ex Libris)