Loading…

QR Code

Recursive functions in computer theory / by R. Peter.

Saved in:

Bibliographic Details
Main Author:	Peter, R.
Format:	Book
Language:	English
Published:	Ellis Horwood, 1981
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Recursive functions / [translated by István Földes].
by: Peter, Rózsa
Published: (1967)

Recursion theory / Joseph R. Shoenfield.
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (2001)

Recursion on the countable functionals Dag Normann.
by: Normann, Dag, 1947-
Published: (1980)

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

Enumerability, decidability, computability : an introduction to the theory of recursive functions ; translated [from the German] by G.T. Hermann and O. Plassman.
by: Hermes, Hans
Published: (1969)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Techniques of admissible recursion theory C.T. Chong.
by: Chong, C.-T (Chi-Tat), 1949-
Published: (1984)

Thinking recursively / Eric Roberts.
by: Roberts, Eric, 19---
Published: (1986)

Recursive simulation of quantum annealing
by: A.P. Sowa, et al.
Published: (2015)

Theory and practice of recursive identification / Lennart Ljung, Torsten Söderström.
by: Ljung, Lennart
Published: (1983)

Recursive macroeconomic theory / Lars Ljungqvist, Thomas J. Sargent.
by: Ljungqvist, Lars
Published: (2004)

Recursive segmentation for as-is bridge information modelling
by: Ruodan Lu, et al.
Published: (2017)

Recursive filter with partial knowledge on inputs and outputs
by: Jinya Su, et al.
Published: (2015)

Model predictive control with preview: recursive feasibility and stability
by: Xing Fang, et al.
Published: (2022)

The recursive decoupling method for solving tridiagonal linear systems
by: Giulia Spaletta
Published: (1991)

Motion compensation for image compression: pel-recursive motion estimation algorithm
by: Hamid R. Reza-Alikhani
Published: (2002)

B-spline surfaces over an irregular topology by recursive subdivision
by: David J. Storry
Published: (1984)

Capital theory, equilibrium analysis and recursive utility / Robert A. Becker and John H. Boyd.
by: Becker, Robert A., 1943-
Published: (1997)

Projecting Russia in a mediatized world recursive nationhood / Stephen Hutchings.
by: Hutchings, Stephen C.
Published: (2022)

Nonlinear recursive estimation with estimability analysis for physical and semiphysical engine model parameters
by: Ioannis Souflas, et al.
Published: (2015)

A recursive construction of joint eigenfunctions for the hyperbolic nonrelativistic Calogero-Moser Hamiltonians
by: Martin Hallnas, et al.
Published: (2015)

Boolean functions and computation models / Peter Clote, Evangelos Kranakis.
by: Clote, Peter
Published: (2002)

Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F.R. Drake and S.S. Wainer.
Published: (1980)

Nonsmooth adaptive control for uncertain nonlinear systems: a non-recursive design approach
by: Chuanlin Zhang, et al.
Published: (2021)

Non-linear recursive parameter estimation applied to fault detection and diagnosis in real buildings
by: Richard Buswell, et al.
Published: (2002)

Computing the zeros of analytic functions / Peter Kravanja, Marc Van Barel.
by: Kravanja, Peter 1971-
Published: (2000)

Computing the zeros of analytic functions Peter Kravanj, Marc Van Barel.
by: Kravanja, Peter 1971-
Published: (2000)

Approximate Gaussian conjugacy: parametric recursive filtering under nonlinearity, multimodality, uncertainty, and constraint, and beyond
by: Tiancheng Li, et al.
Published: (2017)

Recursive estimation of average vehicle time headway using single inductive loop detector data
by: Baibing Li
Published: (2012)

A Lyapunov-based approach for recursive continuous higher order nonsingular terminal sliding-mode control
by: Jun Yang, et al.
Published: (2020)

Functional semantics : a theory of meaning, structure, and tense in English / by Peter Harder.
by: Harder, Peter
Published: (1996)

Recursive methods in economic dynamics / Nancy L. Stokey and Robert E. Lucas, Jr., with Edward C. Prescott.
by: Stokey, Nancy L.
Published: (1989)

Functional analysis : theory and applications / by R.E. Edwards.
by: Edwards, R. E.
Published: (1965)

Solutions manual for Recursive methods in economic dynamics / Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L.J. Wright.
by: Irigoyen, Claudio
Published: (2002)

On the recursive estimation of vehicular speed using data from a single inductance loop detector: a Bayesian approach
by: Baibing Li
Published: (2009)

Functional analysis / Peter D. Lax.
by: Lax, Peter D.
Published: (2002)

Construction of global Lyapunov functions using radial basis functions by Peter Giesl.
by: Giesl, Peter
Published: (2007)

Univalent functions / Peter L. Duren.
by: Duren, Peter L., 1935-
Published: (1983)