Your search returned 9 results.

Not what you expected? Check for suggestions
1.
Stochastic approximation and recursive algorithms and applications Harold J. Kushner; G. George Yin

by Kushner, Harold J [VerfasserIn] | Yin, George [VerfasserIn].

Edition: 2. edMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New York, NY [u.a.] Springer 2003Online access: Inhaltsverzeichnis Inhaltsverzeichnis | Inhaltsverzeichnis | Zentralblatt MATH Inhaltstext Availability: Items available for loan: Library (1). Location(s): 519.
2.
Computations in higher types / Johan Moldestad.

by Moldestad, Johan, 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach.

by Conference on Set Theory and Hierarchy Theory (2nd : 1975 : Bierutowice, Poland) | Marek, Wiktor | Srebrny, Marian, 1947- | Zarach, Andrzej, 1948-.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1976Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Hierarchies of predicates of finite types / [electronic resource] by D.A. Clarke.

by Clarke, D. A. (Douglas Albert).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, R.I. : American Mathematical Society, 1964Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): .
5.
Formalized recursive functionals and formalized realizability / [electronic resource] by S.C. Kleene.

by Kleene, Stephen Cole, 1909-1994.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, R.I. : American Mathematical Society, 1969Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): .
6.
Minimal degrees of unsolvability and the full approximation construction / [electronic resource] Richard L. Epstein.

by Epstein, Richard L, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence : American Mathematical Society, 1975Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): .
7.
Recursive algorithms / Richard Lorentz.

by Lorentz, Richard.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Norwood, N.J. : Ablex Pub. Corp., ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Computability and logic.

by Boolos, George | Burgess, John P, 1948- | Jeffrey, Richard C.

Edition: 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Computability and logic.

by Boolos, George | Burgess, John P, 1948- | Jeffrey, Richard C.

Edition: 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha