| Your search for 45322 returns 805 document(s) |
| IT Value proposition in IT strategy maps |
|
Author: WIbowo, Arrianto Mukti | Call Number: Pub.Staf PN-0030 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Science Technology Human Value |
|
Call Number: [8 (1983): 1-4, 9 (19830: 1-4, 10 (1985): 1-4, 11 (1986): 1-3, 13 (1988): 3-4 (1989): 1-3, 10 (1994): 5-6] | Type: Jurnal/ Majalah
|
|
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
|
| 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
|
| 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
|
Search Result