Course reserves for MODELOS DE COMPUTACIÓN

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

      

Title Author Item type Location Call number Status Date due Notes 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

Powered by Koha