| Title | Author | Subject | Publisher | Action |
| Subspace, Latent Structure and Feature Selection | Craig Saunders, Marko Grobelnik, Steve Gunn, John Shawe-Taylor | Computer Science | Springer | Details |
| Parallel Processing and Applied Mathematics | Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wa?niewski | Computer Science | Springer | Details |
| Interactive Systems. Design, Specification, and Verification | Stephen W. Gilroy, Michael D. Harrison | Computer Science | Springer | Details |
| Location- and Context-Awareness | Mike Hazas, John Krumm, Thomas Strang | Computer Science | Springer | Details |
| DNA Computing | Alessandra Carbone, Niles A. Pierce | Computer Science | Springer | Details |
| Computer Science ? Theory and Applications | Dima Grigoriev, John Harrison, Edward A. Hirsch | Computer Science | Springer | Details |
| Testing of Communicating Systems | M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko | Computer Science | Springer | Details |
| NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems | Fernando Boavida, Thomas Plagemann, Burkhard Stiller, Cedric Westphal, Edmundo Monteiro | Computer Science | Springer | Details |
| Software Process Change | Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick | Computer Science | Springer | Details |
| Computer Vision in Human-Computer Interaction | Thomas S. Huang, Nicu Sebe, Michael S. Lew, Vladimir Pavlovi?, Mathias Kölsch, Aphrodite Galata, Branislav Kisa?anin | Computer Science | Springer | Details |
| Recent Advances in Constraints | Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi | Computer Science | Springer | Details |
| Persuasive Technology | Wijnand A. IJsselsteijn, Yvonne A. W. Kort, Cees Midden, Berry Eggen, Elise Hoven | Computer Science | Springer | Details |
| Trust Management | Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci | Computer Science | Springer | Details |
| Formal Methods for Hardware Verification | Marco Bernardo, Alessandro Cimatti | Computer Science | Springer | Details |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | J. Christopher Beck, Barbara M. Smith | Computer Science | Springer | Details |
| Performance Analysis of Network Architectures | Dietmar Tutsch | Computer Science | Springer | Details |
| Embedded Robotics | Thomas Bräunl | Computer Science | Springer | Details |
| An Introduction to Language Processing with Perl and Prolog | Pierre M. Nugues | Computer Science | Springer | Details |
| Algorithms and Complexity | Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano | Computer Science | Springer | Details |
| Computational Science ? ICCS 2006 | Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra | Computer Science | Springer | Details |
| Computational Science ? ICCS 2006 | Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra | Computer Science | Springer | Details |
| Computational Science ? ICCS 2006 | Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra | Computer Science | Springer | Details |
| Computational Science ? ICCS 2006 | Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra | Computer Science | Springer | Details |
| Next Generation Teletraffic and Wired/Wireless Advanced Networking | Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen | Computer Science | Springer | Details |
| Advances in Neural Networks - ISNN 2006 | Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin | Computer Science | Springer | Details |
| Advances in Neural Networks - ISNN 2006 | Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin | Computer Science | Springer | Details |
| Engineering Societies in the Agents World VI | O?uz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci | Computer Science | Springer | Details |
| Formal Approaches to Software Testing | Wolfgang Grieskamp, Carsten Weise | Computer Science | Springer | Details |
| Intelligence and Security Informatics | Sharad Mehrotra, Daniel D. Zeng, Hsinchun Chen, Bhavani Thuraisingham, Fei-Yue Wang | Computer Science | Springer | Details |
| Advances in Neural Networks - ISNN 2006 | Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin | Computer Science | Springer | Details |
| Ontologies for Software Engineering and Software Technology | Coral Calero, Francisco Ruiz, Mario Piattini | Computer Science | Springer | Details |
| Enabling Semantic Web Services | Dieter Fensel, Holger Lausen, Jos Bruijn, Michael Stollberg, Dumitru Roman, Axel Polleres, John Domingue | Computer Science | Springer | Details |
| The Semantic Web: Research and Applications | York Sure, John Domingue | Computer Science | Springer | Details |
| Advances in Cryptology - EUROCRYPT 2006 | Serge Vaudenay | Computer Science | Springer | Details |
| Stochastic Optimization | Johannes Josef Schneider, Scott Kirkpatrick | Computer Science | Springer | Details |
| High Availability and Disaster Recovery | Klaus Schmidt | Computer Science | Springer | Details |
| Experimental Algorithms | Carme Àlvarez, María Serna | Computer Science | Springer | Details |
| Reuse of Off-the-Shelf Components | Maurizio Morisio | Computer Science | Springer | Details |
| Natural Language Processing and Information Systems | Christian Kop, Günther Fliedl, Heinrich C. Mayr, Elisabeth Métais | Computer Science | Springer | Details |
| Advances in Artificial Intelligence | Luc Lamontagne, Mario Marchand | Computer Science | Springer | Details |
| Flexible Query Answering Systems | Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz-Arroyo, Troels Andreasen, Henning Christiansen | Computer Science | Springer | Details |
| Emerging Trends in Information and Communication Security | Günter Müller | Computer Science | Springer | Details |
| Advanced Information Systems Engineering | Eric Dubois, Klaus Pohl | Computer Science | Springer | Details |
| Reliable Software Technologies ? Ada-Europe 2006 | Luís Miguel Pinho, Michael González Harbour | Computer Science | Springer | Details |
| Product-Focused Software Process Improvement | Jürgen Münch, Matias Vierimaa | Computer Science | Springer | Details |
| Coordination Models and Languages | Paolo Ciancarini, Herbert Wiklicky | Computer Science | Springer | Details |
| Adaptive Hypermedia and Adaptive Web-Based Systems | Vincent P. Wade, Helen Ashman, Barry Smyth | Computer Science | Springer | Details |
| Petri Nets and Other Models of Concurrency - ICATPN 2006 | Susanna Donatelli, P. S. Thiagarajan | Computer Science | Springer | Details |
| Applied Cryptography and Network Security | Jianying Zhou, Moti Yung, Feng Bao | Computer Science | Springer | Details |
| Graphics Recognition. Ten Years Review and Future Perspectives | Wenyin Liu, Josep Lladós | Computer Science | Springer | Details |
| Self-Managed Networks, Systems, and Services | Alexander Keller, Jean-Philippe Martin-Flatin | Computer Science | Springer | Details |
| Perception and Interactive Technologies | Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Michael Weber | Computer Science | Springer | Details |
| Privacy Enhancing Technologies | George Danezis, David Martin | Computer Science | Springer | Details |
| Unifying Theories of Programming | Steve Dunne, Bill Stoddart | Computer Science | Springer | Details |
| Interactive Computation | Dina Goldin, Scott A. Smolka, Peter Wegner | Computer Science | Springer | Details |
| Formal Methods for Open Object-Based Distributed Systems | Roberto Gorrieri, Heike Wehrheim | Computer Science | Springer | Details |
| Advances in XML Information Retrieval and Evaluation | Norbert Fuhr, Mounia Lalmas, Saadia Malik, Gabriella Kazai | Computer Science | Springer | Details |
| Extreme Programming and Agile Processes in Software Engineering | Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi | Computer Science | Springer | Details |
| Distributed Applications and Interoperable Systems | Frank Eliassen, Alberto Montresor | Computer Science | Springer | Details |
| Public Key Infrastructure | Andrea S. Atzeni, Antonio Lioy | Computer Science | Springer | Details |
| Combinatorial Image Analysis | Ralf Reulke, Ulrich Eckardt, Boris Flach, Uwe Knauer, Konrad Polthier | Computer Science | Springer | Details |
| Algorithmic Aspects in Information and Management | Siu-Wing Cheng, Chung Keung Poon | Computer Science | Springer | Details |
| Intelligent Tutoring Systems | Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan | Computer Science | Springer | Details |
| Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems | Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda | Computer Science | Springer | Details |
| Advances in Web-Age Information Management | Jeffrey Xu Yu, Masaru Kitsuregawa, Hong Va Leong | Computer Science | Springer | Details |
| Distributed Computing in Sensor Systems | Phillip B. Gibbons, Tarek Abdelzaher, James Aspnes, Ramesh Rao | Computer Science | Springer | Details |
| Learning Theory | Gábor Lugosi, Hans Ulrich Simon | Computer Science | Springer | Details |
| Formal Methods and Stochastic Models for Performance Evaluation | András Horváth, Miklós Telek | Computer Science | Springer | Details |
| Developments in Language Theory | Oscar H. Ibarra, Zhe Dang | Computer Science | Springer | Details |
| RoboCup 2005: Robot Soccer World Cup IX | Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi | Computer Science | Springer | Details |
| Data Engineering Issues in E-Commerce and Services | Juhnyoung Lee, Junho Shim, Sang-goo Lee, Christoph Bussler, Simon Shim | Computer Science | Springer | Details |
| Advances in Applied Artificial Intelligence | Moonis Ali, Richard Dapoigny | Computer Science | Springer | Details |
| Performability Has its Price | Burkhard Stiller, Peter Reichl, Bruno Tuffin | Computer Science | Springer | Details |
| Information Security and Privacy | Lynn Margaret Batten, Reihaneh Safavi-Naini | Computer Science | Springer | Details |
| Combinatorial Pattern Matching | Moshe Lewenstein, Gabriel Valiente | 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