BOT Project Financing Risk Evaluation Based on Fuzzy-AHP Method (V2-391--V2-394)
Type: Indeks Artikel prosiding/Sem
Call Number | 004.33 Mal h |
Collection Type | Indeks Artikel LNCS |
Title | A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32 |
Author | Jurgen Ruf; Thomas Kropf; |
Publisher | |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
004.33 Mal h | TERSEDIA |