| Your search for 47937 returns 134 document(s) |
| Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184 |
|
Author: Ian Hayes; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
|
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schaum's outline of theory and problems of : probability, random variables, and randoms process/Hewi P. Hsu |
|
Author: Hsu, Hwei P.; | Call Number: 519.207 6 Hsu s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Coherent computaional approach to model bottom-up visual attention, page 802 |
|
Author: O. Le Meur | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Teaming up to crack innovation and enterprise integration, page 90 |
|
Author: James I. Cash, Jr,. Michael J., Earl, and Robert Morison | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Building on intranet: a hands-on guide to sitting up an internal web |
|
Author: Evans, Tim; | Call Number: 004.678 Eva b | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A fast start-up and scalable algorithm for continuos media servers, HAL. 542-545 |
|
Author: P. Jayarekha, A.S. Manjunata; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formulating the Influence of Peer-to-Peer Systems Scale up on Access Transparency,Hal. 13-19 |
|
Author: Ehsan Mousavi Khaneghah,Seyedeh Leili Mirtaheri,Mohsen Sharifi,Zarrintaj Bornaee; | Call Number: SEM-305 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Simple rational guidance for chopping up transactions (hal 298 - 307 ) |
|
Author: Dennis Shasha, Eric Simon and Patrick Valduriez; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Building on intranet: a hands-on guide to sitting up an internal web |
|
Author: Evans, Tim; | Call Number: 004.678 Eva b | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result