| Your search for 53677 returns 916 document(s) |
| Getting Image Diversity using Textual and Visual Features (387-391) |
|
Author: Bilih Priyogi
Mirna Adriani; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using set for science electronic commerce/Grady N. Drew |
|
Author: Drew, Grady W.; | Call Number: 005.8 Dre u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| General information theory: some macroscopic dynamics of the human thinking systems, page 275 |
|
Author: Liang Thow-Yick | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some aspect of dependability based trust in IP-Network for the mission critical real-time services, HAL. 1229-1234 |
|
Author: Rajiv Kumar and Krishna Gopal; | Call Number: SEM-291B | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some simple effective approzimation to the 2 poisson model for probalistic weighted retrieval, Hal. 232 |
|
Author: S.E. Robertson; | Call Number: SEM-256 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some application of polynomials for the design of cryptographic protocols, (LNCS-Lecture Notes in Computer Science 2576) Hal 1-13 |
|
Author: Eyal Kushilevitz; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effecient zero-knowledge proofs for some practical graph problems, (LNCS-Lecture Notes in Computer Science 2576) Hal 290-302 |
|
Author: Yvo Desmedt; Yongge Wang; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some thoughts on statecharts, 13 years later, (LNCS-Lecture Notes in Computer Science 1254) Hal 226-231 |
|
Author: David Harel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some progress in the symbolic verification of timed automata, (LNCS-Lecture Notes in Computer Science 1254) Hal 179-190 |
|
Author: Marius Bozga; Oded Maler; Amir Pnueli; Sergio Yovine; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture Notes in Computer Science 670) Hal 482-500 |
|
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result