| Your search for 25753 returns 5496 document(s) |
| Principles of concurrent programming |
|
Author: Ben-Ari, N; | Call Number: 004.35 Ben p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles of concurrent and distributed programming |
|
Author: Ben-Ari, M.; | Call Number: 004.35 Ben p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent programming in ada/ Alan Burns |
|
Author: Burne, Alan I.; | Call Number: 005.133 Bur c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent programming/Narain Gehani |
|
Author: Gehani, Narain; | Call Number: 005.42 Geh c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using concurrent PC DOS |
|
Author: Dahmke, Mark; | Call Number: 005.446 9 Dah u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
|
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The olduvai imperative: case and the state of software engineering practice/ Peter Degrace |
|
Author: Degrace, Peter; | Call Number: 005.1 Deg c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of coccurent program temporal proof principles, (LNCS-Lecture Notes in Computer Science 131) Hal. 200- 252 |
|
Author: Zohar Manna; Amir Pneuli; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent euclid the unix system and tunis |
|
Author: Holt, R.C.; | Call Number: 005.43 Hol c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result