Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 185 results
Recursiveness [by] Samuel Eilenberg [and] Calvin C. Elgot.
- Text
- New York, Academic Press, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text OIN 71-6 1970 Offsite Recursive function theory and logic.
- Text
- New York, Academic Press [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 72-250 Offsite Degrees of unsolvability in the theory of programming languages, by Dennis F. Cudia.
- Text
- Urbana, Dept. of Computer Science, University of Illinois [1971]
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSF 73-919 Offsite Introduction to the theory of computation.
- Text
- New York, Academic Press [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSE 73-2029 Offsite Theory of computation [by] Walter S. Brainerd [and] Lawrence H. Landweber.
- Text
- New York, Wiley [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 74-835 Offsite Computability and logic [by] George Boolos [and] Richard Jeffrey.
- Text
- Cambridge [Eng.] University Press [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 74-1121 Offsite Theory of recursive functions and effective computability.
- Text
- New York, McGraw-Hill [1967]
- 1967
- 1 Item
Item details Format Call Number Item Location Text JSE 74-317 Offsite Normalformen von Markov'schen und Post'schen Algorithmen; eine Einführung in die Theorie der normierten Algorithmen.
- Text
- Münster i. W., Westfälische Wilhelms-Universität Münster. Institut für Mathematische Logik und Grundlagenforschung, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSD 74-656 Offsite Generalized recursion theory. Proceedings of the 1972 Oslo symposium. Ed. by J. E. Fenstad and P. G. Hinman.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 75-470 Offsite The Medvedev lattice of degrees of difficulty.
- Text
- [Aarhus] 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text JSP 71-28 no. 10-12 Offsite Primitiv-rekursive Funktionen in Peano-Algebren [microform].
- Text
- (Birlinghoven, Gesellschaft für Mathematik und Datenverarbeitung) 1969.
- 1969
Recursive procedures, by J. W. de Bakker.
- Text
- Amsterdam, Mathematisch Centrum, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JSE 76-1167 Offsite Récursivité, par Jean-Pierre Azra et Bernard Jaulin. Préf. de Daniel Lacombe.
- Text
- Paris, Gauthier-Villars, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JSF 76-1067 Offsite Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach.
- Text
- Berlin ; New York : Springer-Verlag, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 536-538 Offsite Rekursive Funktionen und ihre Komplexität / von C. P. Schnorr.
- Text
- Stuttgart : Teubner, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 76-615 Offsite Computations in higher types / Johan Moldestad.
- Text
- Berlin ; New York : Springer-Verlag, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 573-575 Offsite An introduction to the general theory of algorithms / Michael Machtey, Paul Young.
- Text
- New York : North-Holland, c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1084 Offsite Recursive functions in computer theory / Rózsa Péter ; [translated by I. Juhász].
- Text
- Chichester, West Sussex : Ellis Horwood ; New York : Halsted Press, c1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSE 83-1067 Offsite Primitiv-rekursive Transformationen / Friedrich Wilhelm von Henke.
- Text
- Bonn : Gesellschaft für Mathematik und Datenverarbeitung, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 83-711 Offsite Teilklassen primitiv-rekursiver Wortfunktionen / Klaus Weihrauch.
- Text
- Bonn : Gesellschaft für Mathematik und Datenverarbeitung, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSE 85-117 Offsite Computability with Pascal / John S. Mallozzi, Nicholas J. De Lillo.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 85-722 Offsite Rekursive Algorithmen für Zeitreihenmodelle / von Ludwig Fahrmeir.
- Text
- Göttingen : Vandenhoeck & Ruprecht, c1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSE 85-1363 Offsite Synthesis of digital designs from recursion equations / Steven D. Johnson.
- Text
- Cambridge, Mass. : MIT Press, c1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 86-1212 Offsite Robot dynamics algorithms / by Roy Featherstone.
- Text
- Boston : Kluwer, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2505 Offsite Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare.
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 89-356 Offsite On the structure of the polynomial time degrees of recursive sets (Habilitationsschrift) / K. Ambos-Spies.
- Text
- Dortmund : Abteilung Informatik, Universität Dortmund, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSG 89-139 Offsite Recursive methods in economic dynamics / Nancy L. Stokey and Robert E. Lucas, Jr. with Edward C. Prescott.
- Text
- Cambridge, Mass. : Harvard University Press, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JLE 89-3623 Offsite Reflexive structures : an introduction to computability theory / Luis E. Sanchis.
- Text
- New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 89-1062 Offsite Subrecursion : functions and hierarchies / H.E. Rose.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1886 Offsite Computability and logic / George S. Boolos, Richard C. Jeffrey.
- Text
- Cambridge ; New York : Cambridge University Press, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 91-1040 Offsite Pipelined lattice and wave digital recursive filters / by Jin-Gyun Chung, Keshab K. Parhi.
- Text
- Boston : Kluwer Academic Publishers, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-599 Offsite Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text D-17 2552 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Computability & unsolvability.
- Text
- New York, McGraw-Hill, 1958.
- 1958
- 1 Item
Item details Format Call Number Item Location Text E-10 7159 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
- Text
- Budapest, Verlag der Ungarischen Akademie der Wissenschaften, 1959.
- 1959
- 1 Item
Item details Format Call Number Item Location Text E-11 2591 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Einführung in die Theorie der rekursiven Funktionen.
- Text
- Berlin, Springer, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text OIN (Hermes, H. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit) 1961 Offsite Enumerability, decidability, computability; an introduction to the theory of recursive functions by Hans Hermes. Translated by G.T Herman and O. Plassmann.
- Text
- Berlin, New York, Springer-Verlag, 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text OIN (Hermes, H. Enumerability, decidability, computability) 1965 Offsite Recursive functions. [Translated by István Földes]
- Text
- Budapest, Akadémiai Kiadó, 1967.
- 1967
- 1 Item
Item details Format Call Number Item Location Text OIN (Peter, R. Recursive functions) Offsite Rekursive Funktionen.
- Text
- Budapest, Akadémiai Kiadó, 1951.
- 1951
- 1 Item
Item details Format Call Number Item Location Text OIN (Peter, R. Rekursive Funktionen. 1951) Offsite Rekursive Funktionen.
- Text
- Budapest, Verlag der Ungarischen Akademie der Wissenschaften, 1957.
- 1957
- 1 Item
Item details Format Call Number Item Location Text OIN (Peter, R. Rekursive Funktionen. 1957) Offsite Lecons sur les fonctions calculables [par] V.A. Ouspenski. Traduit du russe par André Chauvin.
- Text
- [Paris] Hermann [1966]
- 1966
- 1 Item
Item details Format Call Number Item Location Text OIN (Uspenski, V. A. Lecons sur les fonctions calculables) Offsite Linear recurrence relations over finite fields. [By] Ernst S. Selmer.
- Text
- [Bergen, Published by] Department of Mathematics, University of Bergen, 1966.
- 1966
- 1 Item
Item details Format Call Number Item Location Text OGS (Selmer, E. S. Linear recurrence relations over finite fields) Offsite Games and full abstraction for a functional metalanguage with recursive types / Guy McCusker.
- Text
- London ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1132 Offsite Zagadnienia Rozstrzygalności / Andrzej Grzegorczyk.
- Text
- Warszawa : Państwowe Wydawn. Naukowe, 1957.
- 1957
- 1 Item
Item details Format Call Number Item Location Text *QO (Grzegorczyk, A. Zagadnienia rozstrzygalności) Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Fonctions récursives.
- Text
- Paris, Gauthier-Villars, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text VBA p.v. 2118 no. 1-12 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Les fonctions combinatoires et les isols, par J. C. E. Dekker.
- Text
- Paris, Gauthier-Villars, 1966.
- 1966
- 1 Item
Item details Format Call Number Item Location Text VBA p.v. 2335 no. 1-9 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski.
- Text
- Dordrecht, Netherlands ; Boston : Kluwer Academic , c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1321 Offsite Real-time flutter identification [microform] / Richard Roy and Robert Walker ; prepared for Ames Research Center, Dryden Flight Research Facility.
- Text
- [Washington, D.C.] : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : National Technical Information Service, distributor, 1985]
- 1985
Kalman filtering, smoothing and recursive robot arm forward and inverse dynamics [microform] / G. Rodriguez.
- Text
- Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology ; [Springfield, Va. : National Technical Information Service, distributor, 1986]
- 1986
Parallel scheduling of recursively defined arrays [microform] / Thomas J. Myers, Maya B. Gokhale.
- Text
- Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1986]
- 1986
An investigation of new methods for estimating parameter sensitivities [microform] / Todd J. Beltracchi and Gary A. Gabriele.
- Text
- [Washington, D.C.?] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service], 1989.
- 1989
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
