| Your search for 37341 returns 282 document(s) |
| Decision procedure of lifetime performance assessment of rayleigh products under progressively type II right censored samples, 225-237 |
|
Author: Chin-Chuan wu, Li-Ching Chen; Yi-Jie Chen | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Computer Science 1254) Hal 232-243 |
|
Author: Viktor Gyuris; A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422 |
|
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of real-time systems by successive over and under approximation, (LNCS-Lecture Notes in Computer Science 939) Hal 409-422 |
|
Author: David L. Dill; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
|
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Sufficient Condition for strong equivalence under the well-founded semantics, ((LNCS-Lecture Notes in Computer Science 3668) Hal 414-415 |
|
Author: Christos Nomikos; Panos Rondogiannis; William W. Wadge; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Supply chain decisions under retailer-managed inventory and vendor-managed inventory systems, 233-235 |
|
Author: Liang-Tu Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Potential field based multi-UAVs inbight path planning under uncertain environment, 476-479 |
|
Author: G.Z. Zhang*, W.B Zhao, Z.X. Qian, T. Wang; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Allocation under uncertainty equilibrium and optimality: proceedings from a workshop sponsored by International Economic Association/ edited by Jacques H. Dreze |
|
Author: Dreze, Jacques H.; | Call Number: 330.154 3 Dre a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Technical report: P-129: changes and enhancements in the base SAS and SAS/GRAPH products under AOS/VS, version 4 |
|
Call Number: SEM-046 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result