Course reserves for MODELOS DE COMPUTACIÓN

  1. Term: Asignatura actualizada 2020-2021
  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

    Ver Libros electrónicos recomendados

      

Title Author Item type Location Call number Status Date due Notes Link
Computers and intractability : a guide to the Theory of NP-Completeness / Michael R. Garey, David S. Johnson. 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 : An introduction to recursive function theory / Nigel Cutland Cutland, Nigel Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3/CUT/com Checked out 18/01/2021 Item URI
Computability, complexity and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker 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 : lenguajes formales, autómatas y complejidad / J. Glenn Brookshear 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 : de Leibniz a Turing / Martin Davis ; traducción de Ricardo García Pérez 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 / Juan Sancho de 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 Martin, John C.. Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3.06/MAR/int Available   Shelving location | Bibliomaps® Item URI
The theory of computability : programs, machines, effectiveness and feasibility / R. Sommerhalder, S.C. van. Westrhenen. 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 : from a programming perspective / Neil D. Jones. Jones, Neil D. Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3.06/JON/com Available   Shelving location | Bibliomaps® Item URI
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 : collected papers / Stephen Wolfram Wolfram, Stephen Manuales (7 días) 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3/WOL/cel Available   Shelving location | Bibliomaps®
An introduction to formal languages and automata / Peter Linz Linz, Peter Monografías 03. BIBLIOTECA INGENIERÍA PUERTO REAL
681.3/LIN/int Checked out 29/01/2021 Item URI

Powered by Koha