Your search for 40520 returns 3085 document(s) |
Proving programs correct |
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer Programs in Biomedicine |
Call Number: [6 (1976): 1-4, 7 (1977): 1-4, 10 (1979): 1-3, 14 (1982): 1-4, 16 (1983): 1-3, 18 (1984): 1-4] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Computer methods and programs .. |
Call Number: [20 (1985): 1-3, 22 (1986): 1-3, 23 (1987): 1-3, 49 (1996): 2-3] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The B-book: Assigning programs to meanings |
Author: Abrial, J.R.; | Call Number: 005.1 Abr b | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logics of programs : proceedings 1981 |
Call Number: 004 Log | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proving programs correct |
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel Computation |
Call Number: 004.35 Par | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel Computing |
Call Number: [3 (1986): 1-4; 4 (1987): 1-3, 5 (1987): 1-3; 6(1988): 1-3, 7 (1988): 7; 8 (1988): 1-3, 22 (1996): 4-7, 23 (1997): 1-6, 23 (1997): 7-10, 23 (1997): 11-14, 23 (1997): 11-14, 23 (1997): 7-10] | Type: Jurnal/ Majalah
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel computations |
Author: Zwaan, Gerard; | Call Number: 004.35 Zwa p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Data Structure and Analysis of Algorithms: Parallel RAMs with Owned Global Memory and Deterministic Context-Free Language Recognition, Minimum Cuts in Near-Linear Time |
Author: P. W. Dymond, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|