Search Result Save to File Save as CSV
Your search for 38251 returns 3142 document(s)
Efficient re-keying protocols for multicast encryption, (LNCS-Lecture Notes in Computer Science 2576) Hal 119-132
Author: Giovanni Di Crescenzo; Olga Kornievskaia; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Helix: Fast encryption and authentication single cryptographic primitive, (LNCS-Lecture Notes in Computer Science 2887) Hal 330-346
Author: Niels Ferguson; Doug Whiting; Bruce Schneier; John Kelsey; Stefan Lucks; Tadayoshi Kohno; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Practical symmetric on-line encryption, (LNCS-Lecture Notes in Computer Science 2887) Hal 362-375
Author: Pierre-Alain Forque; Gwenaelle Martinet; Guillaume Poupard; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A dual interpretation of "standard constraints" in parametric scheduling, (LNCS-Lecture Notes in Computer Science 1926) Hal 121-133
Author: K. Subramani; Ashok Agrawala; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Non-standard parallel solution strategies for distributed sparse linear systems, (LNCS-Lecture Notes in Computer Science 1557) Hal 13-27
Author: Yousef Saad; Maria Sosonkina; | 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 
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Towards implementations for advanced equivalence checking in answer-set programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 189-203
Author: Hans Tompits; Stefan Woltran; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Key-insulated encryption based key pre-distribution scheme fo WSN, (LNCS-Lecture Notes in Computer Science 5576) Hal. 200-209
Author: Weidong Qiu; Yaowei Zhou; Bo Zhu; Yanfei Zheng; Mi Wen; Zheng Gong; | Call Number: 005.8 Adv | 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