Your search for 37910 returns 529 document(s) |
Asynchronous tansfer mode: solution for broadband ISDN 2nd ed. |
Author: Prycker, Martin; | Call Number: 621.382 Pry a | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Secure Group Communication in Asynchronous Networks with Failures: Integration and Experiments (330-343) |
Author: J. Stanton
Y. Amir
D.Hasse
G. Ateniese
Y. Kim
C. Nita-Rotaru
T. Schlossnagle
J. Schultz
G. Tsudik; | Call Number: SEM-287 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Distributed computing |
Author: Chambers, Fred B.; | Call Number: 004.36 Dis | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 17-31 |
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Computer Science 1254) Hal 232-243 |
Author: Viktor Gyuris; A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467 |
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Breaking all value symmetries in surjection problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 490-504 |
Author: Jean-Francois Puget; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient searching with linear constraints, Hal. 169-178 |
Author: Pankaj K. Agarwal; Lars Arge; Jeff Erikson; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Designing efficient algorithms for parallel computers |
Author: Quinn, Michael J.; | Call Number: 004.35 Qui d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|