| Your search for 38322 returns 3915 document(s) |
| Parallel numerical algorithms for distributed memory machines, (LNCS-Lecture Notes in Computer Science 1557) Hal 581-583 |
|
Author: Pierre Bassomo; Ibrahima Sakho; Annie Corbel; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53 |
|
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
|
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| For net: a distributed forensics networks, (LNCS-Lecture Notes in Computer Science 2776), Hal. 1-16 |
|
Author: Kulesh Shammugasundaram, Nasir Memon; Anubhav Savant, and Herve Bronnimann; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proving concurrent constraint programs correct,Hlm 98-108 |
|
Author: Frank S.de Boer; Maurizio Gabbrielli; Elena Marchiori; Catuscia Palamidessi; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Common vulnerability markup language, (LNCS-Lecture Notes in Computer Science 2576) Hal 228-240 |
|
Author: Haitao Tian; Liusheng Huang; Zhi Zhou; Hui Zhang; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 5-8 |
|
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CoJava: A unified language for simulation and optimization, (LNCS-Lecture Notes in Computer Science 3709) Hal 877 |
|
Author: Alexander Brodsky; Hadon Nash; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Stemming evaluaed in 6 language by hummingbird searchsever TM at CLEF 2001, (LNCS-Lecture Notes in Computer Science 2406), Hal. 278-287 |
|
Author: Stephen Tomlinson; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Noun phrase translation for cross-language document selection, (LNCS-Lecture Notes in Computer Science 2406), Hal. 320-331 |
|
Author: Fernando Lopex-ostenero, Julio Gonzalo, Anselmo Penas, and Felisa Verdejo; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result