| Your search for 40171 returns 1537 document(s) |
| Proof rules dealine with fairness, (LNCS-Lecture Notes in Computer Science 131) Hal. 1-8 |
|
Author: Krsystof R. Apt; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Harp: A distributed query system for legacy public libraries and structured database, apge 294 |
|
Author: EE-Peng Lim | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tatakelola teknologi informasi (good it governance) nasional dalam rangka good public & corporate governance (Proposal HIBAH PASCA) |
|
Author: Budi Yuwono | Call Number: PRO-HIBAH PASCA-2007-008 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Training evaluation on website construction as public information media for government high school in Palembang, Hal.B36-B40 |
|
Author: Bambang Tutuko; Siti Nurmaini; | Call Number: SEM-300 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A New Notion of Soundness in bare public-key model, (LNCS-Lecture Notes in Computer Science 2576) Hal 318-325 |
|
Author: Shirley H.C. Cheung; Xiaotie Deng; C.H. Lee; Yunlei Zhao; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| How to build evidence in a public-key infrastructure for multi-domain environments, (LNCS-Lecture Notes in Computer Science 1361) Hal 53-65 |
|
Author: Bruno Crispo; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Remote user authentication using public information, LNCS-Lecture Notes in Computer Science 2898), Hal. 360-369 |
|
Author: Chris J. Mitchell; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hidden Profiles in Corporate Prediction Markets: The Impact of Public Information Precision and Social Interactions, Page 1249-1273 |
|
Author: Liangfei Qiu, Hsing Kenneth Cheng, and Jingchuan Pu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reduced space classification using kernel dimensionality reduction for question classification in public health wuestion- answering (hal 187 - 192) |
|
Author: Hapnes Toba, Ito Wasito; | Call Number: SEM - 362 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result