| Title | Author | Subject | Publisher | Action |
| Software Engineering and Computer Systems | Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh | Computer Science | Springer | Details |
| Systems, Software and Service Process Improvement | Rory V. O‘Connor, Jan Pries-Heje, Richard Messnarz | Computer Science | Springer | Details |
| Structural Information and Communication Complexity | Adrian Kosowski, Masafumi Yamashita | Computer Science | Springer | Details |
| Artificial Intelligence in Medicine | Mor Peleg, Nada Lavra?, Carlo Combi | Computer Science | Springer | Details |
| Logical Aspects of Computational Linguistics | Sylvain Pogodalla, Jean-Philippe Prost | Computer Science | Springer | Details |
| Web Engineering | Sören Auer, Oscar Díaz, George A. Papadopoulos | Computer Science | Springer | Details |
| Integrated Computing Technology | Estevam Rafael Hruschka, Junzo Watada, Maria Carmo Nicoletti | Computer Science | Springer | Details |
| Implementation and Application of Automata | Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel | Computer Science | Springer | Details |
| Privacy Enhancing Technologies | Simone Fischer-Hübner, Nicholas Hopper | Computer Science | Springer | Details |
| Environmental Software Systems. Frameworks of eEnvironment | Ji?í H?ebí?ek, Gerald Schimak, Ralf Denzer | Computer Science | Springer | Details |
| Algorithms and Data Structures | Frank Dehne, John Iacono, Jörg-Rüdiger Sack | Computer Science | Springer | Details |
| Logic, Language, and Computation | Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada | Computer Science | Springer | Details |
| Model Checking Software | Alex Groce, Madanlal Musuvathi | Computer Science | Springer | Details |
| Future Information Technology | James J. Park, Laurence T. Yang, Changhoon Lee | Computer Science | Springer | Details |
| Developments in Language Theory | Giancarlo Mauri, Alberto Leporati | Computer Science | Springer | Details |
| Natural Language Processing and Information Systems | Rafael Muñoz, Andrés Montoyo, Elisabeth Métais | Computer Science | Springer | Details |
| Future Information Technology | James J. Park, Laurence T. Yang, Changhoon Lee | Computer Science | Springer | Details |
| Transactions on Computational Science XII | Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina | Computer Science | Springer | Details |
| Secure and Trust Computing, Data Management and Applications | James J. Park, Javier Lopez, Sang-Soo Yeo, Taeshik Shon, David Taniar | Computer Science | Springer | Details |
| Data and Applications Security and Privacy XXV | Yingjiu Li | Computer Science | Springer | Details |
| Scientific and Statistical Database Management | Judith Bayard Cushing, James French, Shawn Bowers | Computer Science | Springer | Details |
| Computational Logic in Multi-Agent Systems | João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre | Computer Science | Springer | Details |
| User Modeling, Adaption and Personalization | Joseph A. Konstan, Ricardo Conejo, José L. Marzo, Nuria Oliver | Computer Science | Springer | Details |
| Secure and Trust Computing, Data Management, and Applications | Changhoon Lee, Jean-Marc Seigneur, James J. Park, Roland R. Wagner | Computer Science | Springer | Details |
| Artificial Immune Systems | Pietro Liò, Giuseppe Nicosia, Thomas Stibor | Computer Science | Springer | Details |
| Enhancing Learning Through Technology. Education Unplugged: Mobile Technologies and Web 2.0 | Reggie Kwan, Carmel McNaught, Philip Tsang, Fu Lee Wang, Kam Cheong Li | Computer Science | Springer | Details |
| Software Engineering Techniques | Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka | Computer Science | Springer | Details |
| Digital Information Processing and Communications | Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh | Computer Science | Springer | Details |
| Pattern Recognition, Machine Intelligence and Biometrics | Patrick S. P. Wang | Computer Science | Springer | Details |
| Digital Information Processing and Communications | Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh | Computer Science | Springer | Details |
| Apartness and Uniformity | Douglas S. Bridges, Lumini?a Simona Vî?? | Computer Science | Springer | Details |
| Advances in Information Technology and Education | Honghua Tan, Mark Zhou | Computer Science | Springer | Details |
| Detection of Intrusions and Malware, and Vulnerability Assessment | Thorsten Holz, Herbert Bos | Computer Science | Springer | Details |
| Collaborative Agents - Research and Development | Christian Guttmann, Frank Dignum, Michael Georgeff | Computer Science | Springer | Details |
| Computational Linguistics and Talking Robots | Roland Hausser | Computer Science | Springer | Details |
| Automated Deduction ? CADE-23 | Nikolaj Bjørner, Viorica Sofronie-Stokkermans | Computer Science | Springer | Details |
| Security and Trust Management | Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner | Computer Science | Springer | Details |
| Business Aspects of Web Services | Christof Weinhardt, Benjamin Blau, Tobias Conte, Lilia Filipova-Neumann, Thomas Meinl, Wibke Michalk | Computer Science | Springer | Details |
| Ad-hoc, Mobile, and Wireless Networks | Hannes Frey, Xu Li, Stefan Ruehrup | Computer Science | Springer | Details |
| Advances in Computer Science and Education Applications | Mark Zhou, Honghua Tan | Computer Science | Springer | Details |
| Optical Supercomputing | Shlomi Dolev, Mihai Oltean | Computer Science | Springer | Details |
| Information Security and Privacy | Udaya Parampalli, Philip Hawkes | Computer Science | Springer | Details |
| Organizational Interoperability in E-Government | Herbert Kubicek, Ralf Cimander, Hans Jochen Scholl | Computer Science | Springer | Details |
| Teaching and Learning in Information Retrieval | Efthimis Efthimiadis, Juan M. Fernández-Luna, Juan F. Huete, Andrew MacFarlane | Computer Science | Springer | Details |
| Functional and Constraint Logic Programming | Herbert Kuchen | Computer Science | Springer | Details |
| Advances in Network Security and Applications | David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai | Computer Science | Springer | Details |
| Trends in Network and Communications | David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai | Computer Science | Springer | Details |
| Rule-Based Reasoning, Programming, and Applications | Nick Bassiliades, Guido Governatori, Adrian Paschke | Computer Science | Springer | Details |
| Advances in Computing and Information Technology | David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai | Computer Science | Springer | Details |
| Smart Graphics | Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier | Computer Science | Springer | Details |
| High Performance Architecture and Grid Computing | Archana Mantri, Suman Nandi, Gaurav Kumar, Sandeep Kumar | Computer Science | Springer | Details |
| A Hybrid Deliberative Layer for Robotic Agents | Ronny Hartanto | Computer Science | Springer | Details |
| Analyzing Computer System Performance with Perl::PDQ | Neil J. Gunther | Computer Science | Springer | Details |
| Modeling Decision for Artificial Intelligence | Vicenç Torra, Yasuo Narakawa, Jianping Yin, Jun Long | Computer Science | Springer | Details |
| Descriptional Complexity of Formal Systems | Markus Holzer, Martin Kutrib, Giovanni Pighizzini | Computer Science | Springer | Details |
| Digital Enterprise and Information Systems | Ezendu Ariwa, Eyas El-Qawasmeh | Computer Science | Springer | Details |
| Contemporary Computing | Srinivas Aluru, Sanghamitra Bandyopadhyay, Umit V. Catalyurek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt | Computer Science | Springer | Details |
| Combinatorial Optimization and Applications | Weifan Wang, Xuding Zhu, Ding-Zhu Du | Computer Science | Springer | Details |
| Transactions on Computational Science XIII | Marina L. Gavrilova, C. J. Kenneth Tan | Computer Science | Springer | Details |
| Journal on Data Semantics XV | Stefano Spaccapietra | Computer Science | Springer | Details |
| Public Key Infrastructures, Services and Applications | Jan Camenisch, Costas Lambrinoudakis | Computer Science | Springer | Details |
| Agent-Oriented Software Engineering XI | Danny Weyns, Marie-Pierre Gleizes | Computer Science | Springer | Details |
| Transactions on Edutainment VI | Zhigeng Pan, Adrian David Cheok, Wolfgang Müller | Computer Science | Springer | Details |
| ECOOP 2011 ? Object-Oriented Programming | Mira Mezini | Computer Science | Springer | Details |
| Haptics Technologies | Abdulmotaleb El Saddik, Mauricio Orozco, Mohamad Eid, Jongeun Cha | Computer Science | Springer | Details |
| Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation | Oded Goldreich | Computer Science | Springer | Details |
| Intelligent Computer Mathematics | James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe | Computer Science | Springer | Details |
| Computing and Combinatorics | Bin Fu, Ding-Zhu Du | Computer Science | Springer | Details |
| Conceptual Structures for Discovering Knowledge | Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar | Computer Science | Springer | Details |
| Computer Science for Environmental Engineering and EcoInformatics | Yuanxu Yu, Zhengtao Yu, Jingying Zhao | Computer Science | Springer | Details |
| Computer Science for Environmental Engineering and EcoInformatics | Yuanxu Yu, Zhengtao Yu, Jingying Zhao | Computer Science | Springer | Details |
| Parallel and Distributed Computing and Networks | Luo Qi | Computer Science | Springer | Details |
| Advances in Computing and Communications | Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi | Computer Science | Springer | Details |
| Advances in Computing and Communications | Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi | Computer Science | Springer | Details |
| Advances in Computing and Communications | Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi | 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