Your search for 40390 returns 220 document(s) |
Simulasi paralel pada model erew SIMD untuk algoritma lintasan terpendek dari DIJKSTRA/ Tjahjono Teguh |
Author: Tjahjono, Teguh; | Call Number: SK-0257 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verfikasi concurrent system dengan model checker SMV |
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verifikasi concurrent system dengan model checker SMV |
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming erlang: software for a concurrent world: 2nd ed. |
Author: Armstrong, Joe; | Call Number: 005.13 Arm p | Type: E-book
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming erlang: software for a concurrent world: 2nd ed. |
Author: Armstrong, Joe; | Call Number: 005.13 Arm p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The temporal logic of reactive and concurrent systems specification |
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Concurrent programming in java: design principles and patterns/Douglas |
Author: Lea, Douglas; | Call Number: 005.2 Lea c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Operating systems: concurrent and distributed software design |
Author: Bacon, Jean; | Call Number: 005.43 Bac o | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Concurrent, euclid, unix and tunis/Richard C. Holt |
Author: Holt, Richard C.; | Call Number: 005.43 Hol c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Structured concurrent programming with operating systems applications |
Author: Holt, R.C.; | Call Number: 005.43 Hol s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|