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
|