| Your search for 13420 returns 4327 document(s) |
| Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs, page 51-93 |
|
Author: James C. Corbett | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Creating High-Value Real-World Impact through Systematic Programs of Research, Page 335-351 |
|
Author: Jay F. Nunamaker, Nathan W. Twyman, Justin Scott Giboney, and Robert O. Briggs | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic proof, and sets/ Marvn L. Bittinger |
|
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, page 478-526 |
|
Author: M. F. Frias, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic Quota-based Admission Control with Sub-rating in Multimedia Servers, page 83-91 |
|
Author: S. -T. Cheng, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic end-to-end QoS Management Middleware for Distributed Multimedia Systems, page 431-442 |
|
Author: D. J. Ecklund, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic Indexing for Multidimensional Nonordered Discrete Data Spaces Using a Data-Partitioning Approach, page 439-484 |
|
Author: G. Qian, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic characterization of cluster structures for robust and inductive support vector clustering, page 1869 |
|
Author: J. Lee | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Price discrimination in e-commerce? An examination of dynamic pricing in name-your-own price markets, page 81-98 |
|
Author: Oliver Hinz, Il-Horn Hann, and Martin Spann | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Attention-based dynamic visual search using Inner-scene similarity: algorithms and bounds, page 251 |
|
Author: T. Avraham | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result