| Your search for 39593 returns 178 document(s) |
| Pengantar teori automata dan bahasa |
|
Author: Widjaja, Belawati; | Call Number: 511.3 Wid p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cellular automata: pemodelan dan implementasi |
|
Author: Hanna Kurniawti; | Call Number: SK-0463 (Source Code SK-46) | Edition: Widijanto Nugroho | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Event-driven simulation of timed petri net models, Hal. 91-98 |
|
Author: W.M. Zuberek; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
|
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New CMOS VLSI linear self-timed architectures, Hal. 14-23 |
|
Author: A.J. Acosta; M. Bellido; M. Valencia; A. Barriga; R. jimenez and J.L. Huertas; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Testing self-timed circuits using partial scan, Hal. 160-169 |
|
Author: Ajay Khoche; Erik Brunvand; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Data Structures and Algorithms in JAVA Third (3rd) edition/ Michael T. Goodrich, Roberto Tammasia |
|
Author: Goodrich, Michael T.; | Call Number: 005.73 Goo d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
|
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A qualitative comparison study of data structures for large line segment databases (hal 205 - 214) |
|
Author: Erik G. Hoelt, Hanan Samet; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applications of spatial data structures: computer graphics, image processing, and GIS/Hanan Samat |
|
Author: Samet, Hanan; | Call Number: 005.73 Sam a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result