Book serie: / Книги серии: Texts and Monographs in Computer Science » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts and Monographs in Computer Science » Page 3

book Error-Free Polynomial Matrix Computations

Error-Free Polynomial Matrix Computations

pdf

Author: E. V. Krishnamurthy
Language: English
Year: 1985

00

27.01.2024

1

0

book Methods and Applications of Error-Free Computation

Methods and Applications of Error-Free Computation

pdf

Author: R. T. Gregory E. V. Krishnamurthy
Language: English
Year: 1984

00

27.01.2024

0

0

book Logic for Applications

Logic for Applications

pdf

Author: Anil Nerode Richard A. Shore
Language: English
Year: 1993

00

27.01.2024

0

0

book Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification

pdf

Author: John V. Guttag James J. Horning
Language: English
Year: 1993

00

27.01.2024

0

0

book Prototyping-Oriented Software Development: Concepts and Tools

Prototyping-Oriented Software Development: Concepts and Tools

pdf

Author: Walter R. Bischofberger Gustav Pomberger
Language: English
Year: 1992

00

27.01.2024

0

0

book The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

pdf

Author: Dexter C. Kozen
Language: English
Year: 1992

00

27.01.2024

4

0

book Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

pdf

Author: Krzysztof R. Apt Ernst-Rüdiger Olderog
Language: English
Year: 1991

00

27.01.2024

0

0

book Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction

Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction

pdf

Author: Peter A. Fejer Dan A. Simovici
Language: English
Year: 1991

00

27.01.2024

2

0

book Predicate Calculus and Program Semantics

Predicate Calculus and Program Semantics

pdf

Author: Edsger W. Dijkstra Carel S. Scholten
Language: English
Year: 1990

00

27.01.2024

0

0

book Programming in the 1990s: An Introduction to the Calculation of Programs

Programming in the 1990s: An Introduction to the Calculation of Programs

pdf

Author: Edward Cohen
Language: English
Year: 1990

00

27.01.2024

3

0