| Title | Author | Subject | Publisher | Action |
| Foundations of Genetic Algorithms | Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler | Computer Science | Springer | Details |
| Pairing-Based Cryptography ? Pairing 2007 | Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto | Computer Science | Springer | Details |
| Machine Learning and Data Mining in Pattern Recognition | Petra Perner | Computer Science | Springer | Details |
| Business Process Management | Mathias Weske | Computer Science | Springer | Details |
| Dependable and Adaptable Networks and Services | Aiko Pras, Marten Sinderen | Computer Science | Springer | Details |
| Data and Applications Security XXI | Steve Barker, Gail-Joon Ahn | Computer Science | Springer | Details |
| Advances in Spatial and Temporal Databases | Dimitris Papadias, Donghui Zhang, George Kollios | Computer Science | Springer | Details |
| Computing and Combinatorics | Guohui Lin | Computer Science | Springer | Details |
| Autonomic and Trusted Computing | Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua | Computer Science | Springer | Details |
| Ubiquitous Intelligence and Computing | Jadwiga Indulska, Jianhua Ma, Laurence T. Yang, Theo Ungerer, Jiannong Cao | Computer Science | Springer | Details |
| Component-Based Software Engineering | Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford | Computer Science | Springer | Details |
| Unconventional Computation | Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham | Computer Science | Springer | Details |
| Combinatorial Optimization and Applications | Andreas Dress, Yinfeng Xu, Binhai Zhu | Computer Science | Springer | Details |
| Abstraction, Reformulation, and Approximation | Ian Miguel, Wheeler Ruml | Computer Science | Springer | Details |
| ECOOP 2007 ? Object-Oriented Programming | Erik Ernst | Computer Science | Springer | Details |
| Automated Deduction ? CADE-21 | Frank Pfenning | Computer Science | Springer | Details |
| Web Engineering | Luciano Baresi, Piero Fraternali, Geert-Jan Houben | Computer Science | Springer | Details |
| Artificial Intelligence in Medicine | Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter | Computer Science | Springer | Details |
| Detection of Intrusions and Malware, and Vulnerability Assessment | Bernhard Hämmerli, Robin Sommer | Computer Science | Springer | Details |
| Embedded Computer Systems: Architectures, Modeling, and Simulation | Stamatis Vassiliadis, Mladen Berekovi?, Timo D. Hämäläinen | Computer Science | Springer | Details |
| Learning from Data Streams | João Gama, Mohamed Medhat Gaber | Computer Science | Springer | Details |
| Conceptual Structures: Knowledge Architectures for Smart Applications | Uta Priss, Simon Polovina, Richard Hill | Computer Science | Springer | Details |
| Modeling Decisions for Artificial Intelligence | Vicenç Torra, Yasuo Narukawa, Yuji Yoshida | Computer Science | Springer | Details |
| Advances in Bioinformatics and Computational Biology | Marie-France Sagot, Maria Emilia M. T. Walter | Computer Science | Springer | Details |
| A Modern Approach to Intelligent Animation | Yueting Zhuang, Yunhe Pan, Jun Xiao | Computer Science | Springer | Details |
| Process Neural Networks | Xingui He, Shaohua Xu | Computer Science | Springer | Details |
| Tests and Proofs | Yuri Gurevich, Bertrand Meyer | Computer Science | Springer | Details |
| Frontiers in Algorithmics | Franco P. Preparata, Qizhi Fang | Computer Science | Springer | Details |
| Recent Advances in Constraints | Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi | Computer Science | Springer | Details |
| Mathematics of Surfaces XII | Ralph Martin, Malcolm Sabin, Joab Winkler | Computer Science | Springer | Details |
| Inductive Logic Programming | Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad | Computer Science | Springer | Details |
| Algebra and Coalgebra in Computer Science | Till Mossakowski, Ugo Montanari, Magne Haveraaen | Computer Science | Springer | Details |
| Advanced Data Mining and Applications | Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Osmar R. Zaïane | Computer Science | Springer | Details |
| Comparative Evaluation of XML Information Retrieval Systems | Norbert Fuhr, Mounia Lalmas, Andrew Trotman | Computer Science | Springer | Details |
| Computational Discovery of Scientific Knowledge | Sašo Džeroski, Ljup?o Todorovski | Computer Science | Springer | Details |
| Artificial Immune Systems | Leandro Nunes Castro, Fernando José Zuben, Helder Knidel | Computer Science | Springer | Details |
| Modelling Distributed Systems | Wan Fokkink | Computer Science | Springer | Details |
| Parallel Computing Technologies | Victor Malyshkin | Computer Science | Springer | Details |
| Business Intelligence for the Real-Time Enterprises | Christoph Bussler, Malu Castellanos, Umesh Dayal, Sham Navathe | Computer Science | Springer | Details |
| Algorithms and Data Structures | Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh | Computer Science | Springer | Details |
| Computer Network Security | Vladimir Gorodetsky, Igor Kotenko, Victor A. Skormin | Computer Science | Springer | Details |
| Intercultural Collaboration | Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen | Computer Science | Springer | Details |
| RoboCup 2006: Robot Soccer World Cup X | Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi | Computer Science | Springer | Details |
| Architecting Dependable Systems IV | Rogério Lemos, Cristina Gacek, Alexander Romanovsky | Computer Science | Springer | Details |
| Information Retrieval for Music and Motion | Meinard Müller | Computer Science | Springer | Details |
| Static Analysis | Hanne Riis Nielson, Gilberto Filé | Computer Science | Springer | Details |
| Web Information Systems and Technologies | Joaquim Filipe, José Cordeiro, Vitor Pedrosa | Computer Science | Springer | Details |
| Swarm Intelligence | Christian Blum, Daniel Merkle | Computer Science | Springer | Details |
| Decision Procedures | Daniel Kroening, Ofer Strichman | Computer Science | Springer | Details |
| Logics of Specification Languages | Dines Bjørner, Martin C. Henson | Computer Science | Springer | Details |
| Design by Evolution | Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz | Computer Science | Springer | Details |
| The Calculus of Computation | Aaron R. Bradley, Zohar Manna | Computer Science | Springer | Details |
| Speaker Classification II | Christian Müller | Computer Science | Springer | Details |
| Information Hiding | Jan L. Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee | Computer Science | Springer | Details |
| Algorithms in Bioinformatics | Raffaele Giancarlo, Sridhar Hannenhalli | Computer Science | Springer | Details |
| Model Checking and Artificial Intelligence | Stefan Edelkamp, Alessio Lomuscio | Computer Science | Springer | Details |
| Implementation and Application of Functional Languages | Zoltán Horváth, Viktória Zsók, Andrew Butterfield | Computer Science | Springer | Details |
| Case-Based Reasoning Research and Development | Rosina O. Weber, Michael M. Richter | Computer Science | Springer | Details |
| Advances in Cryptology - CRYPTO 2007 | Alfred Menezes | Computer Science | Springer | Details |
| Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues | De-Shuang Huang, Laurent Heutte, Marco Loog | Computer Science | Springer | Details |
| Stochastic Discrete Event Systems | Armin Zimmermann | Computer Science | Springer | Details |
| Energy Minimization Methods in Computer Vision and Pattern Recognition | Alan L. Yuille, Song-Chun Zhu, Daniel Cremers, Yongtian Wang | Computer Science | Springer | Details |
| Speaker Classification I | Christian Müller | Computer Science | Springer | Details |
| Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence | De-Shuang Huang, Laurent Heutte, Marco Loog | Computer Science | Springer | Details |
| Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Moses Charikar, Klaus Jansen, Omer Reingold, José D. P. Rolim | Computer Science | Springer | Details |
| Fundamentals of Computation Theory | Erzsébet Csuhaj-Varjú, Zoltán Ésik | Computer Science | Springer | Details |
| Algorithmic Methods for Railway Optimization | Frank Geraets, Leo Kroon, Anita Schoebel, Dorothea Wagner, Christos D. Zaroliagis | Computer Science | Springer | Details |
| Modeling and Using Context | Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu | Computer Science | Springer | Details |
| Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
| Anticipatory Behavior in Adaptive Learning Systems | Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre | Computer Science | Springer | Details |
| Computer Analysis of Images and Patterns | Walter G. Kropatsch, Martin Kampel, Allan Hanbury | Computer Science | Springer | Details |
| Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques | De-Shuang Huang, Laurent Heutte, Marco Loog | Computer Science | Springer | Details |
| Advances in Computer Systems Architecture | Lynn Choi, Yunheung Paek, Sangyeun Cho | Computer Science | Springer | Details |
| Recent Advances in Intrusion Detection | Christopher Kruegel, Richard Lippmann, Andrew Clark | Computer Science | Springer | Details |
| Software Architecture | Zheng Qin, Xiang Zheng, Jiankuan Xing | 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