Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-28 of 28)
Recursive functions.
3
Book
1981

Community and nation : essays on Southeast Asia and the Chinese


Wang, Gungwu.

Sydney : Published for the Asian Studies Association of Australia by Heinemann Educational Books (Asia) Ltd. and George Allen & Unwin, 1981

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  959.004951 WAN-C  AVAILABLE
4
Book
1989

Computability and logic


Boolos, George.
Third edition
Cambridge ; New York : Cambridge University Press, 1989

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Boo 1989  AVAILABLE
5
E-book
2002

Computability and logic


Boolos, George.
4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey


Rating:

 
6
E-book
2007

Computability and logic


Boolos, George.
5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey


Rating:

 
7
Book
1958

Computability & unsolvability


Davis, Martin, 1928-

New York : McGraw-Hill, 1958

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  511.3 Dav  AVAILABLE
8
E-book
 

Degrees of unsolvability


Gerald E. Sacks
Second edition


Rating:

 
10
E-book
1969

Formalized recursive functionals and formalized realizability


Kleene, Stephen Cole, 1909-1994, author.

Providence : American Mathematical Society, 1969

Rating:

 
11
E-book
1964

Hierarchies of predicates of finite types


Clarke, D. A. (Douglas Albert)



Rating:

 
13
E-book
2022

Multigrammatical framework for knowledge-based digital economy


Sheremet, I. A., 1956- author.

Cham, Switzerland : Springer, 2022

Rating:

 
14
E-book
2014

Recursive identification and parameter estimation


Chen, Hanfu, author.

Boca Raton, FL : CRC Press/Taylor and Francis Group, [2014]

Rating:

 
15
E-book
2004

Recursive macroeconomic theory


Ljungqvist, Lars
2nd ed


Rating:

 
16
Book
2012

Recursive macroeconomic theory


Ljungqvist, Lars
3rd ed


Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  339.0151135 Lju/Rmt 2012  AVAILABLE
 MELB  339.0151135 Lju/Rmt 2012  AVAILABLE
17
E-book
2012

Recursive macroeconomic theory


Ljungqvist, Lars
3rd ed


Rating:

 
18
Book
2018

Recursive macroeconomic theory


Ljungqvist, Lars, author
Fourth edition
Cambridge, Massachusets : MIT Press, [2018]

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  339.0151135 Lju/Rmt 2018  AVAILABLE
 MELB  339.0151135 Lju/Rmt 2018  AVAILABLE
19
Book
1989

Recursive methods in economic dynamics


Stokey, Nancy L.

Cambridge, Mass. : Harvard University Press, 1989

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  330.0151 Sto/Rmi  AVAILABLE
 MELB  330.0151 Sto/Rmi  AVAILABLE
20
E-book
1989

Recursive methods in economic dynamics


Stokey, Nancy L.

Cambridge, Mass. : Harvard University Press, 1989

Rating:

Request It 
 
21
E-book
1989

Recursive methods in economic dynamics


Stokey, Nancy L., author.

Cambridge, Mass. : Harvard University Press, [1989]

Rating:

 
22
E-book
2019

Recursivity and contingency


Hui, Yuk, 1985- author.

London, United Kingdom : Rowman & Littlefield International, Ltd. ; Lanham, Maryland : Rowman & Littlefield, [2019]

Rating:

 
23
E-book
2008

Rigid body dynamics algorithms


Featherstone, Roy.



Rating:

 
24
Book
1987

Robot dynamics algorithms


Featherstone, Roy.

Boston : Kluwer, [1987]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  629.892 Fea  AVAILABLE
26
Book
2004

Stochastic processes : estimation, optimization, and analysis


Najim, K.

London ; Sterling, VA : Kogan Page Science, [2004]

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  519.23 Naj/Spe  AVAILABLE
27
E-book
2005

Super-recursive algorithms


Burgin, M. S. (Mark Semenovich)



Rating:

 
28
Book
1965

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions


Davis, Martin, 1928- editor

Hewlett, N.Y. : Raven Press, [1965]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  512.02 Dav  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results