| Your search for 47870 returns 1393 document(s) |
| On Strings in Software Model Checking (19-30) |
|
Author: Hossein Hojjat
Philipp Rummer
Ali Shamakhi; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| E-Government Performance Based Model (143-148) |
|
Author: Frans Richard Kodong; | Call Number: SEM-313 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Consistency Analysis In AHP Model (102) |
|
Author: Karel Mls
Martin Gavalec; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PERANCANGAN MODEL INTERAKSI PADA SISTEM KOLABORASI |
|
Author: Rini Astriya, Sali Alas Majapahit, Shanti Herliani; | Call Number: SEM-361 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan sisem transformasi dari cardinalily based feature model menjadi common variabllity language model dalam konteks model driven engineering |
|
Author: Wahyudianto; | Call Number: T-1047 (Softcopy T-756) Source Code T-188 | Edition: 2014 | Type: Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modified niche with flow of wind for multiple odor source localization problems in dynamic environments: simulation and measurement/ Wisnu Jatmiko; R. Efendi ; A. Nugraha; B. Kusumoputro; J. Perkasa ; A. Buono; K. Sekiyana and T. Fukuda |
|
Author: Jatmiko, Wisnu; Nugraha, A; Efendi R.; Perkasa, J. Kusumputro, Benyamin; Murasnto, P; Muis, A; Sekiyama ; Fukuta, T. | Call Number: Pub.Staf PI-0040 | Type: Prosiding Internasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modern database systems: the object model, interoperability, and beyond |
|
Call Number: 005.75 Mod | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multi-Valued Symbolic Model-Checking, page 371-408 |
|
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Economic Payout Model for Service Guarantees, page 197-220 |
|
Author: Tim Baker, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Generic Model for Reflective Design, page 199-235 |
|
Author: Panagiotis Louridas, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result