Azala

Enumerability, decidability, computability: an introduction to the theory of recursive functions

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Hermes, Hans (Egilea)
Formatua:	Liburua
Hizkuntza:	ingelesa
Argitaratua:	Berlín Springer-Verlag 1969
Gaiak:	TEORIA DE LA RECURSION FUNCIONES RECURSIVAS ENUMERABILIDAD DETERMINABILIDAD COMPUTABILIDAD MAQUINAS DE TURING Algoritmos
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Computability and unsolvability
nork: Davis, Martin
Argitaratua: (1982)

Computations in higher types
nork: Moldestad, Johan
Argitaratua: (1977)

Recursive analysis
nork: Goodstein, Reuben Louis
Argitaratua: (1961)

Degrees of unsolvability: structure and theory
nork: Epstein, Richard L
Argitaratua: (1979)

A course in mathematical logic
nork: Manin, Yuri Ivanovich
Argitaratua: (1977)

Introducción a la teoría matemática de las computadoras y de la programación
nork: Trajtenbrot, B. A
Argitaratua: (1967)

Computability and unsolvability
nork: Davis, Martin
Argitaratua: (1958)

Logic, computers, and sets
nork: Wang, Hao
Argitaratua: (1970)

Mathematical Logic
nork: Monk, James Donald
Argitaratua: (1976)

Theory of computation
nork: Brainerd, Walter S, et al.
Argitaratua: (1974)

Combinatorial algorithms
nork: Hu, T. C
Argitaratua: (1982)

Introducáo a geometria computacional
nork: Figueiredo, Luiz Henrique de, et al.
Argitaratua: (1991)

Artificial intelligence for humans
nork: Heaton, Jeff
Argitaratua: (2013)

Analysis of neural networks
nork: Heiden, Uwe an der
Argitaratua: (1980)

Vigésimo Tercera Semana de la Matemática
Argitaratua: (1996)

The art of computer programming
nork: Knuth, Donald Ervin
Argitaratua: (1973)

Designing efficient algorithms for parallel computers
nork: Quinn, Michael J
Argitaratua: (1987)

Optimización. Algoritmos programados en MATLAB
nork: Cuevas Jiménez, Erik Valdemar
Argitaratua: (2016)

Especificación, derivación y análisis de algoritmos: ejercicios resueltos
nork: Martí Oliet, Narciso, et al.
Argitaratua: (2006)

Computers and intractability: A guide to the theory of NP-Completeness
nork: Garey, Michael R, et al.
Argitaratua: (1979)

Fundamentos de informática
nork: Virgós Bel, Ferran, et al.
Argitaratua: (2008)

Algoritmo de Boole
nork: Iommi Amunátegui, Godofredo Tomás
Argitaratua: (1988)

Algoritmo de Weyl
nork: Iommi Amunátegui, Godofredo Tomás
Argitaratua: (1987)

Multi-objective optimization using evolutionary algorithms
nork: Deb, Kalyanmoy
Argitaratua: (2001)

Applied numerical methods
nork: Carnahan, Brice, et al.
Argitaratua: (1969)

The algebraic eigenvalue problem
nork: Wilkinson, J. H
Argitaratua: (1965)

Elements of numerical analysis
nork: Henrici, Peter
Argitaratua: (1964)

Algoritmos de pontos interiores para programacáo linear
nork: Gonzaga, Clovis C
Argitaratua: (1989)

Evolutionary Algorithms for Solving Multi-Objective Problems
nork: Coello Coello, Carlos A, et al.
Argitaratua: (2007)

Mathématique élémentaire d'un point de vue algorithmique
nork: Engel, Arthur
Argitaratua: (1979)

Modern heuristic optimization techniques. Theory and applications to power systems
Argitaratua: (2008)

Conjugate gradient algorithms and finite element methods
nork: Krizek, M, et al.
Argitaratua: (2004)

Graphical enumeration
nork: Harary, Frank, et al.
Argitaratua: (1973)

Aspectos teóricos da computacao
nork: Lucchesi, Claudio L., et al.
Argitaratua: (1979)

Neural networks: algorithms, applications, and programming techniques
nork: Freeman, James A, et al.
Argitaratua: (1991)

Algorithmic graph theory and perfect graphs
nork: Golumbic, Martin Charles
Argitaratua: (1980)

Estructuras de datos
nork: Cairó Battistutti, Osvaldo, et al.
Argitaratua: (1993)

Qualitative theory of planar differential systems: with 123 figures and 10 tables
nork: Dumortier, Freddy, et al.
Argitaratua: (2006)

Linear programs and related problems
nork: Nering, Evar D., et al.
Argitaratua: (1990)

Cukoo search and firefly algorithm: theory and applications
nork: Yang, Xin-She
Argitaratua: (2014)