Your search for 38815 returns 3142 document(s) |
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
|
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
|
An overview of the SPRINT method, (LNCS-Lecture Notes in Computer Science 670) Hal 403-427 |
Author: H.B.M. Jonkers; | 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
|
Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8 |
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|