Title | Author | Subject | Publisher | Action |
Integer Programming and Combinatorial Optimization | Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi | Computer Science | Springer | Details |
Formal Methods for Computational Systems Biology | Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro | Computer Science | Springer | Details |
OPC Unified Architecture | Matthias Damm, Stefan-Helmut Leitner, Wolfgang Mahnke | Computer Science | Springer | Details |
Applied Cryptography and Network Security | Steven M. Bellovin, Rosario Gennaro, Angelos Keromytis, Moti Yung | Computer Science | Springer | Details |
Robot Cognition and Navigation | Srikanta Patnaik | Computer Science | Springer | Details |
Dependability Metrics | Irene Eusgeld, Felix C. Freiling, Ralf Reussner | Computer Science | Springer | Details |
Advances in Knowledge Acquisition and Management | Achim Hoffmann, Byeong-ho Kang, Debbie Richards, Shusaku Tsumoto | Computer Science | Springer | Details |
Declarative Agent Languages and Technologies IV | Matteo Baldoni, Ulle Endriss | Computer Science | Springer | Details |
Information Systems Security | Aditya Bagchi, Vijayalakshmi Atluri | Computer Science | Springer | Details |
Agents and Peer-to-Peer Computing | Zoran Despotovic, Sam Joseph, Claudio Sartori | Computer Science | Springer | Details |
Data Mining and Bioinformatics | Mehmet M. Dalkilic, Sun Kim, Jiong Yang | Computer Science | Springer | Details |
Trusted Computing - Challenges and Applications | Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch | Computer Science | Springer | Details |
Analytical and Stochastic Modeling Techniques and Applications | Khalid Al-Begain, Armin Heindl, Miklós Telek | Computer Science | Springer | Details |
The Design of Material, Organism, and Minds | Silke Konsorski-Lang, Michael Hampe | Computer Science | Springer | Details |
Transactions on Data Hiding and Multimedia Security III | Yun Q. Shi | Computer Science | Springer | Details |
Bioinformatics | Andrzej Polanski, Marek Kimmel | Computer Science | Springer | Details |
New Frontiers in Applied Artificial Intelligence | Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali | Computer Science | Springer | Details |
Haptics: Perception, Devices and Scenarios | Manuel Ferre | Computer Science | Springer | Details |
Verification of Object-Oriented Software. The KeY Approach | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Computer Science | Springer | Details |
Requirements Engineering: Foundation for Software Quality | Barbara Paech, Colette Rolland | Computer Science | Springer | Details |
Combinatorial Pattern Matching | Paolo Ferragina, Gad M. Landau | Computer Science | Springer | Details |
Models in Software Engineering | Holger Giese | Computer Science | Springer | Details |
Critical Information Infrastructures Security | Javier Lopez | Computer Science | Springer | Details |
Algorithmic Aspects of Wireless Sensor Networks | Sotiris E. Nikoletseas, José D. P. Rolim | Computer Science | Springer | Details |
Membrane Computing | Hendrik Jan Hoogeboom, Gheorghe P?un, Grzegorz Rozenberg, Arto Salomaa | Computer Science | Springer | Details |
Model Driven Architecture ? Foundations and Applications | Ina Schieferdecker, Alan Hartman | Computer Science | Springer | Details |
Intelligent Tutoring Systems | Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie | Computer Science | Springer | Details |
From Animals to Animats 10 | Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani | Computer Science | Springer | Details |
Verified Software: Theories, Tools, Experiments | Bertrand Meyer, Jim Woodcock | Computer Science | Springer | Details |
Neural Information Processing | Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa | Computer Science | Springer | Details |
Neural Information Processing | Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa | Computer Science | Springer | Details |
Static Analysis | María Alpuente, Germán Vidal | Computer Science | Springer | Details |
Distributed Computing in Sensor Systems | Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari | Computer Science | Springer | Details |
Security and Privacy in Ad-Hoc and Sensor Networks | Levente Buttyán, Virgil D. Gligor, Dirk Westhoff | Computer Science | Springer | Details |
Implementation and Application of Functional Languages | Andrew Butterfield, Clemens Grelck, Frank Huch | Computer Science | Springer | Details |
Theory and Applications of Relational Structures as Knowledge Instruments II | Harrie Swart, Ewa Or?owska, Gunther Schmidt, Marc Roubens | Computer Science | Springer | Details |
Declarative Programming for Knowledge Management | Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata | Computer Science | Springer | Details |
Grid Computing | Radu Prodan, Thomas Fahringer | Computer Science | Springer | Details |
Innovative Concepts for Autonomic and Agent-Based Systems | Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski | Computer Science | Springer | Details |
Machine Learning for Multimodal Interaction | Steve Renals, Samy Bengio, Jonathan G. Fiscus | Computer Science | Springer | Details |
Database Theory ? ICDT 2007 | Thomas Schwentick, Dan Suciu | Computer Science | Springer | Details |
Software Architecture | Volker Gruhn, Flavio Oquendo | Computer Science | Springer | Details |
Ubiquitous Intelligence and Computing | Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence T. Yang, Jianhua Ma | Computer Science | Springer | Details |
Autonomic and Trusted Computing | Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, Jianhua Ma | Computer Science | Springer | Details |
A Practical Programming Model for the Multi-Core Era | Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguadé, Dongsheng Wang | Computer Science | Springer | Details |
Intelligence and Security Informatics | Christopher C. Yang, Hsinchun Chen, Michael Chau, Kuiyu Chang, Sheau-Dong Lang, Patrick S. Chen, Raymond Hsieh, Daniel Zeng, Fei-Yue Wang, Kathleen Carley, Wenji Mao, Justin Zhan | Computer Science | Springer | Details |
Frontiers in Algorithmics | Franco P. Preparata, Xiaodong Wu, Jianping Yin | Computer Science | Springer | Details |
Multiaccess, Reservations & Queues | Dee Denteneer, Johan S. H. Leeuwaarden | Computer Science | Springer | Details |
Pattern Recognition | Gerhard Rigoll | Computer Science | Springer | Details |
Topics in Cryptology ? CT-RSA 2007 | Masayuki Abe | Computer Science | Springer | Details |
Languages and Compilers for Parallel Computing | Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan | Computer Science | Springer | Details |
Ada 2005 Reference Manual. Language and Standard Libraries | S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy | Computer Science | Springer | Details |
High Performance Embedded Architectures and Compilers | Koen Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer | Computer Science | Springer | Details |
Structural Information and Communication Complexity | Alexander A. Shvartsman, Pascal Felber | Computer Science | Springer | Details |
Perception in Multimodal Dialogue Systems | Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Michael Weber | Computer Science | Springer | Details |
Digital Color Management | Jan-Peter Homann | Computer Science | Springer | Details |
Computational Science ? ICCS 2008 | Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot | Computer Science | Springer | Details |
Computational Science ? ICCS 2008 | Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot | Computer Science | Springer | Details |
Computational Science ? ICCS 2008 | Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot | Computer Science | Springer | Details |
Global E-Security | Hamid Jahankhani, Kenneth Revett, Dominic Palmer-Brown | Computer Science | Springer | Details |
Logic and Theory of Algorithms | Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe | Computer Science | Springer | Details |
Advances in Multimedia Modeling | Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia | Computer Science | Springer | Details |
Advances in Multimedia Modeling | Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia | Computer Science | Springer | Details |
Time-Dependent Scheduling | Stanis?aw Gawiejnowicz | Computer Science | Springer | Details |
Changing Television Environments | Manfred Tscheligi, Marianna Obrist, Artur Lugmayr | Computer Science | Springer | Details |
Public Key Infrastructure | Stig F. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas | Computer Science | Springer | Details |
Models in Software Engineering | Thomas Kühne | Computer Science | Springer | Details |
Scientific and Statistical Database Management | Bertram Ludäscher, Nikos Mamoulis | Computer Science | Springer | Details |
Arithmetic of Finite Fields | Joachim Gathen, José Luis Imaña, Çetin Kaya Koç | Computer Science | Springer | Details |
Algorithms and Architectures for Parallel Processing | Anu G. Bourgeois, S. Q. Zheng | Computer Science | Springer | Details |
SOFSEM 2007: Theory and Practice of Computer Science | Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil | Computer Science | Springer | Details |
Approximation and Online Algorithms | Thomas Erlebach, Christos Kaklamanis | Computer Science | Springer | Details |
Advanced Information Systems Engineering | Zohra Bellahsène, Michel Léonard | Computer Science | Springer | Details |
Interactive Systems. Design, Specification, and Verification | Gavin Doherty, Ann Blandford | Computer Science | Springer | Details |
Product-Focused Software Process Improvement | Andreas Jedlitschka, Outi Salo | 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