Search Result Save to File Save as CSV
Your search for 37913 returns 89 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 
Automated Geometric Theorem Proving Diagram Generation and Applications (4)
Author: Xia-shan Gao; | Call Number: SEM-351 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Simple Local Interpolation of Surfaces Using Normal Vectors, page 327-348
Author: T. Nagata | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Next generation application integration: from simple information to web services
Author: Gold-Bernstein, Beth; | Call Number: 658.403 8 Gol e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Lessons learned from SUIT, the simple user interface toolkit, page 320
Author: Randy P. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Color by correlation: a simple, unifying framework for color constancy, page 1209
Author: G.D. Finalyson | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
A Simple strategy for calibrating the geometry of light sources, page 1022
Author: M.W. Powell | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Cryptanalysis terhadap simple substitution cipher menggunakan algoritma genetik, Hal. III.1-III.10
Author: Christianus Santosa D.S; Nico Saputro; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Damping oscillating simulation in a simple power system using pole placement, Hal. IV.1-IV.4
Author: Sabat Anwari; Waluyo; Nasron Haryanto; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9  Next