Biblioteca UCA catalog › Course reserves for MODELOS DE COMPUTACIÓN

Course reserves for MODELOS DE COMPUTACIÓN

Term: Asignatura actualizada 2019-2020
Department: 03. BIBLIOTECA INGENIERÍA PUERTO REAL
Course number: 21714025
Section: GRADO EN INGENIERÍA INFORMÁTICA
Instructors:
- Antonio Jorge TOMEU HARDASMAL
Notes: Ver Ficha Asignatura

Search:

Title	Author	Item type	Location	Call number	Status	Date due	Link
Computers and intractability : Michael R. Garey, David S. Johnson. a guide to the Theory of NP-Completeness /	Garey, Michael R.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/GAR/com	Available Shelving location \| Bibliomaps^®		Item URI
Computability : Nigel Cutland An introduction to recursive function theory /	Cutland, Nigel	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/CUT/com	Checked out	16/09/2020 00:00	Item URI
Computability, complexity and languages : Martin D. Davis, Ron Sigal, Elaine J. Weyuker fundamentals of theoretical computer science /	Davis, Martin D.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/DAV/com	Available Shelving location \| Bibliomaps^®		Item URI
Teoría de la computación : J. Glenn Brookshear lenguajes formales, autómatas y complejidad /	Brookshear, J. Glenn	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/BRO/teo	Available Shelving location \| Bibliomaps^®		Item URI
La computadora universal : Martin Davis ; traducción de Ricardo García Pérez de Leibniz a Turing /	Davis, Martin	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/DAV/com	Available Shelving location \| Bibliomaps^®		Item URI
Handbook of theoretical computer science / edited by Jan van Leeuwen		Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/HAN	Available Shelving location \| Bibliomaps^®		Item URI
La nueva mente del emperador / Roger Penrose	Penrose, Roger	Monografías	06. BIBLIOTECA HUMANIDADES	Sótano-49/1-218	Available Shelving location \| Bibliomaps^®		Item URI
Lógica matemática y computabilidad / J. Sancho San Román	Sancho de San Román, Juan	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	510.6/SAN/log	Available Shelving location \| Bibliomaps^®		Item URI
Introduction to computer theory / Daniel I.A. Cohen.	Cohen, Daniel I. A.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/COH/int	Available Shelving location \| Bibliomaps^®		Item URI
Complexité et décidabilité / Patrick Dehornoy.	Dehornoy, Patrick.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	510.5/DEH/com	Available Shelving location \| Bibliomaps^®		Item URI
Introduction to formal languages / György E. Révész.	Révész, György E.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	519.6/REV/int	Available Shelving location \| Bibliomaps^®		Item URI
Algorithms and complexity / Herbert S. Wilf.	Wilf, Herbert S.,	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	510.5/WIL/alg	Available Shelving location \| Bibliomaps^®		Item URI
Elementary computability, formal languages, and automata / Robert McNaughton.	MacNaughton, Robert.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	519.6/MCN/ele	Available Shelving location \| Bibliomaps^®		Item URI
Introduction to languages and theory of computation / John C. Martin.ISBN:9780071289429	Martin, John C..	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/MAR/int	Available Shelving location \| Bibliomaps^®		Item URI
Theories of computational complexity Christian Calude.	Calude, Cristian,	Manuales (7 días)	14. INTERNET	Recurso electrónico	Available Shelving location \| Bibliomaps^®		Item URI
The theory of computability : R. Sommerhalder, S.C. van. Westrhenen. programs, machines, effectiveness and feasibility /	Sommerhalder, R..	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	519.6/SOM/the	Available Shelving location \| Bibliomaps^®		Item URI
Computability and complexity : Neil D. Jones. from a programming perspective /	Jones, Neil D.	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3.06/JON/com	Available Shelving location \| Bibliomaps^®		Item URI
An introduction to formal languages and automata Peter Linz.	Linz, Peter,	Fuera de préstamo	14. INTERNET	Recurso electrónico	Available Shelving location \| Bibliomaps^®		Record URL
New Computational Paradigms edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. Changing Conceptions of What is Computable /	Cooper, S. Barry.	Manuales (7 días)	14. INTERNET	Recurso electrónico	Available Shelving location \| Bibliomaps^®		Record URL
Think complexity Allen B. Downey ; [editors, Mike Loukides and Meghan Blanchette ; illustrator, Robert Romano]	Downey, Allen B.	Manuales (7 días)	14. INTERNET	Recurso electrónico	Available Shelving location \| Bibliomaps^®		Record URL
Elements of the theory of computation / Harry Lewis, Christos H. Papadimitriou	Lewis, Harry	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	519.713/LEW/ele	Available Shelving location \| Bibliomaps^®
Cellular automata and complexity : Stephen Wolfram collected papers /	Wolfram, Stephen	Manuales (7 días)	03. BIBLIOTECA INGENIERÍA PUERTO REAL	681.3/WOL/cel	Available Shelving location \| Bibliomaps^®
Algorithms and complexity Herbert S. Wilf.	Wilf, Herbert S.,	Manuales (7 días)	14. INTERNET	Recurso electrónico	Available Shelving location \| Bibliomaps^®		Record URL
Understanding computation Tom Stuart.	Stuart, Tom,	Manuales (7 días)	14. INTERNET	Recurso electrónico	Available Shelving location \| Bibliomaps^®		Record URL