Search Result
Save to File
Your search for
52226
returns
950
document(s)
A simple constructive computability theorem for wait-free compotation,Hal 243-252
Author: Maurice Herlihy; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Proses verifikasi prinati lunak basis data dengan lingu dan theorem prover hol
Call Number: 005 Pro | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
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
Pengembangan Komponen Javabeans untuk Simulasi Diagram Pada Materi Pengajaran/ Mukhlisoh Urfah
Author: Urfah, Mukhlisoh; | Call Number: KP-0600 (Softkopi KP-170) | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Parser Untuk UML Class Diagram Menggunakan Bahasa Pemograman Pyhton
Author: Hafiyyan Sayyid Fadhliliah; | Call Number: TR-CSUI/016 (015-020)2019 | Type: Technical Report
Find Similar
|
Add To Favorites
|
Detail in New Window
Verifikasi Sistem Berparameter Secara Formal Dengan Diagram Predikat Berparameter (154-159)
Author: Cecilia E. Nugraheni; | Call Number: SEM-337 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
The Evoluation of Internet Marketing: Kolistic Diagram of Underlying Theories (V2-318--V2-322)
Author: Rashad Yazdanifard Wan Fadzillah Wan Yusoff Azade Dehghan Pour Ludovic Froget; | Call Number: SEM-328 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
3
4
5
6
7
8
9
10
11
12
Next