| Biblio No. | Subject | Title | Author | Publisher | Image |
|---|---|---|---|---|---|
| 46747 | Computer science | SOFSEM 2005: Theory and Practice of Computer Science | Peter Vojtáš, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora | Springer |  |
| 46748 | Computer science | Agent-Oriented Software Engineering V | James Odell, Paolo Giorgini, Jörg P. Müller | Springer |  |
| 46749 | Computer science | Verification, Model Checking, and Abstract Interpretation | Radhia Cousot | Springer |  |
| 46750 | Computer science | Public Key Cryptography - PKC 2005 | Serge Vaudenay | Springer |  |
| 46751 | Computer science | Semantic Web Services and Web Process Composition | Jorge Cardoso, Amit Sheth | Springer |  |
| 46752 | Computer science | Information Networking. Convergence in Broadband and Mobile Networking | Cheeha Kim | Springer |  |
| 46753 | Computer science | Artificial Intelligence and Simulation | Tag Gon Kim | Springer |  |
| 46754 | Computer science | Systems Modeling and Simulation: Theory and Applications | Doo-Kwon Baik | Springer |  |
| 46755 | Computer science | Computational Linguistics and Intelligent Text Processing | Alexander Gelbukh | Springer |  |
| 46756 | Computer science | COTS-Based Software Systems | Xavier Franch, Daniel Port | Springer |  |