Your search for 36805 returns 803 document(s) |
Multimedia programming: objects, environments and frameworks |
Author: Gibbs, Simon J.; | Call Number: 006.7 Gib m | Type: Buku
|
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
|
Time Parameterized Interval R-Tree for Tracing Tags in RFID Systems (503-513) |
Author: ChaeHoon Ban
BongHee Hong
DongHyun Kim; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
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
|
Symbolic logic & mechanical theorem proving/Chin-Liang Chang |
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving for set variables in higher-order theorem proving, Hal. 408-414 |
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|