| Your search for 25753 returns 5496 document(s) |
| The architecture of concurrent programs/ Per Brinch Hansen |
|
Author: Hansen, Per Brinch; | Call Number: 005.13 Han a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A bdd-based interactive configurator for modular systems, (LNCS-Lecture Notes in Computer Science 3709) Hal 883 |
|
Author: Erik R. van der Meer; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compositional verification of synchronous networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 214-227 |
|
Author: Leszek Holenderski; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| STARI: a case study in compositional and hierarchial timing verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 191-201 |
|
Author: Serdar Tasiran; Robert K. Brayton; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using compositional preorders in the verification of sliding window protocol, (LNCS-Lecture Notes in Computer Science 1254) Hal 48-59 |
|
Author: Roope Kaivola; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
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
|
| A Software tool for modular database design, page 209 |
|
Author: Casanova, A.A. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcontroller-based system for modular networked robot, Hal. 115-128 |
|
Author: Firmansyah Z. Akbar; Hermanto; L.T. Handol; | Call Number: SEM-303 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan sistem modular communication environment pada Ditbindiklat, Depdiknas/ Imairi Eitiveni |
|
Author: Imairi Eitiveni; | Call Number: KP-0938 (Softkopi KP-502) SCKP-335 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result