Title | Author | Subject | Publisher | Action |
Foundations of Software Science and Computation Structures | Luca Aceto, Anna Ingólfsdóttir | Computer Science | Springer | Details |
Compiler Construction | Alan Mycroft, Andreas Zeller | Computer Science | Springer | Details |
Tools and Algorithms for the Construction and Analysis of Systems | Holger Hermanns, Jens Palsberg | Computer Science | Springer | Details |
Information Security Practice and Experience | Kefei Chen, Robert Deng, Xuejia Lai, Jianying Zhou | Computer Science | Springer | Details |
Learning and Adaption in Multi-Agent Systems | Karl Tuyls, Pieter Jan’t Hoen, Katja Verbeeck, Sandip Sen | Computer Science | Springer | Details |
Fundamental Approaches to Software Engineering | Luciano Baresi, Reiko Heckel | Computer Science | Springer | Details |
Programming Languages and Systems | Peter Sestoft | Computer Science | Springer | Details |
Implementation and Application of Automata | Jacques Farré, Igor Litovsky, Sylvain Schmitz | Computer Science | Springer | Details |
Model Checking Software | Antti Valmari | Computer Science | Springer | Details |
Data Mining for Biomedical Applications | Jinyan Li, Qiang Yang, Ah-Hwee Tan | Computer Science | Springer | Details |
Declarative Agent Languages and Technologies III | Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni | Computer Science | Springer | Details |
Selected Areas in Cryptography | Bart Preneel, Stafford Tavares | Computer Science | Springer | Details |
Genetic Programming | Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt | Computer Science | Springer | Details |
Enterprise Ontology | Jan L. G. Dietz | Computer Science | Springer | Details |
Information Security Applications | Joo-Seok Song, Taekyoung Kwon, Moti Yung | Computer Science | Springer | Details |
Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems | Peyman Faratin, Juan A. Rodríguez-Aguilar | Computer Science | Springer | Details |
Hybrid Systems: Computation and Control | João P. Hespanha, Ashish Tiwari | Computer Science | Springer | Details |
Data Quality | Carlo Batini, Monica Scannapieca | Computer Science | Springer | Details |
Evolutionary Computation in Combinatorial Optimization | Jens Gottlieb, Günther R. Raidl | Computer Science | Springer | Details |
Knowledge Discovery from XML Documents | Richi Nayak, Mohammed J. Zaki | Computer Science | Springer | Details |
Neural Nets | Bruno Apolloni, Maria Marinaro, Giuseppe Nicosia, Roberto Tagliaferri | Computer Science | Springer | Details |
Software Engineering 2 | Dines Bjørner | Computer Science | Springer | Details |
Advances in Knowledge Discovery and Data Mining | Wee-Keong Ng, Masaru Kitsuregawa, Jianzhong Li, Kuiyu Chang | Computer Science | Springer | Details |
Applications of Evolutionary Computing | Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi | Computer Science | Springer | Details |
Transactions on Computational Systems Biology IV | Corrado Priami, Luca Cardelli, Stephen Emmott | Computer Science | Springer | Details |
Software Product Lines | Timo Käköla, Juan Carlos Duenas | Computer Science | Springer | Details |
Image Processing Based on Partial Differential Equations | Xue-Cheng Tai, Knut-Andreas Lie, Tony F. Chan, Stanley Osher | Computer Science | Springer | Details |
Knowledge Discovery in Inductive Databases | Francesco Bonchi, Jean-François Boulicaut | Computer Science | Springer | Details |
Research in Computational Molecular Biology | Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel A. Pevzner, Michael Waterman | Computer Science | Springer | Details |
Smart Card Research and Advanced Applications | Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling | Computer Science | Springer | Details |
Database Systems for Advanced Applications | Mong Lee, Kian-Lee Tan, Vilas Wuwongse | Computer Science | Springer | Details |
Relational Methods in Computer Science | Wendy MacCaull, Michael Winter, Ivo Düntsch | Computer Science | Springer | Details |
Advances in Information Retrieval | Mounia Lalmas, Andy MacFarlane, Stefan Rüger, Anastasios Tombros, Theodora Tsikrika, Alexei Yavlinsky | Computer Science | Springer | Details |
Engineering Self-Organising Systems | Sven A. Brueckner, Giovanna Marzo Serugendo, David Hales, Franco Zambonelli | Computer Science | Springer | Details |
Information Security and Cryptology - ICISC 2005 | Dong Ho Won, Seungjoo Kim | Computer Science | Springer | Details |
Intelligence and Security Informatics | Hsinchun Chen, Fei-Yue Wang, Christopher C. Yang, Daniel Zeng, Michael Chau, Kuiyu Chang | Computer Science | Springer | Details |
Security in Pervasive Computing | John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke | Computer Science | Springer | Details |
Multi-Agent-Based Simulation VI | Jaime S. Sichman, Luis Antunes | Computer Science | Springer | Details |
Technologies for E-Learning and Digital Entertainment | Zhigeng Pan, Ruth Aylett, Holger Diener, Xiaogang Jin, Stefan Göbel, Li Li | Computer Science | Springer | Details |
Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment | Joaquin Quiñonero-Candela, Ido Dagan, Bernardo Magnini, Florence d’Alché-Buc | Computer Science | Springer | Details |
Functional and Logic Programming | Masami Hagiya, Philip Wadler | Computer Science | Springer | Details |
Applied Parallel Computing. State of the Art in Scientific Computing | Jack Dongarra, Kaj Madsen, Jerzy Wa?niewski | Computer Science | Springer | Details |
Visual Content Processing and Representation | Luigi Atzori, Daniel D. Giusto, Riccardo Leonardi, Fernando Pereira | Computer Science | Springer | Details |
Software Engineering for Multi-Agent Systems IV | Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky | Computer Science | Springer | Details |
Advances in Machine Learning and Cybernetics | Daniel S. Yeung, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan | Computer Science | Springer | Details |
Modeling and Retrieval of Context | Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake | Computer Science | Springer | Details |
Artificial Evolution | El-Ghazali Talbi, Pierre Liardet, Pierre Collet, Evelyne Lutton, Marc Schoenauer | Computer Science | Springer | Details |
Long-Term Preservation of Digital Documents | Uwe M. Borghoff, Peter Rödig, Lothar Schmitz, Jan Scheffczyk | Computer Science | Springer | Details |
Software Engineering 3 | Dines Bjøner | Computer Science | Springer | Details |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet | Computer Science | Springer | Details |
Web Component Development with Zope 3 | Philipp Weitershausen | Computer Science | Springer | Details |
Advances in Grid and Pervasive Computing | Yeh-Ching Chung, José E. Moreira | Computer Science | Springer | Details |
Computer Vision ? ECCV 2006 | Aleš Leonardis, Horst Bischof, Axel Pinz | Computer Science | Springer | Details |
Computer Vision ? ECCV 2006 | Aleš Leonardis, Horst Bischof, Axel Pinz | Computer Science | Springer | Details |
Computer Vision ? ECCV 2006 | Aleš Leonardis, Horst Bischof, Axel Pinz | Computer Science | Springer | Details |
Computer Vision ? ECCV 2006 | Aleš Leonardis, Horst Bischof, Axel Pinz | Computer Science | Springer | Details |
Public Key Cryptography - PKC 2006 | Moti Yung, Yevgeniy Dodis, Aggelos Kiayias, Tal Malkin | Computer Science | Springer | Details |
Pervasive Computing | Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley | Computer Science | Springer | Details |
Cognitive Vision Systems | Henrik I. Christensen, Hans-Hellmut Nagel | Computer Science | Springer | Details |
Innovative Internet Community Systems | Alain Bui, Marc Bui, Thomas Böhme, Herwig Unger | Computer Science | Springer | Details |
Innovative Internet Community Systems | Thomas Böhme, Victor M. Larios Rosillo, Helena Unger, Herwig Unger | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | Francesca Toni, Paolo Torroni | Computer Science | Springer | Details |
Theory and Applications of Models of Computation | Jin-Yi Cai, S. Barry Cooper, Angsheng Li | Computer Science | Springer | Details |
Wired/Wireless Internet Communications | Torsten Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy | Computer Science | Springer | Details |
Wireless Systems and Network Architectures in Next Generation Internet | Matteo Cesana, Luigi Fratta | Computer Science | Springer | Details |
Computer Music Modeling and Retrieval | Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad | Computer Science | Springer | Details |
Computational Processing of the Portuguese Language | Renata Vieira, Paulo Quaresma, Maria das Graças Volpe Nunes, Nuno J. Mamede, Cláudia Oliveira, Maria Carmelita Dias | Computer Science | Springer | Details |
Rapid Integration of Software Engineering Techniques | Nicolas Guelfi, Anthony Savidis | Computer Science | Springer | Details |
Computational Science and Its Applications - ICCSA 2006 | Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo | Computer Science | Springer | Details |
Computational Science and Its Applications - ICCSA 2006 | Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo | Computer Science | Springer | Details |
Computational Science and Its Applications - ICCSA 2006 | Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo | Computer Science | Springer | Details |
Computational Science and Its Applications - ICCSA 2006 | Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo | Computer Science | Springer | Details |
Computational Science and Its Applications - ICCSA 2006 | Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo | Computer Science | Springer | Details |
Agent-Oriented Software Engineering VI | Jörg P. Müller, Franco Zambonelli | Computer Science | Springer | Details |
Advances in Artificial Intelligence | Grigoris Antoniou, George Potamias, Costas Spyropoulos, Dimitris Plexousakis | 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