Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-22 of 22 results
Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.
- Text
- Amsterdam : Mathematisch Centrum, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSE 78-1183 Offsite Modelling economic change : the recursive programming approach / Richard H. Day and Alessandro Cigno, with contributions by M. Abe ... [et al.].
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors in the U. S. and Canada, American Elsevier Pub. Co., 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text TB (Contributions to economic analysis) v. 117 1978 Offsite Combinatory reduction systems / J.W. Klop.
- Text
- Amsterdam : Mathematisch centrum, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSE 83-7 Offsite Singularly perturbed and weakly coupled linear control systems : a recursive approach / Z. Gajić, D. Petkovski, X. Shen.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 90-538 Offsite Recursive techniques in programming [by] D. W. Barron.
- Text
- New York, American Elsevier Pub. Co. [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text OEO (Barron, D. W. Recursive techniques in programming) 1968 Offsite Semantische Repräsentation komplexer Objektstrukturen : Modelle für nichtkonventionelle Datenbankanwendungen / Winfried Lamersdorf.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text ReCAP 12-22799 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.
Singularly perturbed and weakly coupled linear control systems : a recursive approach / Z. Gajić, D. Petkovski, X. Shen.
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA402.3 .G34 1990 Off-site Recursive programming techniques / William H. Burge.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .B87 Off-site Recursive techniques in programming / [by] D. W. Barron.
- Text
- New York : American Elsevier Pub. Co., [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text QA76.5 .B2964 1970 Off-site Recursive techniques in programming / [by] D. W. Barron.
- Text
- London : Macdonald and Jane's; New York : American Elsevier Inc., [1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.5 .B2964 1975 Off-site Modelling economic change : the recursive programming approach / Richard H. Day and Alessandro Cigno, with contributions by M. Abe [and others].
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors in the U.S. and Canada, American Elsevier Pub. Co., 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text HB135 .D39 Off-site Recursive techniques in programming [by] D. W. Barron.
- Text
- New York, American Elsevier Pub. Co. [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text 81075.148 Off-site Recursive programming techniques / William H. Burge.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6.B87 Off-site Theory of program structures : schemes, semantics, verification / Sheila A. Greibach.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6.G743 1975 Off-site Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr.
- Text
- Amsterdam : Mathematisch Centrum, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA76.7.R63 Off-site Recursive techniques in programming [by] D. W. Barron.
- Text
- London, Macdonald and Jane's; New York, American Elsevier Inc. [1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA96.5.xB2964 1975 Off-site Singularly perturbed and weakly coupled linear control systems : a recursive approach / Z. Gajić, D. Petkovski, X. Shen.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA402.3 .G34 1990 Off-site Recursive techniques in programming [by] D.W. Barron.
- Text
- New York : American Elsevier, [1968]
- 1968
- 1 Item
Item details Format Call Number Item Location Text 81075.148 Off-site Recursive programming techniques / William H. Burge, IBM Corporation, Thomas J. Watson Research Center.
- Text
- Reading, Massachusetts : Addison-Wesley Pub. Co., [1975]
- 1975-1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6.B87 Off-site Theory of program structures : schemes, semantics, verification / Sheila A. Greibach.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.6.G743 1975 Off-site Recursive techniques in programming [by] D. W. Barron.
- Text
- London, Macdonald and Jane's; New York, American Elsevier Inc. [1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA96.5.xB2964 1975 Off-site Recursive multisets and their applications / I.A. Sheremet.
- Text
- Berlin : [European Academy of Natural Sciences], 2011.
- 2011
- 1 Item
Item details Format Call Number Item Location Text QA248 .S418 2011 Off-site
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.
