Search Result Save to File Save as CSV
Your search for 14371 returns 1060 document(s)
Eksperimen formalisasi dalam sistem hol dengan studi kasus teori graph/ Ricky Suryadharma
Author: Ricky Suryadharma; | Call Number: SK-0779 (Softcopy SK-261) Source code SK-237 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Lifter: Language to Encode Induction Heuristics for Isabelle/HOL (266-287)
Author: Yutaka Nagashima; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
What is embedded computing? Page 136
Author: Wayne Wolf | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
On optimal packetization of embedded bitstream, Hal. 82-85
Author: Ziriang Xiong; Xiaolin Wu; | Call Number: SEM-259 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Embedded systems design/Steve heath
Author: Heath, Steve; | Call Number: 004.33 Hea e | Edition: 1997 | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Note on equivalences among logics of program,(LNCS-Lecture Notes in Computer Science 999) Hal. 282-299
Author: Albert R. Meyer; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Programming in c++
Author: Dewhurst, Stephen C.; | Call Number: 005.133 Dew p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Programming F#
Author: Smith, Chris; | Call Number: 006.7 Smi p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next