 |
| Catálogo de la Biblioteca |
|
| Catálogo de la Biblioteca |
Ordenar por: Autor | Título | Año |
| 33 |
|
Artículo |
Alogic programming approach to revealed preference theory / Kuan-Pin Lin and Stan Perry
Lin, Kuan-Pin
En: Computer science in economics and management [Artículos], v. 1, n. 2, 1988 ; pp. 97-112
|
|
|
| 34 | 3540180001 | Libro |
Translating relational queries into iterative programs / Johann Christoph Freytag
Freytag, Johann Christoph
New York [etc.] : Springer Verlag, 1987
|
Fondos |
|
| 35 | 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 |
|
| 36 | 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 |
|
| 37 | 0881751286 | Libro |
Current advances in distributed computing and communications / edited by Yechiam Yemini
Yemini, Yechiam
Rockville, Maryland : Computer Science Press, 1987
|
Fondos |
|
| 38 | 3540182535 | Libro |
A connotational theory of program structure / James S. Royer
Royer, James S.
Berlin (etc.) : Springer-Verlag, 1987
|
Fondos |
|
| 39 | 3540181709 | Libro |
Computation theory and logic / Egon Borger (ed.)
Börger, Egon
Berlin (etc.) : Springer-Verlag, 1987
|
Fondos |
|
| 40 | 3540137211 | Libro |
Computability / Klaus Weihrauch
Weihrauch, Klaus
Berlin (etc.) : Springer-Verlag, 1987
|
Fondos |
|
| 41 | 8431103949 | Libro |
Las Redes de Petri : teoría y práctica / por G.W. Brams
Brams, G.W.
Paris [etc.] : Masson, 1986
|
Fondos |
|
| 42 | 8431103930 | Libro |
Las Redes de Petri : teoría y práctica / por G.W. Brams
Brams, G.W.
Paris [etc.] : Masson, 1986
|
Fondos |
|
| 43 | 0124975453 | Libro |
Principles of information systems analysis and design / Harlan D. Mills, Richard C. Linger, Alan R. Hevner
Mills, Harlan D.
Orlando [etc.] : Academic Press, 1986
|
Fondos |
|
| 44 | 8486251435 | Libro |
Lógica, programación e inteligencia artificial / Robert Kowalski
Kowalski, Robert
Madrid : Díaz de Santos, 1986
|
Fondos |
|
| 45 | 8429126627 | Libro |
El arte de programar ordenadores / Donald E. Knuth
Knuth, Donald E.
Barcelona (etc.) : Reverte, 1986
|
Fondos |
|
| 46 | 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 |
|
| 47 | 8486299020 | Libro |
Gestión de desarrollo de sistemas / Editado por James Hannan
Hannan, James
Madrid : Arcadia, 1984
|
Fondos |
|
| 48 | 8421901729 | Libro |
Algoritmos + estructuras de datos = programas / Niklaus Wirth
Wirth, Niklaus
Madrid : Ediciones del Castillo, 1984
|
Fondos |
|
| 49 | 3540965572 | Libro |
The knowledge frontier : essays in the representation of knowledge / edited by Nick Cercone, Gordon MacCallad
Cercone, Nick
New York [etc.] : Springer Verlag, 1983
|
Fondos |
|
| 50 | 0132155095 | Libro |
Discrete optimization algorithms : with Pascal programs / Maciej M. Syslo, Narsingh Deo, Janusz S. Kowalik
Syslo, Maciej M.
Englewood Cliffs, New Jersey : Prentice Hall, 1983
|
Fondos |
|
| 51 | 0201000237 | Libro |
Data structures and algorithms / Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
Aho, Alfred V.
Reading, Mass. [etc.] : Addison-Wesley, 1983
|
Fondos |
|
| 52 | 0070267510 | Libro |
Computer graphics : a programming approach / Steven Harrington
Harrington, Steven
New York [etc.] : Macgraw-Hill Book, 1983
|
Fondos |
|
| 53 | 3540125671 | Libro |
Adequate modeling of systems : proceedings of the International Working Conference on Model Realism, held in Bad Honnef, Federal Republic of Germany, April 20-23, 1982 / organized by Gesellschaft fèur Mathematik und Datenverarbeitung, mbH, Bonn ; co-sponsored by International Federation for Sys
International Working Conference on Model Realism (1982. Bad Honnef, Alemania)
Berlin : Springer-Verlag, 1983.
|
Fondos |
|
| 54 | 0134339959 | Libro |
How tosolve it by computer / by R.G. Dromey
Dromey, R.G.
Englewood Cliffs, New Jersey [etc.] : Prentice-Hall International, 1982
|
Fondos |
|
| 55 | 0853121567 | Libro |
Dynamic regression : theory and algorithms / M. H. Pesaran and L. J. Slater.
Pesaran, M. Hashem
Chichester : Ellis Horwood, 1980.
|
Fondos |
|
| 56 |
|
Libro |
Detrás de la {3FN}-{BCNF} / Felix Saltor i Soler
Saltor i Soler, Félix
[s.l.] : [s.n.], 1980
|
Fondos |
|
| 57 |
|
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 |
2013 Banco de España, Madrid, España. Reservados todos los derechos
Basado en Ex Libris (© 2009 Ex Libris)