Adaptive IIR filtering in signal processing and control /

Yazar: Regalia, Phillip A., 1962-
Baskı/Yayın Bilgisi 1995

Algorithms and recursive functions /

Yazar: Maltsev, A. I. (Anatolii Ivanovich), 1909-1967
Baskı/Yayın Bilgisi 1970

The calculi of lambda-conversion /

Yazar: Church, Alonzo, 1903-
Baskı/Yayın Bilgisi 1941

The calculi of Lambda-conversion /

Yazar: Alonzo Church
Baskı/Yayın Bilgisi 1941

Computability /

Yazar: Weihrauch, K. (Klaus)
Baskı/Yayın Bilgisi 1987

Computability : an introduction to recursive function theory /

Yazar: Cutland, Nigel
Baskı/Yayın Bilgisi 1980

Computability and logic /

Yazar: Boolos, George
Baskı/Yayın Bilgisi 1980

Computability and logic /

Yazar: Boolos, George
Baskı/Yayın Bilgisi 1974

Computability theory: an introduction /

Yazar: Jones, Neil D.
Baskı/Yayın Bilgisi 1973

Computability & unsolvability.

Yazar: Davis, Martin, 1928-
Baskı/Yayın Bilgisi 1958

Computations in higher types.

Yazar: Moldestad, Johan, 1946-
Baskı/Yayın Bilgisi 1977

Degrees of Unsolvability /

Yazar: Shoenfield, Joseph R. (Joseph Robert), 1927-
Baskı/Yayın Bilgisi 1972

Formal systems and recursive functions : proceedings /

Baskı/Yayın Bilgisi 1965

The foundations of intuitionistic mathematics : especially in relation to recursive functions /

Yazar: Kleene, Stephen Cole, 1909-
Baskı/Yayın Bilgisi 1965

Introduction to computability /

Yazar: Hennie, Frederick C. (Frederick Clair)
Baskı/Yayın Bilgisi 1977

Introduction to the theory of computation.

Yazar: Engeler, Erwin
Baskı/Yayın Bilgisi 1973

Minimal degree of unsolvability and the full approximation construction.

Yazar: Epstein, Richard L., 1947-
Baskı/Yayın Bilgisi 1975

Recursive algorithms /

Yazar: Lorentz, Richard
Baskı/Yayın Bilgisi 1994

Recursive function theory and logic.

Yazar: Yasuhara, Ann
Baskı/Yayın Bilgisi 1971

Recursive functions /

Yazar: Peter, Rozsa, 1905-
Baskı/Yayın Bilgisi 1967