| Title | Author | Subject | Publisher | Action |
| Service-Oriented Computing ? ICSOC 2007 | Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan | Computer Science | Springer | Details |
| Knowledge Discovery in Databases: PKDD 2007 | Joost N. Kok, Jacek Koronacki, Ramon Lopez de Mantaras, Stan Matwin, Dunja Mladeni?, Andrzej Skowron | Computer Science | Springer | Details |
| SDL 2007: Design for Dependable Systems | Emmanuel Gaudin, Elie Najm, Rick Reed | Computer Science | Springer | Details |
| Developments in Telecommunications | Gerhard Rufa | Computer Science | Springer | Details |
| Journal on Data Semantics IX | Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu | Computer Science | Springer | Details |
| Algorithms for Sensor and Ad Hoc Networks | Dorothea Wagner, Roger Wattenhofer | Computer Science | Springer | Details |
| Intelligent Virtual Agents | Catherine Pelachaud, Jean-Claude Martin, Elisabeth André, Gérard Chollet, Kostas Karpouzis, Danielle Pelé | Computer Science | Springer | Details |
| Evaluation of Multilingual and Multi-modal Information Retrieval | Carol Peters, Paul Clough, Fredric C. Gey, Jussi Karlgren, Bernardo Magnini, Douglas W. Oard, Maarten Rijke, Maximilian Stempfhuber | Computer Science | Springer | Details |
| Computer Safety, Reliability, and Security | Francesca Saglietti, Norbert Oster | Computer Science | Springer | Details |
| Cooperative Information Agents XI | Matthias Klusch, Koen V. Hindriks, Mike P. Papazoglou, Leon Sterling | Computer Science | Springer | Details |
| Software Architecture | Flavio Oquendo | Computer Science | Springer | Details |
| Information Access through Search Engines and Digital Libraries | Maristella Agosti | Computer Science | Springer | Details |
| Computational Methods in Systems Biology | Muffy Calder, Stephen Gilmore | Computer Science | Springer | Details |
| Distributed Computing | Andrzej Pelc | Computer Science | Springer | Details |
| Logic, Language, and Computation | Balder D. Cate, Henk W. Zeevat | Computer Science | Springer | Details |
| Visualization for Information Retrieval | Jin Zhang | Computer Science | Springer | Details |
| Location- and Context-Awareness | Jeffrey Hightower, Bernt Schiele, Thomas Strang | Computer Science | Springer | Details |
| Transactions on Aspect-Oriented Software Development III | Awais Rashid, Mehmet Aksit | Computer Science | Springer | Details |
| Machine Learning Techniques for Multimedia | Matthieu Cord, Pádraig Cunningham | Computer Science | Springer | Details |
| Mobility, Data Mining and Privacy | Fosca Giannotti, Dino Pedreschi | Computer Science | Springer | Details |
| Business Process Management | Gustavo Alonso, Peter Dadam, Michael Rosemann | Computer Science | Springer | Details |
| Advances in Databases and Information Systems | Yannis Ioannidis, Boris Novikov, Boris Rachev | Computer Science | Springer | Details |
| Computer Algebra in Scientific Computing | Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov | Computer Science | Springer | Details |
| Creating New Learning Experiences on a Global Scale | Erik Duval, Ralf Klamma, Martin Wolpers | Computer Science | Springer | Details |
| Foundations of Rule Learning | Johannes Fürnkranz, Dragan Gamberger, Nada Lavra? | Computer Science | Springer | Details |
| Model Driven Engineering Languages and Systems | Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil | Computer Science | Springer | Details |
| Formal Methods and Stochastic Models for Performance Evaluation | Katinka Wolter | Computer Science | Springer | Details |
| Formal Methods and Hybrid Real-Time Systems | Cliff B. Jones, Zhiming Liu, Jim Woodcock | Computer Science | Springer | Details |
| Algorithmic Learning Theory | Marcus Hutter, Rocco A. Servedio, Eiji Takimoto | Computer Science | Springer | Details |
| Formal Aspects in Security and Trust | Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider | Computer Science | Springer | Details |
| Secure Data Management | Willem Jonker, Milan Petkovi? | Computer Science | Springer | Details |
| Multi-Agent Systems and Applications V | Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga | Computer Science | Springer | Details |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Khaled Mellouli | Computer Science | Springer | Details |
| Current Topics in Artificial Intelligence | Daniel Borrajo, Luis Castillo, Juan Manuel Corchado | Computer Science | Springer | Details |
| Advances in Computer Graphics and Computer Vision | José Braz, Alpesh Ranchordas, Helder Araújo, Joaquim Jorge | Computer Science | Springer | Details |
| Pattern Recognition in Bioinformatics | Jagath C. Rajapakse, Bertil Schmidt, Gwenn Volkert | Computer Science | Springer | Details |
| Database and XMLTechnologies | Denilson Barbosa, Angela Bonifati, Zohra Bellahsène, Ela Hunt, Rainer Unland | Computer Science | Springer | Details |
| Theoretical Aspects of Computing ? ICTAC 2007 | Cliff B. Jones, Zhiming Liu, Jim Woodcock | Computer Science | Springer | Details |
| Dependable Computing | Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum | Computer Science | Springer | Details |
| Trustworthy Global Computing | Ugo Montanari, Donald Sannella, Roberto Bruni | Computer Science | Springer | Details |
| Software Process Improvement | Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz | Computer Science | Springer | Details |
| Scalable Uncertainty Management | Henri Prade, V. S. Subrahmanian | Computer Science | Springer | Details |
| Algebraic Informatics | Symeon Bozapalidis, George Rahonis | Computer Science | Springer | Details |
| Recent Advances in Parallel Virtual Machine and Message Passing Interface | Franck Cappello, Thomas Herault, Jack Dongarra | Computer Science | Springer | Details |
| High Performance Computing and Communications | Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang | Computer Science | Springer | Details |
| Formal Modeling and Analysis of Timed Systems | Jean-François Raskin, P. S. Thiagarajan | Computer Science | Springer | Details |
| Ontologies-Based Databases and Information Systems | Martine Collard | Computer Science | Springer | Details |
| Managing Next Generation Networks and Services | Shingo Ata, Choong Seon Hong | Computer Science | Springer | Details |
| Discovery Science | Vincent Corruble, Masayuki Takeda, Einoshin Suzuki | Computer Science | Springer | Details |
| Service-Oriented Computing ICSOC 2006 | Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, George Feuerlicht, Marten Schoenherr, Hamid R. Motahari-Nezhad | Computer Science | Springer | Details |
| Information Security | Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta | Computer Science | Springer | Details |
| Databases in Networked Information Systems | Subhash Bhalla | Computer Science | Springer | Details |
| Hybrid Metaheuristics | Thomas Bartz-Beielstein, María José Blesa Aguilera, Christian Blum, Boris Naujoks, Andrea Roli, Günter Rudolph, Michael Sampels | Computer Science | Springer | Details |
| Algorithms ? ESA 2007 | Lars Arge, Michael Hoffmann, Emo Welzl | Computer Science | Springer | Details |
| Engineering Societies in the Agents World VII | Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, O?uz Dikenelli | Computer Science | Springer | Details |
| Argumentation in Multi-Agent Systems | Nicolas Maudet, Simon Parsons, Iyad Rahwan | Computer Science | Springer | Details |
| String Processing and Information Retrieval | Nivio Ziviani, Ricardo Baeza-Yates | Computer Science | Springer | Details |
| Computers and Games | H. Jaap Herik, Paolo Ciancarini, H. H. L. M. (Jeroen) Donkers | Computer Science | Springer | Details |
| Software Engineering Approaches for Offshore and Outsourced Development | Bertrand Meyer, Mathai Joseph | Computer Science | Springer | Details |
| Knowledge Discovery in Inductive Databases | Sašo Džeroski, Jan Struyf | Computer Science | Springer | Details |
| Privacy Enhancing Technologies | Nikita Borisov, Philippe Golle | Computer Science | Springer | Details |
| Advances in Brain, Vision, and Artificial Intelligence | Francesco Mele, Giuliana Ramella, Silvia Santillo, Francesco Ventriglia | Computer Science | Springer | Details |
| Logic for Programming, Artificial Intelligence, and Reasoning | Nachum Dershowitz, Andrei Voronkov | Computer Science | Springer | Details |
| Conceptual Modeling - ER 2007 | Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim | Computer Science | Springer | Details |
| Automated Technology for Verification and Analysis | Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura | Computer Science | Springer | Details |
| Advances in Information and Computer Security | Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg | Computer Science | Springer | Details |
| Software Technologies for Embedded and Ubiquitous Systems | Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig | Computer Science | Springer | Details |
| Spatial Cognition V Reasoning, Action, Interaction | Thomas Barkowsky, Markus Knauff, Gérard Ligozat, Daniel R. Montello | Computer Science | Springer | Details |
| Mobile Response | Jobst Löffler, Markus Klann | Computer Science | Springer | Details |
| Provable Security | Willy Susilo, Joseph K. Liu, Yi Mu | Computer Science | Springer | Details |
| Analysis and Modeling of Faces and Gestures | S. Kevin Zhou, Wenyi Zhao, Xiaoou Tang, Shaogang Gong | Computer Science | Springer | Details |
| Managing Virtualization of Networks and Services | Alexander Clemm, Lisandro Zambenedetti Granville, Rolf Stadler | Computer Science | Springer | Details |
| Smart Sensing and Context | Gerd Kortuem, Joe Finney, Rodger Lea, Vasughi Sundramoorthy | Computer Science | Springer | Details |
| International Symposium on Fundamentals of Software Engineering | Farhad Arbab, Marjan Sirjani | Computer Science | Springer | Details |
| Human Motion ? Understanding, Modeling, Capture and Animation | Ahmed Elgammal, Bodo Rosenhahn, Reinhard Klette | 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