Search Result
Save to File
Your search for
4542
returns
736
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
Bunga rampai perundangan lingkungan hidup
Call Number: 344.046 Bun | Type: Buku MPKT
Find Similar
|
Add To Favorites
|
Detail in New Window
Perbaikan Kinerja Algoritma Triangulasi Delaunay Sekuensial dan Implementasinya pada Sistem Komputasi Paralel Berbasis PC
Author: Eko Sediyono; | Call Number: Ringdis-008 | Type: Ringkasan Disertasi
Find Similar
|
Add To Favorites
|
Detail in New Window
ALGORITMA GENERALIZED SEQUENTIAL PATTERN UNTUK MENGGALI DATA SEKUENSIAL SIRKULASI BUKU PADA PERPUSTAKAAN UK PETRA
Author: Gregorius Satia Budhi, Andreas Handojo, Christine Oktavina Wirawan; | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Aplikasi Graph Search Technique Pada Penentuan Pola sekuensial ( Studi Kasus: Data Transaksi Perpustakaan IPB),437-444
Author: Iman S. Sitanggang, Hamzah Agung, Firman Ardiansyah; | Call Number: SEM-344 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Perbaikan Kinerja Algoritma Triangulasi Delaunay Sekuensial dan Implementasinya pada Sistem Komputasi Paralel Berbasis PC
Author: Eko Sediyono; | Call Number: DIS-008 (Softcopy DIS-003) Source Code Dis-002 | Type: Disertasi
Find Similar
|
Add To Favorites
|
Detail in New Window
Guide to IFPS (interactive planning system)
Author: Gray, Paul; | Call Number: 658.15 Gra g | Edition: 6th edition | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
APL an interactive approach 2nd ed.
Author: Gilman, Leonard; | Call Number: 005.133 Gil d | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
3
4
5
6
7
8
9
10
11
12
Next