Your search for 37913 returns 89 document(s) |
GPSS: Simulation made simple/ Thomas M. O'Donovan |
Author: O'Donovan, Thomas M.; | Call Number: 001.424 Odn g | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic logic & mechanical theorem proving/Chin-Liang Chang |
Author: Chang, Chin Liang; | Call Number: 511.3 Cha s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Rounding theorem the possibility of applying cryptosystems on decimal numbers, page 15-20 |
Author: Rand Alfaris; Muhamad Rezal Kamel Arifin and Mohemed Rushdan Md said | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Solving for set variables in higher-order theorem proving, Hal. 408-414 |
Author: Chad E. Brwon; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | 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
|
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier |
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | 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
|
Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | 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
|