 |
| Catálogo de la Biblioteca |
|
| Catálogo de la Biblioteca |
Ordenar por: Autor | Título | Año |
| 1 | 052141413X | Libro |
Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 / edited by Peter Aczel and Stanley S. Wainer
Aczel, Peter
Cambridge : Cambridge University Press, 1992
|
Fondos |
|
| 2 | 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 |
|
| 3 |
|
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 |
|
| 4 | 0471930598 | Libro |
Modelling with generalized stochastic Petri nets / M. Ajmone Marsan ... (et al.)
Ajmone Marsan, Martino
Chichester (etc.) : John Wiley and Sons, 1995
|
Fondos |
|
| 5 |
|
Libro |
Cómo el ordenador debe trabajar para la dirección : curso de instrucción programada / [Vincent V. Amato].
Amato, Vincent V.
[Madrid] : Asociación para el Progreso de la Dirección, 1971.
|
Fondos |
|
| 6 | 0948825960 | Libro |
Business systems and information technology / Ron Anderson
Anderson, Ron
London : Paradigm, 1988
|
Fondos |
|
| 7 |
|
Libro |
A note on minimal covers / by John Atkins
Atkins, John
[s.l.] : [s.n.], 1988
|
Fondos |
|
| 8 | 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 |
|
| 9 |
|
Libro |
Algorithms for RPN calculators / John A. Ball.
Ball, John A. (1935- )
New York : John Wiley & Sons, 1978.
|
Fondos |
|
| 10 | 8431103949 | Libro |
Las Redes de Petri : teoría y práctica / por G.W. Brams
Brams, G.W.
Paris [etc.] : Masson, 1986
|
Fondos |
|
| 11 | 8431103930 | Libro |
Las Redes de Petri : teoría y práctica / por G.W. Brams
Brams, G.W.
Paris [etc.] : Masson, 1986
|
Fondos |
|
| 12 | 8431105313 | Libro |
Algorítmica : concepción y análisis
Brassard, Gilles
Barcelona : Masson, 1990
|
Fondos |
|
| 13 | 0444880453 | Libro |
The computer and the brain : perspectives on human and artificial intelligence / edited by Jean R. Brink, C. Roland Haden.
Brink, Jean R.
Amsterdam : North-Holland, 1989.
|
Fondos |
|
| 14 | 3540181709 | Libro |
Computation theory and logic / Egon Borger (ed.)
Börger, Egon
Berlin (etc.) : Springer-Verlag, 1987
|
Fondos |
|
| 15 | 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 |
|
| 16 | 978-0-00-754799-9 | Libro |
Algorithms to live by : the computer science of human decisions / Brian Christian, Tom Griffiths.
Christian, Brian
London : William Collins, 2017.
|
Fondos |
|
| 17 | 9788416511198 | Libro |
Algoritmos para la vida cotidiana : la ciencia de la informática aplicada a las decisiones humanas / Brian Christian, Tom Griffiths.
Christian, Brian
[Zaragoza] : TEELL, 2017.
|
Fondos |
|
| 18 | 2040198784 | Libro |
Merise et le cahier des charges / Alain Collongues, Bernard Laroche
Collongues, Alain
Paris : Dunod, 1991
|
Fondos |
|
| 19 |
|
Artículo |
Kolmogrov’s contributions to information theory and algorithmic complexity / Thomas M. Cover, Peter Gacs and Robert M. Gray
Cover, Thomas M.
En: Annals of probability [Artículos], v. 17, n. 3, july 1989; pp. 840-865
|
|
|
| 20 | 0134339959 | Libro |
How tosolve it by computer / by R.G. Dromey
Dromey, R.G.
Englewood Cliffs, New Jersey [etc.] : Prentice-Hall International, 1982
|
Fondos |
|
| 21 |
|
Libro |
Lógica matemática / José Ferrater Mora y Hugues Leblanc.
Ferrater Mora, José (1912-1991)
México : Fondo de Cultura Económica, 1967.
|
Fondos |
|
| 22 | 3540180001 | Libro |
Translating relational queries into iterative programs / Johann Christoph Freytag
Freytag, Johann Christoph
New York [etc.] : Springer Verlag, 1987
|
Fondos |
|
| 23 |
|
Libro |
El Libro de los cerebros electrónicos : introducción a la cibernética / Walter R. Fuchs ; prólogo por Jehoshua Bar-Hillel ; [traducido del alemán por Federico Valero Cuni].
Fuchs, Walter Robert (1937-1976)
Barcelona : Omega, 1969.
|
Fondos |
|
| 24 | 9788480047876 | Libro |
Algoritmos para el tratamiento de fenómenos económicos complejos : bases, desarrollos y aplicaciones. / Jaime Gil Aluja, Ana Mª Gil Lafuente.
Gil Aluja, Jaime
Madrid : Centro de Estudios Ramón Areces, 2007.
|
Fondos |
|
| 25 | 8486299020 | Libro |
Gestión de desarrollo de sistemas / Editado por James Hannan
Hannan, James
Madrid : Arcadia, 1984
|
Fondos |
2013 Banco de España, Madrid, España. Reservados todos los derechos
Basado en Ex Libris (© 2009 Ex Libris)