| Your search for 14371 returns 1060 document(s) |
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TCP/IP lean: web servers for embedded systems 2nd ed./Jeremy Bentham |
|
Author: Bentham, Jeremy; | Call Number: 004.62 Ben t | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Embedded and real-time system design using integrated SDL and MSC/ Irwan Margono |
|
Author: Margono, Irwan | Call Number: Pub.Staf PN-0058 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Collaboration and control of autonomour embedded soceer robots part 1: control design, Hal. 424-429 |
|
Author: Surya Girinatha; Bambang Riyanto; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On performance of kernel based and embedded real-time operating systems: benchmarking and analysis, Hal. 401-406 |
|
Author: Mastura D. Marieska, Paul G. Hariyanto, M. Firda Fauzan, Achmad Imam Kistijantoro; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| System components for embedded information retrieval from multiple disparate information sources, Hal 23-33 |
|
Author: Ramana Rao; Daniel M.Russell; Jock D.Mackinlay; | Call Number: SEM-194 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Architectural enhancements for montgomery multiplication on embedded RISC processors, (LNCS-Lecture Notes in Computer Science 2576) Hal 418-434 |
|
Author: Johann Grorschadl; Guy-armand Kamendje; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Macrocell architectures for product term embedded memory arrays, (LNCS-Lecture Notes in Computer Science 2147) Hal 48-58 |
|
Author: Ernie Lin; Steven J.E. Wilton; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A reconfigurable embedded input device for kinetically challenged persons, (LNCS-Lecture Notes in Computer Science 2147) Hal 326-335 |
|
Author: Apostolos Dollas; Kyprianos Papademitriou; Nikolas Aslanides; Tom Kean; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The systolic ring : a dynamically reconfigurable architecture for embedded systems, (LNCS-Lecture Notes in Computer Science 2147) Hal 409-419 |
|
Author: Gilles Sassatelli; Lionel Torres; Jerome Galy; Gaston Cambon; Camille Diou; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result