| Title | Author | Subject | Publisher | Action |
| Super-Recursive Algorithms | Mark Burgin | Computer Science | Springer | Details |
| Understanding 3D Animation Using Maya | John Edgar Park | Computer Science | Springer | Details |
| Multimedia Introduction to Programming Using Java | David Gries, Paul Gries | Computer Science | Springer | Details |
| Abstraction, Refinement and Proof for Probabilistic Systems | Annabelle McIver, Carroll Morgan | Computer Science | Springer | Details |
| Introduction to Assembly Language Programming | Sivarama P. Dandamudi | Computer Science | Springer | Details |
| Handbook of Face Recognition | Stan Z. Li, Anil K. Jain | Computer Science | Springer | Details |
| Geometric Fundamentals of Robotics | J. M. Selig | Computer Science | Springer | Details |
| Guide to RISC Processors | Sivarama P. Dandamudi | Computer Science | Springer | Details |
| XML for Bioinformatics | Ethan Cerami | Computer Science | Springer | Details |
| Nearest Neighbor Search | Apostolos N. Papadopoulos, Yannis Manolopoulos | Computer Science | Springer | Details |
| From Specification to Embedded Systems Application | Achim Rettberg, Mauro C. Zanella, Franz J. Rammig | Computer Science | Springer | Details |
| Web Services in the Enterprise | Akhil Sahai, Sven Graupner | Computer Science | Springer | Details |
| Reliable Distributed Systems | Kenneth P. Birman | Computer Science | Springer | Details |
| Semantic Management of Middleware | Daniel Oberle | Computer Science | Springer | Details |
| Understanding Intrusion Detection Through Visualization | Stefan Axelsson, David Sands | Computer Science | Springer | Details |
| Secure Data Management in Decentralized Systems | Ting Yu, Sushil Jajodia | Computer Science | Springer | Details |
| Handbook of Nature-Inspired and Innovative Computing | Albert Y. Zomaya | Computer Science | Springer | Details |
| Digital Signatures | Jonathan Katz | Computer Science | Springer | Details |
| Access Control Systems | Messaoud Benantar | Computer Science | Springer | Details |
| Web Content Delivery | Xueyan Tang, Jianliang Xu, Samuel T. Chanson | Computer Science | Springer | Details |
| Real-Time Vision for Human-Computer Interaction | Branislav Kisa?anin, Vladimir Pavlovi?, Thomas S. Huang | Computer Science | Springer | Details |
| Coordination of Large-Scale Multiagent Systems | Paul Scerri, Régis Vincent, Roger Mailler | Computer Science | Springer | Details |
| Biometric User Authentication for it Security | Claus Vielhauer | Computer Science | Springer | Details |
| Genetic Programming Theory and Practice III | Tina Yu, Rick Riolo, Bill Worzel | Computer Science | Springer | Details |
| An Integrated Approach to Software Engineering | Pankaj Jalote | Computer Science | Springer | Details |
| Soft Real-Time Systems | Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo | Computer Science | Springer | Details |
| Software Engineering Techniques Applied to Agricultural Systems | Petraq J. Papajorgji, Panos M. Pardalos | Computer Science | Springer | Details |
| Adapting Proofs-as-Programs | Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley | Computer Science | Springer | Details |
| Privacy and Technologies of Identity | Katherine J. Strandburg, Daniela Stan Raicu | Computer Science | Springer | Details |
| Curves and Surfaces for Computer Graphics | David Salomon | Computer Science | Springer | Details |
| Hyperspectral Data Compression | Giovanni Motta, Francesco Rizzo, James A. Storer | Computer Science | Springer | Details |
| Computational Genome Analysis | Richard C. Deonier, Michael S. Waterman, Simon Tavaré | Computer Science | Springer | Details |
| Information Systems Development | Olegas Vasilecas, Wita Wojtkowski, Jože Zupan?i?, Albertas Caplinskas, W. Gregory Wojtkowski, Stanis?aw Wrycza | Computer Science | Springer | Details |
| Handbook of Mathematical Models in Computer Vision | Nikos Paragios, Yunmei Chen, Olivier Faugeras | Computer Science | Springer | Details |
| A Classical Introduction to Cryptography Exercise Book | Thomas Baigèneres, Yi Lu, Serge Vaudenay, Pascal Junod, Jean Monnerat | Computer Science | Springer | Details |
| Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges | Carsten Sørensen, Youngjin Yoo, Kalle Lyytinen, Janice I. DeGross | Computer Science | Springer | Details |
| New Horizons of Parallel and Distributed Computing | Minyi Guo, Laurence Tianruo Yang | Computer Science | Springer | Details |
| Combinatorial Optimization in Communication Networks | Maggie Xiaoyan Cheng, Yingshu Li, Ding-Zhu Du | Computer Science | Springer | Details |
| Similarity Search The Metric Space Approach | Pavel Zezula, Giuseppe Amato, Vlastislav Dohnal, Michal Batko | Computer Science | Springer | Details |
| Optical WDM Networks | Biswanath Mukherjee | Computer Science | Springer | Details |
| Industrial Applications of Semantic Web | Max Bramer, Vagan Terziyan | Computer Science | Springer | Details |
| Artificial Intelligence Applications and Innovations | Daoliang Li, Baoji Wang | Computer Science | Springer | Details |
| Collaborative Networks and Their Breeding Environments | Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Angel Ortiz | Computer Science | Springer | Details |
| Hop Integrity in the Internet | Chin-Tser Huang, Mohamed G. Gouda | Computer Science | Springer | Details |
| Future Generation Grids | Vladimir Getov, Domenico Laforenza, Alexander Reinefeld | Computer Science | Springer | Details |
| Methods and Procedures for the Verification and Validation of Artificial Neural Networks | Brian J. Taylor | Computer Science | Springer | Details |
| Unconstrained Face Recognition | Shaohua Kevin Zhou, Rama Chellappa, Wenyi Zhao | Computer Science | Springer | Details |
| Human Identification Based on Gait | Mark S. Nixon, Tieniu Tan, Rama Chellappa | Computer Science | Springer | Details |
| Privacy Preserving Data Mining | Jaideep Vaidya, Yu Michael Zhu, Christopher W. Clifton | Computer Science | Springer | Details |
| Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems | Bharadwaj Veeravalli, Gerassimos Barlas | Computer Science | Springer | Details |
| Knowledge Sharing in the Integrated Enterprise | Peter Bernus, Mark Fox | Computer Science | Springer | Details |
| Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government | Matohisa Funabashi, Adam Grzech | Computer Science | Springer | Details |
| Practical Internet Security | John R. Vacca | Computer Science | Springer | Details |
| Guide to Wireless Network Security | John R. Vacca | Computer Science | Springer | Details |
| Encyclopedia of Multimedia | Borko Furht | Computer Science | Springer | Details |
| Encyclopedia of Algorithms | Ming-Yang Kao | Computer Science | Springer | Details |
| Encyclopedia of Machine Learning | Claude Sammut, Geoffrey I. Webb | Computer Science | Springer | Details |
| Continuous System Simulation | François E. Cellier, Ernesto Kofman | Computer Science | Springer | Details |
| Intelligence and Security Informatics for International Security | Hsinchun Chen | Computer Science | Springer | Details |
| New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design | Achim Rettberg, Christophe Bobda | Computer Science | Springer | Details |
| Software Configuration Management Using Vesta | Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu | Computer Science | Springer | Details |
| Linear Genetic Programming | Markus F. Brameier, Wolfgang Banzhaf | Computer Science | Springer | Details |
| Advances in Digital Forensics | Mark Pollitt, Sujeet Shenoi | Computer Science | Springer | Details |
| Mobile Information Systems II | John Krogstie, Karlheinz Kautz, David Allen | Computer Science | Springer | Details |
| Security Management, Integrity, and Internal Control in Information Systems | Paul Dowland, Steve Furnell, Bhavani Thuraisingham, X. Sean Wang | Computer Science | Springer | Details |
| The Information Society: Emerging Landscapes | Chris Zielinski, Penny Duquenoy, Kai Kimppa | Computer Science | Springer | Details |
| EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World | Carlos Delgado Kloos, Andrés Marín, David Larrabeiti | Computer Science | Springer | Details |
| Challenges in Ad Hoc Networking | K. Agha, I. Guérin Lassous, G. Pujolle | Computer Science | Springer | Details |
| Evolvable Hardware | Tetsuya Higuchi, Yong Liu, Xin Yao | Computer Science | Springer | Details |
| Adaptive Learning of Polynomial Networks | Nikolay Y. Nikolaev, Hitoshi Iba | Computer Science | Springer | Details |
| Precision Assembly Technologies for Mini and Micro Products | Svetan Ratchev | Computer Science | Springer | Details |
| Intelligence in Communication Systems | Roch Glitho, Ahmed Karmouch, Samuel Pierre | Computer Science | Springer | Details |
| Computation Engineering | Ganesh Gopalakrishnan | Computer Science | Springer | Details |
| Image-Based Rendering | Heung-Yeung Shum, Shing-Chow Chan, Sing Bing Kang | Computer Science | Springer | Details |
| System Modeling and Optimization | F. Ceragioli, A. Dontchev, H. Futura, K. Marti, L. Pandolfi | 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