| Your search for 47870 returns 1352 document(s) |
| Model checking |
|
Author: Clarke, Edmund M.; | Call Number: 004.21 Cla m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| TRS-80 graphic: for the model I. and model III |
|
Author: Kater, David A.; | Call Number: 006.6 Kat t | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Partition model: a deductive database model, page 1 |
|
Author: Nicolas S. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teknik model sarang (nested model) dalam hidrodinamika,Hal 241-254 |
|
Author: Dadang K.Mihardja; M.Suhardjono Fitriyanto; | Call Number: SEM-200 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Modeling Framework for Supply Chain Simulation: Opportunities for Improved Decision-Making, page 65-96 |
|
Author: D. J. Van der Zee, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation studies of different dimensions of users interests and their impact on user modeling and information filtering [P 199-223] |
|
Author: Mostafa, Javed | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel simulation environment and its application in groundwater flow (Proposal URGE) Project Bacth IV, 1998/1999 |
|
Author: T. Basaruddin | Call Number: PRO-URGE-1998-002 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation and analysis of optimum energy flow for an off-grid hybrid power-system, HAL. 329-322 |
|
Author: Ismail Yusuf; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simulation of natural gas EOS (Equation of State) investigation using Pengrobinson EOS, HAL. 940-948 |
|
Author: M. Farzaneh Gord; K. Moradi; R. Mohebbi; M.J. Maghrebi; S. Hashemi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Comparative evaluation of sorted priority algorithms and class based queueing using simulation, Hal. 99-105 |
|
Author: Phyllis Callinan; Mehdi Witwit; Frank Ball; | Call Number: SEM-260 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result