Search Result Save to File Save as CSV
Your search for 38655 returns 4654 document(s)
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254) Hal 412-423
Author: A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
From duration calculus to linear hybrid automata (extended abstract), (LNCS-Lecture Notes in Computer Science 939) Hal 196-210
Author: Ahmed Bouajjani; Yassine Lakhnech; Riadh Robbana; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Abduction of linear arithmetic constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 174-188
Author: Michael J.Maher; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Timing attack against implementation of a parallel algorithm for modular exponentiation, (LNCS-Lecture Notes in Computer Science 2576) Hal 319-330
Author: Yasuyuki Sakai; Kouichi Sakurai; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Design and implementation of an accelerated gabor filter bank using parallel hardware, (LNCS-Lecture Notes in Computer Science 2147) Hal 451-460
Author: Nikolaus VoR; Barbel Mertsching; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Parallel local search in comet, (LNCS-Lecture Notes in Computer Science 3709) Hal 430-444
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Teraflops computing: a challenge to parallel numerics? (LNCS-Lecture Notes in Computer Science 1926) Hal 1-12
Author: Friedel Hossfeld; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
On the model checking problem for branching time logics and basic parallel processes, (LNCS-Lecture Notes in Computer Science 939) Hal 353-366
Author: Javier Esparza; Astrid Kiehn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
The parallel abstract machine : a common execution model for FDTs, (LNCS-Lecture Notes in Computer Science 670) Hal 285-293
Author: Guillaume Doumenc; Jean-Francois Monin; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next