Your search for 39698 returns 4450 document(s) |
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
|
Working with Russian queries for GIRT bilingual and multilingual CLEF taks, (LNCS-Lecture Notes in Computer Science 2406), Hal. 235-243 |
Author: Frederick C. Gey; Hailing Jiang; and Natalia Perelman; | Call Number: 025.04 Eva | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Query answering and containment for regular queries under distortions, LNCS-Lecture Notes in Computer Science 2898), Hal. 98-115 |
Author: Gosta Grahne; Alex Thomo; | Call Number: 006.33Sei f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47 |
Author: Jean-Francois Raskin; Pierre-Yves Schobbens; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 450-451 |
Author: Jon Sneyers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modeling constraint programs with software technology standards, (LNCS-Lecture Notes in Computer Science 3709) Hal 850 |
Author: Matthias Hoche; Stefan Jahnichen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17 |
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Inter-procedural analysis for parallelization of java programs, (LNCS-Lecture Notes in Computer Science 1557) Hal 594-595 |
Author: Antonio Magnaghi; Shuichi Sakai; Hidehiko Tanaka; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On polynomial-size programs winning finite-state games, (LNCS-Lecture Notes in Computer Science 939) Hal 239-252 |
Author: Helmut Lescow; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|