| Title | Author | Subject | Publisher | Action |
| Sequence Comparison | Kun-Mao Chao, Louxin Zhang | Computer Science | Springer | Details |
| Knowledge Processing with Interval and Soft Computing | Vladik Kreinovich, Andre Korvin, R. Baker Kearfott, Chenyi Hu | Computer Science | Springer | Details |
| Guide to Wireless Ad Hoc Networks | Sudip Misra, Isaac Woungang, Subhas Chandra Misra | Computer Science | Springer | Details |
| Guide to OCR for Indic Scripts | Venu Govindaraju, Srirangaraj (Ranga) Setlur | Computer Science | Springer | Details |
| Learning in Communities | John M. Carroll | Computer Science | Springer | Details |
| Intelligent Environments | Dorothy Monekosso, Paolo Remagnino, Yoshinori Kuno | Computer Science | Springer | Details |
| (Re)Searching The Digital Bauhaus | Thomas Binder, Jonas Löwgren, Lone Malmborg | Computer Science | Springer | Details |
| Computing with Social Trust | Jennifer Golbeck | Computer Science | Springer | Details |
| Future Interaction Design II | Hannakaisa Isomäki, Pertti Saariluoma | Computer Science | Springer | Details |
| Robot Behaviour | Ulrich Nehmzow | Computer Science | Springer | Details |
| Guide to Graphics Software Tools | Jim X. Chen | Computer Science | Springer | Details |
| Human-Centered Software Engineering | Ahmed Seffah, Jean Vanderdonckt, Michel C. Desmarais | Computer Science | Springer | Details |
| Guide to Wireless Mesh Networks | Sudip Misra, Subhas Chandra Misra, Isaac Woungang | Computer Science | Springer | Details |
| A Guide to Computer Network Security | Joseph Migga Kizza | Computer Science | Springer | Details |
| The Language of Design | Andy Dong | Computer Science | Springer | Details |
| Foundations of Systems Biology | Masao Nagasaki, Ayumu Saito, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano | Computer Science | Springer | Details |
| Principles of Programming Languages | Gilles Dowek | Computer Science | Springer | Details |
| Formal Languages and Compilation | Stefano Crespi Reghizzi | Computer Science | Springer | Details |
| Computable Models | Raymond Turner | Computer Science | Springer | Details |
| Computers in the Human Interaction Loop | Alexander Waibel, Rainer Stiefelhagen | Computer Science | Springer | Details |
| Convergence and Knowledge Processing in Multi-Agent Systems | Maria Chli, Philippe de Wilde | Computer Science | Springer | Details |
| Research and Development in Intelligent Systems XXV | Max Bramer, Miltos Petridis, Frans Coenen | Computer Science | Springer | Details |
| Computer-Aided Design of User Interfaces VI | Victor Lopez Jaquero, Francisco Montero Simarro, Jose Pascual Molina Masso, Jean Vanderdonckt | Computer Science | Springer | Details |
| Applications and Innovations in Intelligent Systems XVI | Tony Allen, Richard Ellis, Miltos Petridis | Computer Science | Springer | Details |
| Guide to Wireless Sensor Networks | Subhas Chandra Misra, Isaac Woungang, Sudip Misra | Computer Science | Springer | Details |
| Computational Social Network Analysis | Ajith Abraham, Aboul-Ella Hassanien, Vaclav Sná¿el | Computer Science | Springer | Details |
| Software Verification and Analysis | William Stanley, Janusz Laski | Computer Science | Springer | Details |
| Deadlock Resolution in Automated Manufacturing Systems | ZhiWu Li, MengChu Zhou | Computer Science | Springer | Details |
| Handbook of Fingerprint Recognition | Davide Maltoni, Dario Maio, Anil K. Jain, Salil Prabhakar | Computer Science | Springer | Details |
| Practical Introduction to Computer Architecture | Daniel Page | Computer Science | Springer | Details |
| Understanding Concurrent Systems | A.W. Roscoe | Computer Science | Springer | Details |
| Guide to Intelligent Data Analysis | Michael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn | Computer Science | Springer | Details |
| User-Centered Interaction Design Patterns for Interactive Digital Television Applications | Tibor Kunert | Computer Science | Springer | Details |
| Enabling Optical Internet with Advanced Network Technologies | Javier Aracil, Franco Callegati | Computer Science | Springer | Details |
| Artificial Life Models in Software | Maciej Komosinski, Andrew Adamatzky | Computer Science | Springer | Details |
| Information Theory in Computer Vision and Pattern Recognition | Francisco Escolano, Pablo Suau, Boyán Bonev | Computer Science | Springer | Details |
| Tensors in Image Processing and Computer Vision | Santiago Aja-Fernández, Rodrigo Luis García, Dacheng Tao, Xuelong Li | Computer Science | Springer | Details |
| Protecting Privacy in Video Surveillance | Andrew Senior | Computer Science | Springer | Details |
| Scheduling for Parallel Processing | Maciej Drozdowski | Computer Science | Springer | Details |
| Statistical Learning and Pattern Analysis for Image and Video Processing | Nanning Zheng, Jianru Xue | Computer Science | Springer | Details |
| Ada for Software Engineers (Second Edition with Ada 2005) | Mordechai Ben-Ari | Computer Science | Springer | Details |
| A Concise and Practical Introduction to Programming Algorithms in Java | Frank Nielsen | Computer Science | Springer | Details |
| Safety-Critical Systems: Problems, Process and Practice | Chris Dale, Tom Anderson | Computer Science | Springer | Details |
| New Trends on Human?Computer Interaction | José A. Macías, Antoni Granollers Saltiveri, Pedro M. Latorre | Computer Science | Springer | Details |
| Minimalism | Hartmut Obendorf | Computer Science | Springer | Details |
| Geometric Algebra: An Algebraic System for Computer Games and Animation | John Vince | Computer Science | Springer | Details |
| Handbook of Remote Biometrics | Massimo Tistarelli, Stan Z. Li, Rama Chellappa | Computer Science | Springer | Details |
| Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms | Abel J. P. Gomes, Irina Voiculescu, Joaquim Jorge, Brian Wyvill, Callum Galbraith | Computer Science | Springer | Details |
| Parallel Computing | Roman Trobec, Marián Vajteršic, Peter Zinterhof | Computer Science | Springer | Details |
| Models of Computation | Maribel Fernández | Computer Science | Springer | Details |
| Computer Graphics for Artists II | Andrew Paquette | Computer Science | Springer | Details |
| Awareness Systems | Panos Markopoulos, Boris De Ruyter, Wendy Mackay | Computer Science | Springer | Details |
| Media Space 20 + Years of Mediated Life | Steve Harrison | Computer Science | Springer | Details |
| Natural Image Statistics | Aapo Hyvärinen, Jarmo Hurri, Patrik O. Hoyer | Computer Science | Springer | Details |
| Elements of Computation Theory | Arindama Singh | Computer Science | Springer | Details |
| Artificial Life Models in Hardware | Andrew Adamatzky, Maciej Komosinski | Computer Science | Springer | Details |
| Guide to Fortran 2003 Programming | Walter S. Brainerd | Computer Science | Springer | Details |
| Supporting People with Dementia Using Pervasive Health Technologies | Maurice D. Mulvenna, Chris D. Nugent | Computer Science | Springer | Details |
| Multimodal Usability | Niels Ole Bernsen, Laila Dybkjær | Computer Science | Springer | Details |
| A Science of Operations | Mark Priestley | Computer Science | Springer | Details |
| Recent Advances in the 3D Physiological Human | Nadia Magnenat-Thalmann, Jian J. Zhang, David D. Feng | Computer Science | Springer | Details |
| Pervasive Computing | Aboul-Ella Hassanien, Jemal H. Abawajy, Ajith Abraham, Hani Hagras | Computer Science | Springer | Details |
| Drawing Programs: The Theory and Practice of Schematic Functional Programming | Tom Addis, Jan Addis | Computer Science | Springer | Details |
| Web-based Support Systems | JingTao Yao | Computer Science | Springer | Details |
| Dynamic Business Process Formation for Instant Virtual Enterprises | Nikolay Mehandjiev, Paul Grefen | Computer Science | Springer | Details |
| Mobile TV: Customizing Content and Experience | Aaron Marcus, Anxo Cereijo Roibás, Riccardo Sala | Computer Science | Springer | Details |
| Shared Encounters | Katharine S. Willis, George Roussos, Konstantinos Chorianopoulos, Mirjam Struppek | Computer Science | Springer | Details |
| The Engineering of Mixed Reality Systems | Emmanuel Dubois, Philip Gray, Laurence Nigay | Computer Science | Springer | Details |
| Formal Methods: State of the Art and New Directions | Paul Boca, Jonathan P. Bowen, Jawed Siddiqi | Computer Science | Springer | Details |
| Verification of Sequential and Concurrent Programs | Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog | Computer Science | Springer | Details |
| Algorithms for Next Generation Networks | Graham Cormode, Marina Thottan | Computer Science | Springer | Details |
| Systems Approaches to Managing Change: A Practical Guide | Martin Reynolds, Sue Holwell | Computer Science | Springer | Details |
| Sketch-based Interfaces and Modeling | Joaquim Jorge, Faramarz Samavati | Computer Science | Springer | Details |
| Online Worlds: Convergence of the Real and the Virtual | William Sims Bainbridge | Computer Science | Springer | Details |
| Guide to Reliable Internet Services and Applications | Charles R. Kalmanek, Sudip Misra, Yang (Richard) Yang | Computer Science | Springer | Details |
ALP = Alipore Campus Library, University of Calcutta
1, Reformatory Steet, Kolkata - 750027
CL = Central Library, University of Calcutta
87/1, College Street, Kolkata - 750073
TSP = Ballygunge Science College (Taraknath Siksha Prangan)
35, Ballygunge Circular Road, Kolkata – 750019
RBSP= Rashbehari Siksha Prangan – Rajabazar Science College
92, Acharyya Prafulla Chandra Road, Kolkata - 750009
ECO = ECONOMICS, B. T. Road Campus
56A, Barrackpore Trunk Road, Kolkata-750 050
LAW = Hazra Road Campus
51/1and 51/2 Hazra Road, Kolkata-750 019
VLC = Home Science, Viharilal Home Science Campus
20B, Judges Court Road, Alipore, Kolkata -750 021