| Your search for 92 returns 4555 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
|
| Classroom computers and cognitive science/ Alex Cherry Wilkinson |
|
Call Number: 370.285 Cla | Type: Buku
|
|
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
|
| Natural language information processing: a computer grammar of English and its applications/ Naomi Sager |
|
Author: Sager, Naomi; | Call Number: 420.72 Sag n | 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
|
| Distributed algorithms and protocols |
|
Author: Raynal, Michael; | Call Number: 004.36 Ray d | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Global healthgrid: e-science meets biomedical informatics |
|
Call Number: 651.5 Glo | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cognitiva 90: at the crossroads of artificial intelligence, cognitive science, an neuroscience |
|
Call Number: 006.3 Cog | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result