| Your search for 21758 returns 4923 document(s) |
| Parameterized function evaluation for FPGAs, (LNCS-Lecture Notes in Computer Science 2147) Hal 544-554 |
|
Author: Oskar Mencer; Nicolas Boullis; Wayne Luk; Henry Styles; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying universal properties of parameterized networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 291-303 |
|
Author: Kai Baukus; Yassine Lakhnech; Karsten Stahl; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IMPLEMENTASI EPGA PADA SPREADING-DESREADING MENGGUNAKAN CODE PN MAX-LENGTH GOLD (15-20) |
|
Author: Anang Budikarso yoedy mogeiarto; | Call Number: SEM-309 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic Programming on GPU approach to the fixed - parameterized algorithm of maximum indpenent set of graph with low treewidth |
|
Author: Muhammad Ayaz Dzulfikar; | Call Number: SK-1693 (Softcopy SK-1175) Source Code SK-699 | Edition: Lim Yohanes Stefanus | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effectiveness of Combining Learning Rules and Analogy in Semantic Analysis for Japanese Unknown Sentences (35-40) |
|
Author: H. Shibuki
Y. Momouchi
K. Araki
K. Tochinai; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Single identity number, dari wacana ke realita |
|
Author: I Putu Agus Swastika | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Single-rail handshake circuits, Hal. 53-62 |
|
Author: Ad Peeters; Kees Van Berkel; | Call Number: SEM-234 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Hierarchical Access Control Model for Video Database Systems, page 155-191 |
|
Author: E. Bertino, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Framework and Tool Support for the Systematic Testing of Model-Based Specifications, page 409-439 |
|
Author: T. Miller, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
|
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result