Imagen de Portada

Algorithm design : a recursion transformation framework /

Guardado en:

Autor Principal:	Paull, Marvin C.
Formato:	Libro
Idioma:	English
Publicado:	New York : Wiley, c1988.
Materias:	Recursion theory. Algorithms.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Computability, an introduction to recursive function theory /
por: Cutland, Nigel.
Publicado: (1980)

Fundamentals of algorithmics /
por: Brassard, Gilles, 1955-
Publicado: (1996)

The advent of the algorithm : the idea that rules the world /
por: Berlinski, David, 1942-
Publicado: (2000)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
por: Hermes, Hans.
Publicado: (1965)

Recursive functions /
por: Péter, Rózsa, 1905-1977.
Publicado: (1967)

Recursive functions /
por: Péter, Rózsa, 1905-
Publicado: (1967)

An introduction to the general theory of algorithms /
por: Machtey, Michael.
Publicado: (1978)

Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F., et al.
Publicado: (2005)

Corrección de algoritmos complejos : verificación formal /
por: Silva Ramírez, Esther Lydia.
Publicado: (2017)

Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Publicado: (2008)

Finitely axiomatizable theories /
por: Peretiatkin, M. G.
Publicado: (1997)

Recursive programming techniques /
por: Burge, William H.
Publicado: (1975)

Theory of recursive functions and effective computability /
por: Rogers, H. 1926-
Publicado: (1967)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
por: Hermes, Hans.
Publicado: (1961)

Verificación formal de algoritmos : ejercicios resueltos /
por: Silva Ramírez, Esther Lydia.
Publicado: (2018)

Topics in advanced scientific computation /
por: Crandall, Richard E., 1947-
Publicado: (1996)

Algoritmos y estructuras de datos /
por: Fritelli, Valerio,
Publicado: (2020)

Introduction to computability /
por: Hennie, Frederick C.
Publicado: (1977)

A recursive introduction to the theory of computation /
por: Smith, Carl H., 1950-
Publicado: (1994)

Finite model theory /
por: Ebbinghaus, Heinz-Dieter, 1939-
Publicado: (1995)

History and philosophy of constructive type theory /
por: Sommaruga, Giovanni.
Publicado: (2010)

Model theory /
por: Hodges, Wilfrid.
Publicado: (1993)

Formal systems and recursive functions : proceedings of the Eighth Logic Colloquium, Oxford, July 1963 /
Publicado: (1965)

The design and analysis of algorithms /
por: Kozen, Dexter, 1951-
Publicado: (1992)

Introduction to the design and analysis of algorithms /
por: Levitin, Anany.
Publicado: (2003)

Algoritmos y programación : mejores prácticas /
por: Ayala San Martín, Gerardo.
Publicado: (2020)

Computable models /
por: Turner, Raymond, 1947-
Publicado: (2009)

Applications of graph theory algorithms /
por: Chachra, Vinod.
Publicado: (1979)

Super-Recursive Algorithms
por: Burgin, Mark.
Publicado: (2005)

The algorithm design manual /
por: Skiena, Steven S.
Publicado: (1998)

Handbook of satisfiability /
Publicado: (2009)

Elementary induction on abstract structures /
por: Moschovakis, Yiannis N.
Publicado: (1974)

The design and analysis of computer algorithms /
por: Aho, Alfred V.
Publicado: (1974)

The design and analysis of computer algorithms /
por: Aho, Alfred V.
Publicado: (1974)

Fundamentos de matemáticas /
por: Zalamea Traba, Fernando, 1959-
Publicado: (2000)

Lectures on the Curry-Howard isomorphism /
por: Sørensen, Morten Heine.
Publicado: (2006)

Algorithmic number theory /
por: Bach, Eric.
Publicado: (1996)

Algorithms for minimization without derivatives /
por: Brent, R. P.
Publicado: (1972)

Algorithms, graphs, and computers /
por: Bellman, Richard Ernest, 1920-1984.
Publicado: (1970)

Graphs, networks, and algorithms /
por: Swamy, M. N. S.
Publicado: (1981)