Your search for 41823 returns 2784 document(s) |
Blocking techniques in numerical software, (LNCS-Lecture Notes in Computer Science 1557) Hal 127-139 |
Author: Wilfried N. Gansterer; Dieter F. Kvasnicka; Cristoph W. Ueberhuber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Boolean and 2-adic numbers based techniques for verifying synchronous designs, (LNCS-Lecture Notes in Computer Science 1254) Hal 303 |
Author: Gerard Berry; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Entity authentication and authenticated key transport protocols employing asymmetric techniques, (LNCS-Lecture Notes in Computer Science 1361) Hal 137-158 |
Author: Simon Blake-Wilson; Alfred Menezes; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Automatic abstraction techniques for propositional u-calculus model checking, (LNCS-Lecture Notes in Computer Science 1254) Hal 12-23 |
Author: Abelardo Pardo; Gary D. Hachtel; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616 |
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Techniques for scalling up analyses based on pre-interpretations, (LNCS-Lecture Notes in Computer Science 3668) Hal 280-296 |
Author: John P. Gallagher; Kim S. Henriksen; Gourinath Banda; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Query expansion using heterogeneous thesauri, page 361 |
Author: Rila Mandala | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Query expansion using lexical-semantic relations, Hal. 61-69 |
Author: Ellen M. Voorhees; | Call Number: SEM-257 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The potential and actual effectiveness of interactive query expansion, Hal. 324-332 |
Author: Mark Magenis and Cornelis J. Van Rijsbergen; | Call Number: SEM-249 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A deductive data model for query expansion, Hal. 235-243 |
Author: Kalervo Jarvelin, Jaana Kristensen; Timo Niemi; Eero Sormunen and Heikki Keskustalo; | Call Number: SEM-248 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|