| Your search for 53677 returns 926 document(s) |
| 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
|
| Mind Your Language: Some Information Retrieval and Natural Language Processing Issue in the Development of an Indonesian Digital Library (hal 61-64) |
|
Author: Stephane Bressan, Mirna Adriani, Zainal A. Hasibuan, Bobby Nazief; | Call Number: SEM-369 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Some develope in interactive calculus on-line learning system for industrial vocational high school (342-347) |
|
Author: Yoau-chau jeng ph.D, Ching-an chen, Hung-tsung ko,Ming-gong lee ph.D; | Call Number: SEM-355 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Problems of OFDM and MIMO Appliied in CR ad hoc network and Methods to some of Those Problems (V1-319 -- V1-323) |
|
Author: Dangton Liu
Hongsen Yu
Sijia Huang; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Microcomputer applications |
|
Author: Grauer, Robert T.; | Call Number: 004.16 Gra m | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| E-kiosk sebagai sarana pengaksesan informasi publik di Bandara, Hal. V.64-V.68 |
|
Author: Lisana; | Call Number: SEM-272 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result