Your search for 43714 returns 3738 document(s) |
Abstract data conversion/Nico Verwer |
Author: Verwer, Nico; | Call Number: 005.72 Ver a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Programming Languages: Making Abstract Interpretations Complete |
Author: R. Giacobazzi, [et all] | Type: Indeks Artikel Jurnal
|
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
|
Combinations of abstract domains for logic programming,Hal 227-239 |
Author: Agostino Cortesi; Baudouin Le Charlier; Pascal Van Hentenryck; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The term retrieval abstract machine (hal 154 - 164) |
Author: Michael Ley; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Schaum's outline of abstract algebra/Deborah C. Arangno |
Author: Aragno, Deborah C.; | Call Number: 512.02 Ara s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Elements of abstract harmonic analsyis/ George Bachman |
Author: Bachman, George; | Call Number: 515.53 Bac e | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|