Author books / Книги автора Roland Backhouse » Page 9 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Roland Backhouse » Page 9

book Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

rar

Author: Roland Backhouse
Language: English
Year: 2003

00

27.01.2024

0

0

book New Directions in Economic Methodology (Economics as Social Theory)

New Directions in Economic Methodology (Economics as Social Theory)

pdf

Author: Roger E. Backhouse
Language: English
Year: 1994

00

27.01.2024

0

0

book 西方经济学史 / Xi fang jing ji xue shi

西方经济学史 / Xi fang jing ji xue shi

pdf

Author: Roger Backhouse
Language: Chinese
Year: 2007

00

27.01.2024

4

0

book Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

pdf

Author: Mark P. Jones (auth.) Roland Backhouse José Nuno Oliveira (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

pdf

Author: Jeremy Gibbons (auth.) Roland Backhouse Jeremy Gibbons Ralf Hinze Johan Jeuring (eds.)
Language: English
Year: 2007

00

26.01.2024

1

0

book Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures

pdf

Author: Roy Crole (auth.) Roland Backhouse Roy Crole Jeremy Gibbons (eds.)
Language: English
Year: 2002

00

26.01.2024

5

0

book Generic Programming: Advanced Lectures

Generic Programming: Advanced Lectures

pdf

Author: Ralf Hinze Johan Jeuring (auth.) Roland Backhouse Jeremy Gibbons (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book The Cambridge Companion to Keynes

The Cambridge Companion to Keynes

pdf

Author: Roger E. Backhouse Bradley W. Bateman
Language: English
Year: 2006

00

26.01.2024

2

0