Title | Author | Subject | Publisher | Action |
Inductive Logic Programming | Stefan Kramer, Bernhard Pfahringer | Computer Science | Springer | Details |
Numerical Analysis and Its Applications | Zhilin Li, Lubin Vulkov, Jerzy Wa?niewski | Computer Science | Springer | Details |
Advances in Natural Computation | Lipo Wang, Ke Chen, Yew Soon Ong | Computer Science | Springer | Details |
High Performance Computing for Computational Science - VECPAR 2004 | Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma | Computer Science | Springer | Details |
Case-Based Reasoning Research and Development | Héctor Muñoz-Ávila, Francesco Ricci | Computer Science | Springer | Details |
STACS 2005 | Volker Diekert, Bruno Durand | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | João Leite, Paolo Torroni | Computer Science | Springer | Details |
Advances in Natural Computation | Lipo Wang, Ke Chen, Yew Soon Ong | Computer Science | Springer | Details |
Trusting Agents for Trusting Electronic Societies | Rino Falcone, Suzanne Barber, Jordi Sabater-Mir, Munindar P. Singh | Computer Science | Springer | Details |
Combinatorial and Algorithmic Aspects of Networking | Alejandro López-Ortiz, Angèle M. Hamel | Computer Science | Springer | Details |
Advances in Bioinformatics and Computational Biology | João Carlos Setubal, Sergio Verjovski-Almeida | Computer Science | Springer | Details |
Theoretical Aspects of Computing - ICTAC 2004 | Zhiming Liu, Keijiro Araki | Computer Science | Springer | Details |
Advances in Natural Computation | Lipo Wang, Ke Chen, Yew Soon Ong | Computer Science | Springer | Details |
Automated Deduction ? CADE-20 | Robert Nieuwenhuis | Computer Science | Springer | Details |
Advances in Information Retrieval | David E. Losada, Juan M. Fernández-Luna | Computer Science | Springer | Details |
Image Analysis and Processing ? ICIAP 2005 | Fabio Roli, Sergio Vitulano | Computer Science | Springer | Details |
Mathematical Foundations of Computer Science 2005 | Joanna Je?drzejowicz, Andrzej Szepietowski | Computer Science | Springer | Details |
Networking and Mobile Computing | Xicheng Lu, Wei Zhao | Computer Science | Springer | Details |
Scientific Engineering of Distributed Java Applications | Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky | Computer Science | Springer | Details |
Advances in Cryptology ? CRYPTO 2005 | Victor Shoup | Computer Science | Springer | Details |
Information Retrieval Technology | Sung Hyon Myaeng, Ming Zhou, Kam-Fai Wong, Hong-Jiang Zhang | Computer Science | Springer | Details |
Advanced Functional Programming | Varmo Vene, Tarmo Uustalu | Computer Science | Springer | Details |
Fundamentals of Computation Theory | Maciej Li?kiewicz, Rüdiger Reischuk | Computer Science | Springer | Details |
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques | Chandra Chekuri, Klaus Jansen, José D. P. Rolim, Luca Trevisan | Computer Science | Springer | Details |
Artificial Immune Systems | Christian Jacob, Marcin L. Pilat, Peter J. Bentley, Jonathan I. Timmis | Computer Science | Springer | Details |
Algebra and Coalgebra in Computer Science | José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten | Computer Science | Springer | Details |
Advanced Data Mining and Applications | Xue Li, Shuliang Wang, Zhao Yang Dong | Computer Science | Springer | Details |
User Modeling 2005 | Liliana Ardissono, Paul Brna, Antonija Mitrovic | Computer Science | Springer | Details |
Data Integration in the Life Sciences | Bertram Ludäscher, Louiqa Raschid | Computer Science | Springer | Details |
Evolutionary Multi-Criterion Optimization | Carlos A. Coello Coello, Arturo Hernández Aguirre, Eckart Zitzler | Computer Science | Springer | Details |
Formal Concept Analysis | Bernhard Ganter, Gerd Stumme, Rudolf Wille | Computer Science | Springer | Details |
Abstraction, Reformulation and Approximation | Jean-Daniel Zucker, Lorenza Saitta | Computer Science | Springer | Details |
Modeling Decisions for Artificial Intelligence | Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto | Computer Science | Springer | Details |
Artificial Intelligence in Medicine | Silvia Miksch, Jim Hunter, Elpida T. Keravnou | Computer Science | Springer | Details |
Conceptual Structures: Common Semantics for Sharing Knowledge | Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme | Computer Science | Springer | Details |
Nonlinear Speech Modeling and Applications | Gérard Chollet, Anna Esposito, Marcos Faundez-Zanuy, Maria Marinaro | Computer Science | Springer | Details |
Engineering Societies in the Agents World V | Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli | Computer Science | Springer | Details |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Lluís Godo | Computer Science | Springer | Details |
Massively Multi-Agent Systems I | Toru Ishida, Les Gasser, Hideyuki Nakashima | Computer Science | Springer | Details |
Modeling and Using Context | Anind Dey, Boicho Kokinov, David Leake, Roy Turner | Computer Science | Springer | Details |
Machine Learning and Data Mining in Pattern Recognition | Petra Perner, Atsushi Imiya | Computer Science | Springer | Details |
Learning Theory | Peter Auer, Ron Meir | Computer Science | Springer | Details |
Innovations in Applied Artificial Intelligence | Moonis Ali, Floriana Esposito | Computer Science | Springer | Details |
Local Pattern Detection | Katharina Morik, Jean-François Boulicaut, Arno Siebes | Computer Science | Springer | Details |
Advances in Databases and Information Systems | Johann Eder, Hele-Mai Haav, Ahto Kalja, Jaan Penjam | Computer Science | Springer | Details |
Biomimetic Neural Learning for Intelligent Robots | Stefan Wermter, Günther Palm, Mark Elshaw | Computer Science | Springer | Details |
Computer Science Logic | Luke Ong | Computer Science | Springer | Details |
Hybrid Metaheuristics | María J. Blesa, Christian Blum, Andrea Roli, Michael Sampels | Computer Science | Springer | Details |
Model Checking Software | Patrice Godefroid | Computer Science | Springer | Details |
Advances in Web Intelligence | Piotr S. Szczepaniak, Janusz Kacprzyk, Adam Niewiadomski | Computer Science | Springer | Details |
Engineering Self-Organising Systems | Sven A. Brueckner, Giovanna Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal | Computer Science | Springer | Details |
Advances in Intelligent Computing | De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang | Computer Science | Springer | Details |
Formal Techniques for Computer Systems and Business Processes | Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro | Computer Science | Springer | Details |
Advances in Spatial and Temporal Databases | Claudia Bauzer Medeiros, Max J. Egenhofer, Elisa Bertino | Computer Science | Springer | Details |
Smart Graphics | Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier | Computer Science | Springer | Details |
Peer-to-Peer Systems IV | Miguel Castro, Robbert Renesse | Computer Science | Springer | Details |
Advances in Intelligent Computing | De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin Huang | Computer Science | Springer | Details |
Euro-Par 2005 Parallel Processing | José C. Cunha, Pedro D. Medeiros | Computer Science | Springer | Details |
Advances in Intelligent Data Analysis VI | A. Fazel Famili, Joost N. Kok, José M. Peña, Arno Siebes, Ad Feelders | Computer Science | Springer | Details |
Declarative Agent Languages and Technologies II | João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum | Computer Science | Springer | Details |
Constraint Solving and Language Processing | Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen | Computer Science | Springer | Details |
Business Process Management | Wil M. P. Aalst, Boualem Benatallah, Fabio Casati, Francisco Curbera | Computer Science | Springer | Details |
Information Security | Jianying Zhou, Javier Lopez, Robert H. Deng, Feng Bao | Computer Science | Springer | Details |
Research and Advanced Technology for Digital Libraries | Andreas Rauber, Stavros Christodoulakis, A Min Tjoa | Computer Science | Springer | Details |
Autonomous Intelligent Systems: Agents and Data Mining | Vladimir Gorodetsky, Jiming Liu, Victor A. Skormin | Computer Science | Springer | Details |
Active Mining | Shusaku Tsumoto, Takahira Yamaguchi, Masayuki Numao, Hiroshi Motoda | Computer Science | Springer | Details |
CONCUR 2005 ? Concurrency Theory | Martín Abadi, Luca Alfaro | Computer Science | Springer | Details |
Advances in Knowledge Discovery and Data Mining | Tu Bao Ho, David Cheung, Huan Liu | Computer Science | Springer | Details |
Foundations of Security Analysis and Design III | Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli | Computer Science | Springer | Details |
Data and Applications Security XIX | Sushil Jajodia, Duminda Wijesekera | Computer Science | Springer | Details |
Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
Formal Methods for Components and Objects | Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever | Computer Science | Springer | Details |
Cryptographic Hardware and Embedded Systems ? CHES 2005 | Josyula R. Rao, Berk Sunar | Computer Science | Springer | Details |
UbiComp 2005: Ubiquitous Computing | Michael Beigl, Stephen Intille, Jun Rekimoto, Hideyuki Tokuda | Computer Science | Springer | Details |
Pattern Recognition | Walter G. Kropatsch, Robert Sablatnig, Allan Hanbury | 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