| Your search for 38763 returns 5069 document(s) |
| PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440 |
|
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | 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
|
| Analysis of involutional ciphers: khazad and anubis, (LNCS-Lecture Notes in Computer Science 2887) Hal 45-53 |
|
Author: Alex Biryukov; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Concrete security analysis for 3gpp-mac, (LNCS-Lecture Notes in Computer Science 2887) Hal 154-169 |
|
Author: Dowon Hong; Ju-Sung Kang; Bart Preneel; Heuisu Ryu; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A generic protection against high-order differential power analysis, (LNCS-Lecture Notes in Computer Science 2887) Hal 192-205 |
|
Author: Mehdi-Laurent Akkar; Louis Goubin; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Wasabi: framework for real-time speech analysis applications (demo), (LNCS-Lecture Notes in Computer Science 2773) Hal 105-108 |
|
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
|
| Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
|
Author: Michael Adlaide; Olivier Roux; | 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
|
| prod 3.2 An advanced tool for efficient reachability analysis, (LNCS-Lecture Notes in Computer Science 1254) Hal 472-475 |
|
Author: Kimmo Varpaaniemi; Keijo Heljanko; Johan Lilius; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verisoft: a tool for the automatic analysis of concurrent reactive software, (LNCS-Lecture Notes in Computer Science 1254) Hal 476-479 |
|
Author: Patrice Godefroid; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result