Search Result
Save to File
Your search for
36734
returns
1321
document(s)
Godel's theorem: an incomplete guide to its use and abuse/ Torkel Franzen
Author: Franzen, Torkel; | Call Number: 511.3 Fra g | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Program Simulasi Untuk Realisasi Struktur Tapis Infinite Impulse Response Untuk Media Pembelajaran Digital Signal Processing (hal 249-255)
Author: Damar Widjaja, Teresia Herlina Bintari, Bayu Primawan; | Call Number: SEM-370 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Database Theory: Relational Queries over Interpreted Structure
Author: M. Benedict, [et all] | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Berhemat dengan fax over IP, page 42
Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Tempest over web-authoring tools, page 12
Author: Steven J.V. | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
GIOSS: text-source discovery over the internet
Author: Luis Gravano | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
6
7
8
9
10
11
12
13
14
15
Next