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

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

book Computability and Complexity: From a Programming Perspective

Computability and Complexity: From a Programming Perspective

djvu

Author: Neil D. Jones
Language: English
Year: 1997

00

27.01.2024

0

0

book Dynamic Logic

pdf

Author: David Harel Dexter Kozen Jerzy Tiuryn
Language: English
Year: 2000

00

27.01.2024

1

0

book Realistic Compiler Generation

Realistic Compiler Generation

djvu

Author: Peter Lee
Language: English
Year: 1989

00

27.01.2024

3

0

book Foundations for programming languages

Foundations for programming languages

djvu

Author: John C. Mitchell
Language: English
Year: 1996

00

27.01.2024

0

0

book Algorithmic number theory. Efficient algorithms

Algorithmic number theory. Efficient algorithms

djvu

Author: Eric Bach Jeffrey Shallit
Language: English
Year: 1996

00

26.01.2024

0

0

book Foundations for programming languages

Foundations for programming languages

pdf

Author: John C. Mitchell
Language: English
Year: 1996

00

26.01.2024

0

0

book PX, a computational logic

PX, a computational logic

pdf

Author: Susumu Hayashi Hiroshi Nakano
Language: English
Year: 1988

00

26.01.2024

0

0

book Algorithmic number theory: Efficient algorithms

Algorithmic number theory: Efficient algorithms

djvu

Author: Eric Bach Jeffrey Shallit
Language: English
Year: 1996

00

26.01.2024

2

0

book Hilbert's tenth problem

Hilbert's tenth problem

djvu

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

00

26.01.2024

4

0

book Dynamic logic

pdf

Author: David Harel Dexter Kozen Jerzy Tiuryn
Language: English
Year: 2000

00

26.01.2024

2

0