Search Result Save to File Save as CSV
Your search for 14371 returns 1060 document(s)
A coding theorem for distributed computation,Hal 790-799
Author: Sridhar Rajagopalan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Description Logics for Semantic Query Optimization in Object-Oriented Database Systems
Author: D. Beneventano, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Hylores 1.0: direct resolution fo hybrid logics, Hal. 156-160
Author: Carlos Arecess and Juan Hegulabehere; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80
Author: Thomas Wilke; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An embedded software primer
Author: Simon, David E.; | Call Number: 004.33 Sim e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Building embedded linux systems
Author: Yaghmour, Karim; | Call Number: 005.43 Yag b | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Embedded Linux/ John Lambarado
Author: Lombardo, John; | Call Number: 005.43 Lom e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Two prover protocols-low error at affordable rates,hal 172-183
Author: Uriel Feige; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next