| Your search for 26193 returns 2717 document(s) |
| Fast reliable tracking under varying illumination: an approach based on registration of textured-mapped 3D models, page 322 |
|
Author: M. La Cascia | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Energy consumption analysis of modified AODV routing protocol under random waypoint and reference point group mobility models, hal. 51-55 |
|
Author: Harris Simaremare, Abdusy Syarif, Abdelhafid Abouaissa, Riri Fitri Sari, Pascal Lorenz; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Query answering and containment for regular queries under distortions, LNCS-Lecture Notes in Computer Science 2898), Hal. 98-115 |
|
Author: Gosta Grahne; Alex Thomo; | Call Number: 006.33Sei f | 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
|
Search Result