| Your search for 15977 returns 3013 document(s) |
| Model knowledge management system dengan pendekatan becerra dan soft system methodology studi kasus rumah sakit tipe B kota Palembang |
|
Author: Ahmad Farisi; | Call Number: T-1203 Softcopy T-911 Source code T-294 | Edition: 2017 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 436-439 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Handling behavioral components in multi-level concurrent fault simulation, Hal. 149-156 |
|
Author: Karen Panetta Lentz; Jonathan B. Homer; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Higher-order concurrent programs with finite communications topology,Hlm 84-97 |
|
Author: Hanne Riis Nielson; Flemming Nielson; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent execution of non-communicating programs on SIMD processors, Hal. 29-36 |
|
Author: Philip A. Wilsey; Debra A.; Hensgen, Nael B.; Abu-Ghuzaleh; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result