| Biblio No. |
Subject |
Title |
Author |
Publisher |
Image |
| 46657 |
Computer science |
Trusted Systems |
Roderick Bloem, Peter Lipp |
Springer |
 |
| 46658 |
Computer science |
Progress in Cryptology – INDOCRYPT 2013 |
Goutam Paul, Serge Vaudenay |
Springer |
 |
| 46659 |
Computer science |
AI*IA 2013: Advances in Artificial Intelligence |
Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio |
Springer |
 |
| 46660 |
Computer science |
Algorithms and Models for the Web Graph |
Anthony Bonato, Michael Mitzenmacher, Paweł Prałat |
Springer |
 |
| 46661 |
Computer science |
Programming Languages and Systems |
Chung-chieh Shan |
Springer |
 |
| 46662 |
Computer science |
Certified Programs and Proofs |
Georges Gonthier, Michael Norrish |
Springer |
 |
| 46663 |
Computer science |
Structural Information and Communication Complexity |
Thomas Moscibroda, Adele A. Rescigno |
Springer |
 |
| 46664 |
Computer science |
Cyberspace Safety and Security |
Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan |
Springer |
 |
| 46665 |
Computer science |
Digital Libraries: Social Media and Community Networks |
Shalini R. Urs, Jin-Cheon Na, George Buchanan |
Springer |
 |
| 46666 |
Computer science |
Ambient Intelligence |
Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan |
Springer |
 |
