Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
MATERIAS ESPAÑOL (1-20 de 20)
Funciones recursivas
1

Cubierta del libro
MAT. IMPRESO
1995
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Elect./Com.  EC-TELECOM    CONSULTAR DEPT  DISPONIBLE
2

 
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  ANT 1008    CONSULTA EN SALA  DISPONIBLE
3

Cubierta del libro
MAT. IMPRESO
1992
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  MAT COMP 17(1)    PRÉSTAMO LARGO  DISPONIBLE
 Ciencias.Matemáticas-Dpto. Matemáticas. Análisis Matemático  M-ANALISIS    CONSULTAR DEPT  DISPONIBLE
4

Cubierta del libro
MAT. IMPRESO
1997
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  MAT COMP 17(2)    PRÉSTAMO LARGO  DISPONIBLE
 B.Hypatia-Sala  MAT COMP 17(3)    PRÉSTAMO LARGO  DISPONIBLE
5

Cubierta del libro
Computability theory semantics and logic programming / Melvin Fitting
Fitting, Melvin
New York [etc.] : Oxford University Press [etc.].,

MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
6

 
Computation : Finite and infinite machines / Marvin Minsky
Minsky, Marvin, Lee
Englewood Cliff : Prentice Hall,

MAT. IMPRESO
1967
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Análisis Matemático  M-ANALISIS    CONSULTAR DEPT  DISPONIBLE
7

Cubierta del libro
Computations in higher types / Johan Moldestad
Moldestad, Johan
Berlin, [etc.] : Springer,

MAT. IMPRESO
1977
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
8

 
Einführung in die Theorie der berechenbaren Funktionen : nach einer dreistündigen Vorlesung / von
Rödding, Dieter
Münster i.W. : Westfälische Wilhelms-Universität, Institut für Mathematische Logik und Grundlagenforschung,

MAT. IMPRESO
1969
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 4/258    PRÉSTAMO LARGO  DISPONIBLE
9

 
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Análisis Matemático  M-ANALISIS    CONSULTAR DEPT  DISPONIBLE
10

Cubierta del libro
Fundamentals of generalized recursion theory / Melvin Fitting
Fitting, Melvin
Amsterdam, etc. : North-Holland,

MAT. IMPRESO
1981
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
11

Cubierta del libro
Una lógica trivalorada para funciones recursivas parciales / Antonio Gavilanes Franco
Gavilanes Franco, Antonio
madrid : Universidad Complutense,

MAT. IMPRESO
1990
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.General-Depósito  G 130 238    PRÉSTAMO LARGO  DISPONIBLE
12

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito  DEPOSITO 3211(1)    PRÉSTAMO LARGO  DISPONIBLE
13

Cubierta del libro
Récursivité / par Jean Pierre Azra et Bernard Jaulin
Azra, Jean Pierre
Paris [etc.] : Gauthier Villars,

MAT. IMPRESO
1973
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B. Econ. y Empr. Río Ebro-Depósito  Z-Dep 38    PRÉSTAMO LARGO  DISPONIBLE
14

Cubierta del libro
Robot dynamics algorithms / Roy Featherstone
Featherstone, Roy
Boston [etc.] : Kluwer Academic,

MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ROBO 72    CONSULTAR DEPT  DISPONIBLE
15

Cubierta del libro
Synthesis of digital designs from recursion equations / Steven D. Johnson
Johnson, Steven D.
Cambridge, Mass. ; London : MIT Press,

MAT. IMPRESO
1984
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-ITEO 21    CONSULTAR DEPT  DISPONIBLE
16

Cubierta del libro
Theory of computation / Walter S. Brainerd, Lawrence H. Landweber
Brainerd, Walter S.
New York [etc.] : John Wiley,

MAT. IMPRESO
1974
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-MATA 36    CONSULTAR DEPT  DISPONIBLE
17

 
Theory of formal systems / Raymond M.Smullyan
Smullyan, Raymond M.
Princeton,New Jersey : University Press,

MAT. IMPRESO
1961
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Métodos Estadísticos  ESTADISTICA    CONSULTAR DEPT  DISPONIBLE
 Ciencias.Matemáticas-Métodos Estadísticos  ESTADISTICA    CONSULTAR DEPT  DISPONIBLE
18

 
MAT. IMPRESO
1967
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Análisis Matemático  M-ANALISIS    CONSULTAR DEPT  DISPONIBLE
19

 
Transformation de programmes recursifs / G. Veillon
Veillon, G.
Grenoble : Université Scientifique et Médicale de Grenoble : Institut National Polytechnique de Grenoble,

MAT. IMPRESO
1975
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-TERE 1    CONSULTAR DEPT  DISPONIBLE
20

 
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Análisis Matemático  M-ANALISIS    CONSULTAR DEPT  DISPONIBLE
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados