Search Result Save to File Save as CSV
Your search for 36732 returns 301 document(s)
Formalisasi algoritma aritmatika dan konstruksi terkait pada VHDL dengan HOL theorem prover
Author: Dwi Teguh Priyantini; | Call Number: T-1210 (Softcopy T-918) Source code -297 Mak T-020 | Edition: 2017 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formalization Of Arithmetic Algorithm In Vdhl Using Hol Theorem Prover
Author: Dwi Teguh Priyantini; Ade Azurat; | Call Number: Mak T Jilid 016-035 (T-1210) (Mak T-020) | Type: Makalah Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
GEM resource construction set/GEM RCS
Call Number: 006.602 GEM | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Distributed Computing: Tight Bounds for k-Set Agreement
Author: S. Chaudhuri, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Fuzzy set theory: foundations and applications/ George J. Klir
Author: Klir, George J.; | Call Number: 511.322 Kli f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Integral Dissipative set-valued maps, page 37-40
Author: Ogundiran, M.O. Ademola, T.A. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Percentli double ranked set sampling, page 60-64
Author: Amer Ibrahim Al-Omari and Khalifa H. Jaber | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Listening to TOEFL 4th ed. practice set A-B
Call Number: 425 Lis | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Listening to TOEFL 4th ed. practice set C-D
Call Number: 425 Lis | Type: Softcopy Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Using set for science electronic commerce/Grady N. Drew
Author: Drew, Grady W.; | Call Number: 005.8 Dre u | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next