| Your search for 41546 returns 4967 document(s) |
| Deterministic Optimal Routing for Two Heterogeneous Parallel Servers (46-55) |
|
Author: K. Oida
K. Shinjo; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| E-Commerce and the Undulating Distribution Channel |
|
Author: John M. Gallaugher | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Paradigm Shift in the Distribution of Multimedia |
|
Author: Gerard Parr, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Production palnning and inventory control |
|
Author: Magee, John F.; | Call Number: 658.503 Mag p | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Penentuan model hybrid algoritma genetika simulated annealing peramalan data time series, Hal. 268-272 |
|
Author: Arna Fariza; Joko Lianto Buliati; Yudhi Purwantho; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Local model checking for real-time systems (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 211-224 |
|
Author: Oleg V. Sokolsky; Scott A. Smolka; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366 |
|
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
|
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis of denial-of service attack resistance using a real-time model checker, 159-163 |
|
Author: Tatsuya ARAI, Shin-ya NISHIZAKI; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An alternative structure of predictive functional control based on second-order plus lag time model, 228-232 |
|
Author: Zeng Zhiwei, Ma Xin, Zhang Beike, Wang Ping; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result