Recursive Programming

60 books
Algorithmen und DatenstrukturenNiklaus Wirth
⏱ 5h 48m

Algorithmen und Datenstrukturen

Niklaus Wirth

1975348 pp.
Houston-Galveston regional input-output study for 1967Louis H Stern
⏱ 5h 12m

Houston-Galveston regional input-output study for 1967

Louis H Stern

1972312 pp.
Logic programmingJean-Louis Lassez
⏱ 13h 24m

Logic programming

Jean-Louis Lassez

1987804 pp.
A recursive introduction to the theory of computationSmith, Carl H.
⏱ 2h 28m

A recursive introduction to the theory of computation

Smith, Carl H.

1994148 pp.
Verification of recursive programsSimon M. Kaplan
⏱ 34m

Verification of recursive programs

Simon M. Kaplan

198534 pp.
Recursive functions in computer theoryRózsa Péter
⏱ 2h 59m

Recursive functions in computer theory

Rózsa Péter

1981179 pp.
Well-founded orderings for proving termination of systems of rewrite rulesDavid A. Plaisted
⏱ 34m

Well-founded orderings for proving termination of systems of rewrite rules

David A. Plaisted

197834 pp.
Theory of Program StructuresSheila A. Greibach
⏱ 6h 28m

Theory of Program Structures

Sheila A. Greibach

1985388 pp.
Theory of program structuresSheila Greibach
⏱ 6h 29m

Theory of program structures

Sheila Greibach

1975389 pp.
RecurseLawrence Robert Whitlock
⏱ 1h 2m

Recurse

Lawrence Robert Whitlock

197462 pp.
Associating functions and the operator of conditioned iterationBruno Buchberger
⏱ 16m

Associating functions and the operator of conditioned iteration

Bruno Buchberger

197116 pp.
A basic problem in the theory of programming languagesBruno Buchberger
⏱ 40m

A basic problem in the theory of programming languages

Bruno Buchberger

197240 pp.
A study on universal functionsBruno Buchberger
⏱ 30m

A study on universal functions

Bruno Buchberger

197230 pp.
Solutions Manual for Recursive Methods in Economic DynamicsEsteban Rossi-Hansberg
⏱ 5h 3m

Solutions Manual for Recursive Methods in Economic Dynamics

Esteban Rossi-Hansberg

2009303 pp.
Algorithms for the solution of two algebraic equations in two unknownsJohn Ries Holroyd
⏱ 47m

Algorithms for the solution of two algebraic equations in two unknowns

John Ries Holroyd

196347 pp.
Recursive program schemesW.-P. de Roever
⏱ 1h 52m

Recursive program schemes

W.-P. de Roever

1976112 pp.
Games and full abstraction for a functional metalanguage with recursive typesG. McCusker
⏱ 3h 9m

Games and full abstraction for a functional metalanguage with recursive types

G. McCusker

1998189 pp.
Singularly perturbed and weakly coupled linear control systemsUnknown Author
⏱ 3h 22m

Singularly perturbed and weakly coupled linear control systems

Unknown Author

1990202 pp.
Singularly perturbed and weakly coupled linear control systemsZoran Gajić
⏱ 3h 22m

Singularly perturbed and weakly coupled linear control systems

Zoran Gajić

1990202 pp.
An investigation of new methods for estimating parameter sensitivitiesTodd J. Beltracchi

An investigation of new methods for estimating parameter sensitivities

Todd J. Beltracchi

1988No page data
← PreviousPage 2 of 3Next →