Тема, жанр, tags: Logics and Meanings of Programs » Page 338 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs » Page 338

book Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows

Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows

pdf

Author: Radu Prodan Thomas Fahringer (auth.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers

Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers

djvu

Author: Lee Braine Chris Clack (auth.) Werner Kluge (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems

djvu

Author: Madhu Sudan (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Combinatorics on Traces

Combinatorics on Traces

djvu

Author: Volker Diekert (auth.)
Language: English
Year: 1990

00

26.01.2024

0

0