| Your search for 38164 returns 3489 document(s) |
| Automated analysis of an audio control protocol, (LNCS-Lecture Notes in Computer Science 939) Hal 381-394 |
|
Author: Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards an implementation-oriented specification of TP protocol in LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 93-109 |
|
Author: Ing Widya; Gert-Jan van der Heijden; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Internetworking IEEE 802.16 WIMAX dan IEEE . 802.11 WIFI untuk rural-NGN (NEXT Generation Network), Hal. 291-295 |
|
Author: Ahmad Meiriansyah; | Call Number: SEM-271 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teknologi unlicensed mobile access (UMA), untuk rural next generation network (R-NGN), Hal. 323-328 |
|
Author: Arinuddin Umar; | Call Number: SEM-271 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Corporate computer and network security |
|
Author: Panko, Raymond; | Call Number: 005.8 Pan c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Allocation and scheduling for MPSoCs via decomposition and no-good generation, (LNCS-Lecture Notes in Computer Science 3709) Hal 107-121 |
|
Author: Luca Benini; Davide Bertozzi; Alessio Guerri; Michela Milano; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Test instance generation for max 2sat (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 787-791 |
|
Author: Mistuo Motoki; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards the systematic generation of channelling constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 859 |
|
Author: B. Martinez-Hernandez; A. M. Frisch; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Random stimuli generation for functional hardware verification as a CP application, (LNCS-Lecture Notes in Computer Science 3709) Hal 882 |
|
Author: Yehuda Naveh, Roy Emek; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automating the generation and sequencing of test cases from model-based specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 268-284 |
|
Author: Jeremy Dick; Alain Faivre; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result