Your search returned 5 results. Subscribe to this search

Not what you expected? Check for suggestions
|
CONPAR 81, proceedings

by University of Nurnberg Nurnberg June 10-12, 1981 | Conference on Analysing Problem Classes and Programming for Parallel Computing | Handler, Wolfgang [Editor].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1981Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.7834 C6C6] (1).

Verifying concurrent processes using temporal logic

by Hailpern, Brent T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.7834 H2V3] (1).

Alternating sequential/parallel processing

by Wallach, Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: Vikram Sarabhai Library [Call number: 510.7834 W2A5] (1).

Parallel computing for data science

by Matloff, Norman.

Publisher: Boca Raton CRC Press 2016Availability: Items available for loan: Vikram Sarabhai Library [Call number: 005.3 M2P2] (1).
Lists:

Performance optimization of numerically intensive codes

by Goedecker, Stefan | Hoisie, Adolfy.

Publisher: Philadelphia Society for Industrial and Applied Mathematics 2001Availability: Items available for loan: Vikram Sarabhai Library [Call number: 004.22 G6P3] (1).

Powered by Koha