Search Result
Save to File
Your search for
36329
returns
476
document(s)
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem proverhol/ Octavianus Adrianto
Author: Octavianus Adriato; | Call Number: SK-0382 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Digital systems design and prototyping: using field programmabel logic and hardware description languages 2 nd ed
Author: Salcic, Zoran; | Call Number: 621.395 Sal d | Type: Softcopy Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Digital fundamentals with VHDL
Author: Floyd, Thomas L.; | Call Number: 628.3 Flo d | Type: Softcopy Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic as grammar: an approach to meaning in natural language/ Norbert Hornstein
Author: Hornstein, Norbert; | Call Number: 415 Hor l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Digital system design and microprocessors
Author: Hayes, John D.; | Call Number: 004.16 Hay d | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Natural language understanding and logic progrmming II
Call Number: 006.35 Nat | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Digital logic and computer design
Author: Mano, M. Morris; | Call Number: 621.381 Man d | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Content-based image retrieval with emergence index using fuzzy logic, HAL. 155 - 161
Author: Sagarmay Deb; Siddhivinayak Kulkarni; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
17
18
19
20
21
22
23
24
25
26
Next