Your search for 29760 returns 3562 document(s) |
Verifying safety properties of a class of infinite-state distributed algorithms, (LNCS-Lecture Notes in Computer Science 939) Hal 42-53 |
Author: Bengt Jonsson; Lars Kempe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hybridization of genetic algorithms and constraint propagation for the BACP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 421-423 |
Author: Tony Lambert; Carlos Castro; Eric Monfroy; Maria Christina Riff; Frederic Saubion; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On the correctness of scurity proofs for the 3GPP confidentiality and integrity algorithms, LNCS-Lecture Notes in Computer Science 2898), Hal. 206-318 |
Author: Testsu Iwata and Kaoru Kurosawa; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Wavelets for computer graphics:theory and applications/Eric J. Stollnitz;Tony D. DeRose;David H. Salesin |
Author: Stollnitz, Eric J.; | Call Number: 515.243 3 Sto w | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information theory inference and learning algorithms |
Author: Mackay, David J.C.; | Call Number: 003.54 Mac i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An efficient decision procedure for the theory of fixed-sized bit-vectors, (LNCS-Lecture Notes in Computer Science 1254) Hal 60-71 |
Author: David Cyrluk; Oliver Moller; Harald Rueb; | Call Number: 004 Int c | Edition: (LNCS-Lecture Notes in Computer Science 985) | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Toward a logical theory of program data, (LNCS-Lecture Notes in Computer Science 131) Hal. 37-51 |
Author: Robert Cartwright; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
29th annul symposium on foundations of computer science: (formerly called the annual symposium on switching and automata theory) October 24-26, 1988 |
Call Number: SEM-050 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Construction of LDPC codes based on monomial graphs, Hal. 3220-3221 |
Author: Tingsu Yan; Yuansheng Tang; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
|
Author: Leizhen Cai; | Call Number: 005.1 Alg | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|