| Your search for 37158 returns 197 document(s) |
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan modul input, output, verification, dan correction pada value added tax system PT IBM Indonesia |
|
Author: Sergio Panjaitan; | Call Number: KP-0788 (Softkopi KP-354) (SCKP-222) | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan modul input, output, verification, correction dan reporting pada value added tax system PT. IBM Indonesia |
|
Author: Daniel Cahyadi; Phyllisia Angelia; Richard Lokasasmita; | Call Number: KP-0857 (Softkopi KP-0424) SCKP-0279 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Driver Identication and Driver's Emotion Verification using KDE and MLP Neural Networks (E96-E101) |
|
Author: Norzaliza Md Nor
Prof Abdul wahab; | Call Number: SEM-384 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New Methods and Tool for the Development and Verification of Safety Functions during Development of Pedestrian Detection Systems (434-438) |
|
Author: Hadj Hamma Tadjine
Karsten Schulze
Rene Roelling
Herold Daniel; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi |
|
Author: Maringan Situmeang; | Call Number: T-0364 | Edition: 2002 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan sistem pelatihan ONLINE pada institusi pendidikan non formal: studi kasus PT. MITRA SOLUSI TEKNOLOGI MANDIRI |
|
Author: Darmawan B. Napitupulu; | Call Number: PA-0028 (Softcopy PA-0028) | Edition: 2004 | Type: Proyek Akhir (PA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal aspects of concurrency control on long-duration transaction systems using the NT/PV model, page 492 |
|
Author: Korth, Henry F. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Consistency, standards, and formal approaches to interface development and evaluation: a note on wiecha, bennett boies, gould and greene |
|
Author: Jonathan Grudin | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result