Book serie: / Книги серии: Foundations of computing » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Foundations of computing

book Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

pdf

Author: Andrea Asperti
Language: English
Year: 1991

00

16.02.2024

0

0

book Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist

pdf

Author: Andrea Asperti
Language: English
Year: 1991

00

16.02.2024

0

0

book Hilbert's 10th Problem

Hilbert's 10th Problem

pdf

Author: Yuri Matiyasevich
Language: English
Year: 1993

00

14.02.2024

0

0

book The Stable Marriage Problem

The Stable Marriage Problem

pdf

Author: Dan Gusfield Robert W. Irving
Language: English
Year: 1989

00

13.02.2024

0

0

book Hilbert's 10th Problem

Hilbert's 10th Problem

pdf

Author: Yuri Matiyasevich
Language: English
Year: 1993

00

08.02.2024

0

0

book Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

djvu

Author: Joseph A. Goguen Grant Malcolm
Language: English
Year: 1996

00

29.01.2024

0

0

book Semantics of Programming Languages: Structures and Techniques

Semantics of Programming Languages: Structures and Techniques

pdf

Author: Carl A. Gunter
Language: English
Year: 1992

00

27.01.2024

0

0

book Theoretical aspects of object-oriented programming: types, semantics, and language design

Theoretical aspects of object-oriented programming: types, semantics, and language design

djvu

Author: Carl A. Gunter John C. Mitchell (ed.)
Language: English
Year: 1994

00

27.01.2024

0

0

book Hilbert's 10th Problem

Hilbert's 10th Problem

pdf

Author: Yuri Matiyasevich Martin Davis Hilary Putnam
Language: English
Year: 1993

00

27.01.2024

0

0

book Proof, Language, and Interaction: Essays in Honour of Robin Milner

Proof, Language, and Interaction: Essays in Honour of Robin Milner

djvu

Author: Gordon Plotkin Colin P. Stirling Mads Tofte
Language: English
Year: 2000

00

27.01.2024

0

0