| Your search for 38951 returns 3175 document(s) |
| Optimizing I/O for irregular applications on distributed-memory machines, (LNCS-Lecture Notes in Computer Science 1557) Hal 470-479 |
|
Author: Jesus Carratero; Jaechun No; Alok Choudhary; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Protocols using anonymous connections: mobile applications, (LNCS-Lecture Notes in Computer Science 1361) Hal 13-23 |
|
Author: Michael G. Reed; Paul F. Syverson; David M. Goldschlag; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11 |
|
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
|
Author: Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The rabin index and chain automata, with applications to automata and games, (LNCS-Lecture Notes in Computer Science 939) Hal 253-266 |
|
Author: Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin P. Varaiya; | Call Number: 004 Int c | 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
|
| Real-time refinement, (LNCS-Lecture Notes in Computer Science 670) Hal 314-331 |
|
Author: Colin Fidge; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Recognizing partially occluded faces from a sungle exemplar image per person, (LNCS-Lecture Notes in Computer Science 5576) Hal. 100-109 |
|
Author: Hamidreza Rashidy Kanan; M. Shhram Moin; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Aggregate and verifiably encrypted signatures from multilinear maps without random oracles, (LNCS-Lecture Notes in Computer Science 5576) Hal 750-759 |
|
Author: Markus Ruckert; Dominique Schroder; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result