Search Result Save to File Save as CSV
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