 |
| Catálogo de la Biblioteca |
Por favor seleccione primero los registros.
|
| Catálogo de la Biblioteca |
Por favor seleccione primero los registros.
Ordenar por: Autor | Título | Año |
| 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 |
|
| 26 | 0070267510 | Libro |
Computer graphics : a programming approach / Steven Harrington
Harrington, Steven
New York [etc.] : Macgraw-Hill Book, 1983
|
Fondos |
|
| 27 | 9681668359 | Libro |
El orden oculto : de cómo la adaptación crea la complejidad / John H. Holland.
Holland, John H.
México : Fondo de Cultura Económica, 2004.
|
Fondos |
|
| 28 | 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 |
|
| 29 | 0133459845 | Libro |
Fuzzy sets, uncertainty, and information / George J. Klir and Tina A. Folger
Klir, George J.
Englewood Cliffs, New Jersey : Prentice Hall, 1988
|
Fondos |
|
| 30 | 8429126627 | Libro |
El arte de programar ordenadores / Donald E. Knuth
Knuth, Donald E.
Barcelona (etc.) : Reverte, 1986
|
Fondos |
|
| 31 |
|
Libro |
The art of computer programming / Donald E. Knuth
Knuth, Donald E.
Reading, Mass. [etc.] : Addison-Wesley, 1969
|
Fondos |
|
| 32 |
|
Libro |
The art of computer programming / Donald E. Knuth
Knuth, Donald E.
Reading, Mass. [etc.] : Addison-Wesley, 1969
|
Fondos |
2013 Banco de España, Madrid, España. Reservados todos los derechos
Basado en Ex Libris (© 2009 Ex Libris)