| Your search for 52136 returns 2212 document(s) |
| Reconstruction of linearly parameterized model from single images with a camera of unknown focal length, page 767 |
|
Author: D. Jelinek | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| A Complete and Non-Overlapping Tracing Algorithm for Closed Loops, page 491-514 |
|
Author: S. -T. Wu, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi constructive solid geometry (CSG) dengan metode ray tracing/ Kusumasari Dwiana |
|
Author: Dwiana Kusumasari; | Call Number: SK-0527(Scan SK-3) | Edition: Suryana Setiawan | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Name-Tracing Using the ICL Content Addressable Filestore (523-528) |
|
Author: A.G. Ward; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reconfigurable frame-grabber for real-time automated visual inspection (RT-AVI) systems, (LNCS-Lecture Notes in Computer Science 2147) Hal 223-231 |
|
Author: Sergio A. Cuenca; Francisco Ibarra; Rafael Alvarez; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
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 techniques in real-time and fault-tolerant systems: the Int. Symposium, FTRTFT 2000 Pmil India; Sep. 20-22, 2000 proceesing |
|
Author: Joseph, Mathai; | Call Number: 004.33 Jos j | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result