Search Result
| Your search for 4542 returns 736 document(s) |
| Formalization of TLA + in HOL Theorem Prover (419-422) |
| Author: Iis Solichah Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Lingkungan pervasive computing |
| Author: Sunario Megawan; | Call Number: TR-CSUI-007-2011 | Type: Technical Report |
| Find Similar | Add To Favorites | Detail in New Window |
| Verifikasi concurrent system dengan model checker SMV |
| Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional |
| Find Similar | Add To Favorites | Detail in New Window |
| Verifikasi dan sertifikasi perangkat lunak berbasis komponen |
| Author: Ario Santoso; Daniel Cahyadi; Richard Loksasmita; | Call Number: SEM-283 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352 |
| Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem |
| Find Similar | Add To Favorites | Detail in New Window |
| Formalisasi dan verifikasi protokol komunikasi/ Evita M. Sibarani |
| Author: Evita Marlinang Sibarani; | Call Number: SK-0337 | Edition: Wishnu Prasetya | Type: Skripsi |
| Find Similar | Add To Favorites | Detail in New Window |
| Formalisasi dan verifikasi sistem pengendali lalu lintas/ Manogari Simanjuntak |
| Author: Manogari Simanjuntak; | Call Number: SK-0371 | Edition: Wishnu Prasetya | Type: Skripsi |
| Find Similar | Add To Favorites | Detail in New Window |
| Rancangan, verifikasi dan validasi sistem pengendali banjir |
| Author: Bib Paruhum Silalahi; | Call Number: T-0147 | Edition: 1999 | Type: Tesis |
| Find Similar | Add To Favorites | Detail in New Window |
| Perl 5 interactive course |
| Author: Orwant, Jon; | Call Number: 005.133 Orw p | Type: Softcopy Buku |
| Find Similar | Add To Favorites | Detail in New Window |
| TREC interactive with cheshire II |
| Author: Ray R. Larson | Type: Indeks Artikel Jurnal |
| Find Similar | Add To Favorites | Detail in New Window |
| Prev 1 2 3 4 5 6 7 8 9 10 Next |