Your search for 4175 returns 1838 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
|
Experiences from applications of RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 52-63 |
Author: Bent Dandanell; Jesper Gortz; Jan Storbank Pedersen; Eld Zierau; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249 |
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Number theory in science and communication: with applications in cryptography, physics digital information, computing, and self-similarity |
Author: Schroeder, M.R.; | Call Number: 512.7 Sch n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Satellite workshop on language artifical intelligence and computer science for natural processing applications (LAICS-NLP) October 19 2006 |
Call Number: SEM-369 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Cognitive computing and big data analytics |
Author: Hurwitz, Judith; | Call Number: 006.3 Hur c | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|