Search Result Save to File Save as CSV
Your search for 37961 returns 331 document(s)
Alpha-algorithms for incremental planarity testing(Extended Abstract),Hal 706-715
Author: J.A.La Poutre; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Extended Abstract
Author: John E. Savage; | Call Number: SEM-212 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Proof analysis by resolution (extended abstract), Hal,.417-531
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A Cooperative design for hybrid systems (extended abstract), Hal. 15-20
Author: Belawati H. Widjaja; Chen Zongji; He Weidong; Zhou Chaochen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Computational complexity and knowledge complexity(Extended Abstract),Hal 534-543
Author: Oded Goldreich; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A minimal model for secure computation(extended abstract),Hal 554-563
Author: Uri Feige; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Interval Queries on Object Histories: Extended Abstract (208-217)
Author: S. Ginsberg K. Tanaka; | Call Number: SEM-346 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Interpreting a Reconstructed Relation Calculus: Extended Abstract (367-376)
Author: Aaron Watters; | Call Number: SEM-245 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Dynamic Parallel Tree Contraction* (Extended Abstract)
Author: John H. Reift, Stephen R. Tate; | Call Number: SEM-212 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Abstract behavioral specification-based testing method for software product lines
Author: Ricky Timothy Gultom; | Call Number: T-1094 (Softcopy T-803) Source code T-228 | Edition: 2015 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next