| Biblio No. | Subject | Title | Author | Publisher | Image |
|---|---|---|---|---|---|
| 48692 | Computer science | Entertainment Computing - ICEC 2008 | Scott M. Stevens, Shirley J. Saldamarco | Springer | |
| 48693 | Computer science | Runtime Verification | Martin Leucker | Springer | |
| 48694 | Computer science | Advances in Cryptology - ASIACRYPT 2008 | Josef Pieprzyk | Springer | |
| 48695 | Computer science | Self-Sustaining Systems | Robert Hirschfeld, Kim Rose | Springer | |
| 48696 | Computer science | Transactions on Petri Nets and Other Models of Concurrency I | Kurt Jensen, Wil M. P. Aalst, Jonathan Billington | Springer | |
| 48697 | Computer science | Theory of Quantum Computation, Communication, and Cryptography | Yasuhito Kawano, Michele Mosca | Springer | |
| 48698 | Computer science | Programming Languages and Systems | G. Ramalingam | Springer | |
| 48699 | Computer science | Stabilization, Safety, and Security of Distributed Systems | Sandeep Kulkarni, André Schiper | Springer | |
| 48700 | Computer science | HCI and Usability for Education and Work | Andreas Holzinger | Springer | |
| 48701 | Computer science | Advanced Web and Network Technologies, and Applications | Yoshiharu Ishikawa, Jing He, Guandong Xu, Yong Shi, Guangyan Huang, Chaoyi Pang, Qing Zhang, Guoren Wang | Springer |