| Title | Author | Subject | Publisher | Action |
| Computational Intelligence and Bioinformatics | De-Shuang Huang, Kang Li, George William Irwin | Computer Science | Springer | Details |
| Advances in Natural Language Processing | Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala | Computer Science | Springer | Details |
| CONCUR 2006 ? Concurrency Theory | Christel Baier, Holger Hermanns | Computer Science | Springer | Details |
| Computer Aided Verification | Thomas Ball, Robert B. Jones | Computer Science | Springer | Details |
| Advances in Cryptology - CRYPTO 2006 | Cynthia Dwork | Computer Science | Springer | Details |
| Advanced Topics in Exception Handling Techniques | Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi | Computer Science | Springer | Details |
| Pattern Recognition in Bioinformatics | Jagath C. Rajapakse, Limsoon Wong, Raj Acharya | Computer Science | Springer | Details |
| Intelligent Virtual Agents | Jonathan Gratch, Michael Young, Ruth Aylett, Daniel Ballin, Patrick Olivier | Computer Science | Springer | Details |
| Haptic and Audio Interaction Design | David McGookin, Stephen Brewster | Computer Science | Springer | Details |
| Advances in Machine Vision, Image Processing, and Pattern Analysis | Nanning Zheng, Xiaoyi Jiang, Xuguang Lan | Computer Science | Springer | Details |
| Software Composition | Welf Löwe, Mario Südholt | Computer Science | Springer | Details |
| Self-Organizing Systems | Hermann Meer, James P. G. Sterbenz | Computer Science | Springer | Details |
| Automotive Software ? Connected Services in Mobile Networks | Manfred Broy, Ingolf H. Krüger, Michael Meisinger | Computer Science | Springer | Details |
| Electronic Government | Maria A. Wimmer, Hans J. Scholl, Åke Grönlund, Kim Viborg Andersen | Computer Science | Springer | Details |
| Data Warehousing and Knowledge Discovery | A Min Tjoa, Juan Trujillo | Computer Science | Springer | Details |
| E-Commerce and Web Technologies | Kurt Bauknecht, Birgit Pröll, Hannes Werthner | Computer Science | Springer | Details |
| Artificial Immune Systems | Hugues Bersini, Jorge Carneiro | Computer Science | Springer | Details |
| Trust and Privacy in Digital Business | Simone Fischer-Hübner, Stevel Furnell, Costas Lambrinoudakis | Computer Science | Springer | Details |
| Static Analysis | Kwangkeun Yi | Computer Science | Springer | Details |
| Euro-Par 2006 Parallel Processing | Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner | Computer Science | Springer | Details |
| Ambient Intelligence in Everyday Life | Yang Cai, Julio Abascal | Computer Science | Springer | Details |
| Mathematical Foundations of Computer Science 2006 | Rastislav Královi?, Pawe? Urzyczyn | Computer Science | Springer | Details |
| Secure Mobile Ad-hoc Networks and Sensors | Mike Burmester, Alec Yasinsac | Computer Science | Springer | Details |
| Database and Expert Systems Applications | Stéphane Bressan, Josef Küng, Roland Wagner | Computer Science | Springer | Details |
| Relations and Kleene Algebra in Computer Science | Renate A. Schmidt | Computer Science | Springer | Details |
| Web Data Mining | Bing Liu | Computer Science | Springer | Details |
| Preserving Digital Information | Henry M. Gladney | Computer Science | Springer | Details |
| OMDoc ? An Open Markup Format for Mathematical Documents [version 1.2] | Michael Kohlhase | Computer Science | Springer | Details |
| Advances in Databases and Information Systems | Yannis Manolopoulos, Jaroslav Pokorný, Timos K. Sellis | Computer Science | Springer | Details |
| Reasoning, Action and Interaction in AI Theories and Systems | Oliviero Stock, Marco Schaerf | Computer Science | Springer | Details |
| Artificial Neural Networks in Pattern Recognition | Friedhelm Schwenker, Simone Marinai | Computer Science | Springer | Details |
| Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick | Computer Science | Springer | Details |
| Security and Cryptography for Networks | Roberto Prisco, Moti Yung | Computer Science | Springer | Details |
| Mathematical Software - ICMS 2006 | Andrés Iglesias, Nobuki Takayama | Computer Science | Springer | Details |
| Ubiquitous Intelligence and Computing | Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai | Computer Science | Springer | Details |
| Services Computing | Liang-Jie Zhang, Jia Zhang, Hong Cai | Computer Science | Springer | Details |
| The Semantic Web ? ASWC 2006 | Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia | Computer Science | Springer | Details |
| Information Security | Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel | Computer Science | Springer | Details |
| Reasoning Web | Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler | Computer Science | Springer | Details |
| Business Process Management Workshops | Johann Eder, Schahram Dustdar | Computer Science | Springer | Details |
| Ant Colony Optimization and Swarm Intelligence | Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle | Computer Science | Springer | Details |
| Cooperative Information Agents X | Matthias Klusch, Michael Rovatsos, Terry R. Payne | Computer Science | Springer | Details |
| Unconventional Computation | Cristian S. Calude, Michael J. Dinneen, Gheorghe P?un, Grzegorz Rozenberg, Susan Stepney | Computer Science | Springer | Details |
| From Animals to Animats 9 | Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi | Computer Science | Springer | Details |
| Autonomic and Trusted Computing | Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer | Computer Science | Springer | Details |
| Artificial Neural Networks ? ICANN 2006 | Stefanos D. Kollias, Andreas Stafylopatis, W?odzis?aw Duch, Erkki Oja | Computer Science | Springer | Details |
| Web Services and Formal Methods | Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro | Computer Science | Springer | Details |
| Graph Transformations | Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg | Computer Science | Springer | Details |
| Artificial Neural Networks ? ICANN 2006 | Stefanos Kollias, Andreas Stafylopatis, W?odzis?aw Duch, Erkki Oja | Computer Science | Springer | Details |
| Algorithms ? ESA 2006 | Yossi Azar, Thomas Erlebach | Computer Science | Springer | Details |
| Database and XML Technologies | Sihem Amer-Yahia, Zohra Bellahsène, Ela Hunt, Rainer Unland, Jeffrey Xu Yu | Computer Science | Springer | Details |
| Business Process Management | Schahram Dustdar, José Luiz Fiadeiro, Amit P. Sheth | Computer Science | Springer | Details |
| Secure Data Management | Willem Jonker, Milan Petkovi? | Computer Science | Springer | Details |
| Parallel Problem Solving from Nature - PPSN IX | Thomas Philip Runarsson, Hans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós, L. Darrell Whitley, Xin Yao | Computer Science | Springer | Details |
| Text, Speech and Dialogue | Petr Sojka, Ivan Kope?ek, Karel Pala | Computer Science | Springer | Details |
| Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Johan Vounckx, Nadine Azemard, Philippe Maurine | Computer Science | Springer | Details |
| Parameterized and Exact Computation | Hans L. Bodlaender, Michael A. Langston | Computer Science | Springer | Details |
| Recent Advances in Parallel Virtual Machine and Message Passing Interface | Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra | Computer Science | Springer | Details |
| High Performance Computing and Communications | Michael Gerndt, Dieter Kranzlmüller | Computer Science | Springer | Details |
| Transactions on Rough Sets V | James F. Peters, Andrzej Skowron | Computer Science | Springer | Details |
| Conceptual Modeling of Information Systems | Antoni Olivé | Computer Science | Springer | Details |
| Multimedia Content Representation, Classification and Security | Bilge Gunsel, Anil K. Jain, A. Murat Tekalp, Bülent Sankur | Computer Science | Springer | Details |
| Object-Oriented Metrics in Practice | Michele Lanza, Radu Marinescu | Computer Science | Springer | Details |
| Algorithms in Bioinformatics | Philipp Bücher, Bernard M. E. Moret | Computer Science | Springer | Details |
| Principles and Practice of Semantic Web Reasoning | Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel | Computer Science | Springer | Details |
| Groupware: Design, Implementation, and Use | Yannis A. Dimitriadis, Ilze Zigurs, Eduardo Gómez-Sánchez | Computer Science | Springer | Details |
| Logics in Artificial Intelligence | Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa | Computer Science | Springer | Details |
| UbiComp 2006: Ubiquitous Computing | Paul Dourish, Adrian Friday | Computer Science | Springer | Details |
| Recent Advances in Intrusion Detection | Diego Zamboni, Christopher Kruegel | Computer Science | Springer | Details |
| Artificial Intelligence and Symbolic Computation | Jacques Calmet, Tetsuo Ida, Dongming Wang | Computer Science | Springer | Details |
| Foundations of Intelligent Systems | Zbigniew W. Ra?, Setsuo Ohsuga | Computer Science | Springer | Details |
| Advances in Computer Systems Architecture | Chris Jesshope, Colin Egan | Computer Science | Springer | Details |
| Security Protocols | Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe | Computer Science | Springer | Details |
| Modular Programming Languages | David E. Lightfoot, Clemens Szyperski | Computer Science | Springer | Details |
| Artificial Intelligence: Methodology, Systems, and Applications | Jérôme Euzenat, John Domingue | 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