Your search for 38837 returns 3616 document(s) |
Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432 |
Author: Marcus Vinicius Santos; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallelizing union-find in constraint handling rules using confluence analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 113-127 |
Author: Thom Fruhwirth; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390 |
Author: Anuj Puri and Pravin Varniya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Design and synthesis of synchronization skeletons using brancing time temporal logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 52-71 |
Author: Edmund M. Clarke; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multilingual information retrieval using english and chiness queries (LNCS-Lecture Notes in Computer Science 2406) Hal.44-58 |
Author: Aitao Chen; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using statistical translation models for billingual IR, (LNCS-Lecture Notes in Computer Science 2406), hal. 137-150 |
Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cross-lingual pseudo-relevance feedback using a comparable corpus, (LNCS-Lecture Notes in Computer Science 2406), Hal. 151-157 |
Author: Monica Rogati and Yiming Yang; | Call Number: 005.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
English-Dutch CLIR using query translation techniques, (LNCS-Lecture Notes in Computer Science 2406), Hal. 319-225) |
Author: Mirna Adriani; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using the web information structures for retrieving web pages, (LNCS-Lecture Notes in Computer Science 4022), Hal. 892-897 |
Author: Mirna Adriani and Rama Pandugita; | Call Number: 025.004 Acc | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using feedback to improve masquerade detection, (LNCS-Lecture Notes in Computer Science 2846)Hal. 48-62 |
Author: Kwong H. Yung; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|