| Your search for 37622 returns 3314 document(s) |
| Mind the gaps: a new splitting strategy for consis1tency techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 77-91 |
|
Author: Heikel Batnini; Claude Michel; Michel Rueher; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Subnet generation problem: a new network routing problem, (LNCS-Lecture Notes in Computer Science 3709) Hal 855 |
|
Author: Cheuk Fun Bede Leung; Barry Richards; Olli Kamareinen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| New attacks against standardized macs, (LNCS-Lecture Notes in Computer Science 2887) Hal 170-181 |
|
Author: Antoine Joux; Guillaume Poupard; Jacques Stern; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rabbit: a new high-performance stream cipher, (LNCS-Lecture Notes in Computer Science 2887) Hal 307-329 |
|
Author: Martin Boesgaard; Mette Vesterager; Thomas Pedersen; Jesper Christiansen; Ove Scavenius; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parsha-256 - a new parallelizable hash function and a multihreaded implementation, (LNCS-Lecture Notes in Computer Science 2887) Hal 347-361 |
|
Author: Pinakpani Pal; Palash Sarkar; | Call Number: 652.8 Joh f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A new algorithm for discrete timed symbolic model checking, (LNCS-Lecture Notes in Computer Science 1201) Hal 18-32 |
|
Author: Jurgen Ruf; Thomas Kropf; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| HYPROLOG: A new logic programming language with assumptions and abduction, (LNCS-Lecture Notes in Computer Science 3668) Hal 159-173 |
|
Author: Henning Christiansen; Veronica Dahl; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Timesets : a new method for temporal reasoning about programs,(LNCS-Lecture Notes in Computer Science 131) Hal. 177-199 |
|
Author: Leslie Lamport 1; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hardware-software partitioning: a reconfigurable and evolutionary computing approach, (LNCS-Lecture Notes in Computer Science 2147) Hal 595-600 |
|
Author: Jim Harkin; Thomas M. McGinnity; Liam P. Maguire; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An approach to real-time visualization of PIV method with FPGA, and applications and applications (LNCS-Lecture Notes in Computer Science 2147) Hal 601-606 |
|
Author: Tsutomu maruyama; Yoshiki Yamaguchi; Atsushi Kawase; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result