Search Result Save to File Save as CSV
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