| Your search for 24490 returns 1335 document(s) |
| Chess skill in man and machine/ edited by Peter W. Frey |
|
Author: Krutz, Ronald L.; | Call Number: 794.1 Che | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Managing for the future: the 1990s and beyond/ Peter F. Drucker |
|
Author: Drucker, Peter F.; | Call Number: 658 Dru m | Type: Buku
|
|
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
|
| Some observations on compositional semantics, (LNCS-Lecture Notes in Computer Science 131)Hal. 137-149 |
|
Author: Theo M.V. Janssen; Peter van Emde Bosa; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result