| Your search for 52226 returns 950 document(s) |
| A Semantic Web Approach For Automated Test Generation (235-241) |
|
Author: Bogdan Dragulescu
Marian Bucos
Radiu Vasiu; | Call Number: SEM-329 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11 |
|
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Geometric principles and procedure for computer graphic applications/ Sylban H. Chasen |
|
Author: Chasen, Sylvan H.; | Call Number: 006.6 Cha g | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fourth-generation systems vol. 3 4 GLS from IBM |
|
Author: Martin, James; | Call Number: 005.13 Mar f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Integrating Automated Test Generation into the WYSIWYT Spreadsheet Testing Methodology, page 150-194 |
|
Author: M. Fisher II, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automated reasoning: introduction and applications/ Larry Wos |
|
Author: Woss, Larry; | Call Number: 006.3 Aut | 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
|
| Verifikasi protokol otentikasi Horn-Preneel menggunakan A VISPA (Automated Validation of Internet Security Protocols and Applications) |
|
Author: Ilham Kurnia; | Call Number: SK-0618 (Softkopi SK-99) Source Code SK-88 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving programs correct |
|
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result