An introduction to the general theory of algorithms /

An introduction to the general theory of algorithms /

57

Bibliographic Details
Main Authors:	450394 Machtey, Michael, Paul, Young
Format:
Published:	New York : Elsevier North-Holland, 1978
Subjects:	Programming languages (Electronic computers) Algorithms Recursive functions

Similar Items

Generalized recursion theory
Published: (1974)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: 430372 Hermes, Hans
Published: (1969)

Computability
by: 8545 Open University. Computing and Computers Course Team
Published: (1973)

Introduction to computability /
by: 430261 Hennie, Frederick C.
Published: (1977)

Computability : an introduction to recursive function theory /
by: 367112 Cutland, Nigel
Published: (1980)

Stochastic approximation and recursive algorithms and applications /
by: 272176 Kushner, Harold J., et al.
Published: (2003)

Identification of processes using fast algorithm for recursive least square/
by: 434783 Chia, Tuck Meng
Published: (1991)

Theory of recursive functions and effective computability /
by: 430645 Rogers, Hartley
Published: (1967)

Algorithm design : a recursion transformation framework /
by: 258995 Paull, Marvin C.
Published: (c198)

Introduction to the theory of computation /
by: 460476 Engeler, Erwin
Published: (1973)

Compiler-based prefetching algorithm for recuresive data structure /
by: 236228 Nurulhaini Anuar
Published: (2007)

Compiler-based prefetching algorithm for recuresive data structure [electronic resource] /
by: 236228 Nurulhaini Anuar
Published: (2007)

Generalized recursion theory II /
by: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), et al.
Published: (1978)

Identification of non-linear dynamic systems using fuzzy system with constrained membership functions /
by: 487986 Mohd. Shafiek Yaacob
Published: (2004)

Recursiveness /
by: 430157 Eilenberg, Samuel
Published: (1970)

Computations in higher types /
by: 430417 Moldestad, Johan
Published: (1977)

Recursive functions /
by: 430594 Peter, Rozsa
Published: (1967)

Degrees of unsolvability /
by: 430728 Sacks, Gerald E.
Published: (1966)

Computability and unsolvability /
by: 429964 Davis, Martin
Published: (1958)

Computability theory : an introduction to recursion theory /
by: 461543 Enderton, Herbert B.
Published: (c201)

Computability with pascal /
by: 248310 Mallozzi, John S., et al.
Published: (1984)

Verification of Programs with Mutual Recursion in the Pifagor Language
by: Mariya S. Ushakov, et al.
Published: (2018-08-01)

E-recursively enumerable degrees
by: Griffor, Edward R.
Published: (2005)

Theory of program structures : schemes, semantics, verification /
by: 396294 Greibach, Sheila, 1939-
Published: (1975)

Robot dynamics algorithms/
by: 208907 Featherstone, Roy
Published: (1987)

Algorithms : a functional programming approach/
by: 397369 Rabhi, Fethi, et al.
Published: (1999)

Recursive macroeconomic theory /
by: Ljungqvist, Lars, et al.
Published: (2012)

On а Recursive-Parallel Algorithm for Solving the Knapsack Problem
by: Vladimir V. Vasilchikov
Published: (2018-04-01)

Programming and algorithms : an introduction /
by: 260751 Guttmann, Anthony J.
Published: (1977)

Stable recursions : with applications to the numerical solution to stiff systems /
by: 239720 Cash, J. R.
Published: (1979)

Turing machines and functions [filem]
Published: (1973)

Constructive order types /
by: 436319 Crossley, John N.
Published: (1969)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
by: 308908 Kleene, Stephen Cole
Published: (1965)

An improved recursive instrumental variable parameter estimator for closed-loop system identification /
by: Ahmad Nor Alifa A. Razap, 1984-, et al.
Published: (2011)

An improved recursive instrumental estimator for closed-loop system identification [electronic resource] /
by: Ahmad Nor Alifa A. Razap, 1984-
Published: (2011)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
by: 429964 Davis, Martin
Published: (1965)

Turing machines and functions [kasetvideo]
Published: (1973)

How to think about algorithms /
by: Edmonds, Jeff, 1963-
Published: (2008)

Parallel Algorithm for Solving the Graph Isomorphism Problem
by: Vladimir Vasilyevich Vasilchikov
Published: (2020-03-01)

On the Optimization and Parallelizing Little Algorithm for Solving the Traveling Salesman Problem
by: V. V. Vasilchikov
Published: (2016-08-01)