| Your search for 36329 returns 476 document(s) |
| Integrasi model checking dengan interactive theorem proving: pembuatan skrip pembuktian secara otomatis/ M. Eva Magdalena |
|
Author: Eva Magdalena M.; | Call Number: SK-0331 | Edition: I.S.W.B.Prasetya,Ph.D | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perbandingan metode evaluasi kurvatur dalam menentukan bentuk permukaan bidang pada model faset 3D/ Priadhana Edi Kresnha |
|
Author: Priandhana Edi Kresnha; | Call Number: SK-0683 (Softcopy SK-0164) Source Code SK-0155 | Edition: Suryana Setiawan | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits |
|
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of time and computation |
|
Author: Goldblatt, Robert; | Call Number: 160 Gol l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal logic: its scope and limits/ Richard Jeffrey |
|
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Deductive logic and Description language/ Frank R. Harrison III |
|
Author: Harrison, Frank R.; | Call Number: 511.3 Har d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rancang bangun aplikasi sistem pakar untuk menganalisa penyebab kerusakan komputer, HAL. D.1-D.4 |
|
Author: Ilham M. Said Jazuli; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ANALISIS ALGORITMA HYBRID ANT COLONY OPTIMIZATION (ACO) DAN LOCAL SEARCH UNTUK OPTIMASI PEMOTONGAN BAHAN BAKU |
|
Author: Warih Maharani; | Call Number: SEM-341 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rancang Bangun Aplikasi Perangkat Lunak Bantu Penyelasaian Masalah State Dan Space,15-21 |
|
Author: Agus Perdana Windarto, Poningsih; | Call Number: SEM-342 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result