Search Result Save to File Save as CSV
Your search for 38805 returns 4093 document(s)
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 
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 
Encoding w: a logic z in 2obj, (LNCS-Lecture Notes in Computer Science 670) Hal 462-481
Author: Andrew Martin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Hypergraph transversals, (LNCS-Lecture Notes in Computer Science 999)Hal. 13
Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The Z eves system, (LNCS-Lecture Notes in Computer Science 1212) Hal. 72-65
Author: Mark Saaltink; | Call Number: 005.133 Bow z | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   18 19 20 21 22 23 24 25 26 27  Next