| Biblio No. | Subject | Title | Author | Publisher | Image |
|---|---|---|---|---|---|
| 48812 | Computer science | Trusted Computing | Liqun Chen, Chris J. Mitchell, Andrew Martin | Springer | |
| 48813 | Computer science | Programming Languages and Systems | Giuseppe Castagna | Springer | |
| 48814 | Computer science | Fundamental Approaches to Software Engineering | Marsha Chechik, Martin Wirsing | Springer | |
| 48815 | Computer science | Foundations of Software Science and Computational Structures | Luca Alfaro | Springer | |
| 48816 | Computer science | Independent Component Analysis and Signal Separation | Tülay Adali, Christian Jutten, João Marcos Travassos Romano, Allan Kardec Barros | Springer | |
| 48817 | Computer science | Hybrid Systems: Computation and Control | Rupak Majumdar, Paulo Tabuada | Springer | |
| 48818 | Computer science | New Frontiers in Artificial Intelligence | Hiromitsu Hattori, Takahiro Kawamura, Tsuyoshi Idé, Makoto Yokoo, Yohei Murakami | Springer | |
| 48819 | Computer science | Creating Brain-Like Intelligence | Bernhard Sendhoff, Edgar Körner, Olaf Sporns, Helge Ritter, Kenji Doya | Springer | |
| 48820 | Computer science | Reconfigurable Computing: Architectures, Tools and Applications | Jürgen Becker, Roger Woods, Peter Athanas, Fearghal Morgan | Springer | |
| 48821 | Computer science | Formal Theories of Information | Giovanni Sommaruga | Springer |