| Biblio No. | Subject | Title | Author | Publisher | Image |
|---|---|---|---|---|---|
| 48482 | Computer science | Pervasive Computing | Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott | Springer | |
| 48483 | Computer science | Making Globally Distributed Software Development a Success Story | Qing Wang, Dietmar Pfahl, David M. Raffo | Springer | |
| 48484 | Computer science | Ada 2005 Rationale | John Barnes | Springer | |
| 48485 | Computer science | Agents and Peer-to-Peer Computing | Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi | Springer | |
| 48486 | Computer science | Formal Methods for Industrial Critical Systems | Stefan Leue, Pedro Merino | Springer | |
| 48487 | Computer science | Computer Science – Theory and Applications | Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko | Springer | |
| 48488 | Computer science | Theory and Applications of Satisfiability Testing – SAT 2008 | Hans Kleine Büning, Xishun Zhao | Springer | |
| 48489 | Computer science | Rough Sets and Knowledge Technology | Guoyin Wang, Tianrui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Yao | Springer | |
| 48490 | Computer science | Parameterized and Exact Computation | Martin Grohe, Rolf Niedermeier | Springer | |
| 48491 | Computer science | Adaptive Multimedia Retrieval: Retrieval, User, and Semantics | Nozha Boujemaa, Marcin Detyniecki, Andreas Nürnberger | Springer |