Su búsqueda obtuvo 14 resultados.

Ordenar
Resultados
The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

por Sterling, Leon | Shapiro, Ehud.

Series MIT Press series in logic programmingEdición: 6th. print.Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : The Mit Press, 1988Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4)Ubicación, signatura topográfica: 681.3.06PRO/STE/art, ...

Digital mantras : the languages of abstrac and virtual worlds / Steven R. Holtzman

por Holtzman, Steven R.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Massachusetts : The MIT Press, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/HOL/dig.

Deep learning / Ian Goodfellow, Yoshua Bengio, and Aaron Courville

por Goodfellow, Ian | Bengio, Yoshua [coautor] | Courville, Aaron [coautor].

Series Adaptative and computation and machine learningTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : The MIT Press, 2016Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 159.953/GOO/dee. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Liberating voices : a pattern language for communication revolution / Douglas Schuler

por Schuler, Douglas.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Massachusetts : The MIT Press, 2008Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 316.77/SCH/lib, ...

The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

por Sterling, Leon | Shapiro, Ehud.

Series MIT Press series in logic programmingTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : The Mit Press, 1986Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06/STE/art.

Warren's abstract machine : a tutorial reconstruction / Hassan Ait-Kaci

por Ait-Kaci, Hassan.

Series Logic programmingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: London : The MIT Press, 1991Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.3.06PRO/AIT/war, ...

Spikes : exploring the neural code / Fred Rieke ... [et al.]

por Rieke, Fred.

Series Computational neuroscienceTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge : The MIT Press, 1999Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 19.611/D. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Natural language processing / edited by Fernando C.N. Pereira and Barbara J. Grosz

por Pereira, Fernando N.C [editor literario] | Grosz, Barbara J [editor literario].

Series Special Issues of Artificial Intelligence: An International JournalTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge, MA : The MIT Press, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/NAT.

Knowledge Machines : Digital Transformations of the Sciences and Humanities / Eric T. Meyer, Ralph Schroeder

por Meyer, ERic T | Schroeder, Ralph [coautor].

Series Infraestructures Detalles de publicación: Cambridge, MA The Mit Press 2015Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/MEY/kno.

Principles of operating systems / Sacha Krakowiak

por Krakowiak, Sacha.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge [etc.] : The Mit Press, 1989Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.066/KRA/pri. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Scheme and the art of programming / George Springer, Daniel P. Friedman

por Springer, George | Friedman, Daniel P.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge, Massachusetts[etc.] : The Mit Press, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3.06SCH/SPR/sch.

Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman with Julie Sussman, foreword by Alan J. Perlis

por Abelson, Harold | Sussman, Gerald Jay | Sussman, Julie.

Series The MIT Electrical Engineering and Computer Science SeriesTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge [etc.] : The MIT Press, cop. 1985Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1).

Turtle Geometry : the computer as a medium for explanig mathematics / Harold Abelson ; Andrea A. diSessa.

por Abelson, Harold | DiSessa, A.

Edición: [6th print.]Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge : The MIT Press in artificial intelligence, 1984Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 51/ABE/tur.

Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes, foreword by Harold Abelson

por Friedman, Daniel P | Wand, Mitchell | Haynes, Christopher T.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Cambridge,Massachusetts[etc.] : New York[etc.] : The MIT Press; McGraw-Hill, cop.1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/FRI/ess.

Páginas

Con tecnología Koha