Search Result
Save to File
Your search for
4542
returns
736
document(s)
Implementasi pencarian pola sekuensial menggunakan algoritma generalized sequential pattern
Author: Juliana Anita Galag; | Call Number: SK-1057 (Softcopy SK-538) Source Code SK-390 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Implementasi sekuensial algoritma thinking parallel penuh/ Idauli Laurens Tamarin
Author: Idauli Laurens Tamarin; | Call Number: SK-0540(Softkopi SK-96) | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Understanding formal methods
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal languages and their relation to automata
Author: Hopcroft, John E.; | Call Number: 519.766 Hop f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Methods in Artificial Intelligence
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal languages/ Arto Salomma
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Embedded programming logics in HOL theorem prover, hal 18-24
Author: A. Azurat ISWB P. and SD Swierstra | Call Number: JIKT-2-1-Mei2002-18 | Type: UI-ana Indek Artikel
Find Similar
|
Add To Favorites
|
Detail in New Window
The reflection theorem: a study in meta-theoretic reasoning, Hal. 375-391
Author: Lawrence C. Paulson; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Theorem proving untuk linear logic dan implementasinya dalam prolog
Author: Satyadharma Tirtarasa; | Call Number: SK-1163 (Softcopy SK-645) | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next