Search Result Save to File Save as CSV
Your search for 38529 returns 2330 document(s)
Computing super-schedules, (LNCS-Lecture Notes in Computer Science 3709) Hal 879
Author: Emmanuel Hebrard; Paul Tyler; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Capitalization recovery for text, (LNCS-Lecture Notes in Computer Science 2773) Hal 11-22
Author: Eric W. Brown; Anni R. Coden; | Call Number: 006.4 Cod i | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201
Author: Ron van der Meyden; Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Probabilistic neighbourhood logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 264-275
Author: Dimitar P. Guelev; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
HPF and numerical libraries, (LNCS-Lecture Notes in Computer Science 1557) Hal 140-152
Author: Harald J. Ehold; Wilfried N. Gansterer; Dieter F. Kvasnicka; Christoph W. Ueberhuber; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The lyapunov method ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 2
Author: Zvi Artstein; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
From quantity to quality, (LNCS-Lecture Notes in Computer Science 1201) Hal 48-62
Author: Thomas A. Henzinger; Orna Kupferman; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Hybrid dynamic programming, (LNCS-Lecture Notes in Computer Science 1201) Hal 391-396
Author: Wolf Kohn; Jeffrey B. Remmel; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Parallelizing the mur verifier, (LNCS-Lecture Notes in Computer Science 1254) Hal 256-267
Author: Ulrich Stern; David L. Dill; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next