| Your search for 38054 returns 268 document(s) |
| ScaLAPACK: a scalable linear algebra library for distributed memory concurrent computers, Hal. 120-127 |
|
Author: Jaeyoung Choi, Jack Dongarra, Roldan Pozo, David W. Walker; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent Programming in Java Design Principles and Patterns Second Edition / Doug Lea |
|
Author: Lea, Doug; | Call Number: 005.2 Lea c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lecture notes in computer science: a concurrent pascal compiler for minicomputers/Alfred C. Hartmann |
|
Author: Hartmann, Alfred C.; | Call Number: 005.24 Har c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent programming: fundamental techniques for real-time and parallel software design |
|
Author: Axford, Tom; | Call Number: 005.35 Axf c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent systems: operating systems database and distributed systems an introduction approach |
|
Author: Bacon, Jean; | Call Number: 005.447 Bac c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent and Real-Time Update of Access Control Policies (330-339) |
|
Author: Indrakshi Ray
Tai Xin; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Constraint-based inference: a bridge between constraint processing and probability inference, (LNCS-Lecture Notes in Computer Science 3709) Hal 844 |
|
Author: Le Chang; Alan K. Mackworth; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11 |
|
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal development of programs and proofs/edited Edger W. Dijkstra |
|
Call Number: 005.1 For | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result