Title | Author | Subject | Publisher | Action |
Multimodal Technologies for Perception of Humans | Rainer Stiefelhagen, John Garofolo | Computer Science | Springer | Details |
Practical Aspects of Declarative Languages | Michael Hanus | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | Katsumi Inoue, Ken Satoh, Francesca Toni | Computer Science | Springer | Details |
Visualizing the Structure of Science | Benjamín Vargas-Quesada, Félix de Moya-Anegón | Computer Science | Springer | Details |
Artificial Intelligence and Soft Computing ? ICAISC 2008 | Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada | Computer Science | Springer | Details |
Computing and Combinatorics | Xiaodong Hu, Jie Wang | Computer Science | Springer | Details |
Technologies for E-Learning and Digital Entertainment | Zhigeng Pan, Xiaopeng Zhang, Abdennour Rhalibi, Woontack Woo, Yi Li | Computer Science | Springer | Details |
Verification, Model Checking, and Abstract Interpretation | Byron Cook, Andreas Podelski | Computer Science | Springer | Details |
Transactions on Edutainment I | Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour Rhalibi | Computer Science | Springer | Details |
Image Analysis and Recognition | Aurélio Campilho, Mohamed Kamel | Computer Science | Springer | Details |
Performance Evaluation: Metrics, Models and Benchmarks | Samuel Kounev, Ian Gorton, Kai Sachs | Computer Science | Springer | Details |
Objects, Components, Models and Patterns | Richard F. Paige, Bertrand Meyer | Computer Science | Springer | Details |
Data Integration in the Life Sciences | Amos Bairoch, Sarah Cohen-Boulakia, Christine Froidevaux | Computer Science | Springer | Details |
Wireless Sensor Networks | Koen Langendoen, Thiemo Voigt | Computer Science | Springer | Details |
Computational Science and Its Applications ? ICCSA 2008 | Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova | Computer Science | Springer | Details |
Computational Science and Its Applications ? ICCSA 2008 | Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova | Computer Science | Springer | Details |
25 Years of Model Checking | Orna Grumberg, Helmut Veith | Computer Science | Springer | Details |
Natural Language and Information Systems | Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou | Computer Science | Springer | Details |
Security, Privacy, and Trust in Modern Data Management | Milan Petkovi?, Willem Jonker | Computer Science | Springer | Details |
Complex Motion | Bernd Jähne, Rudolf Mester, Erhardt Barth, Hanno Scharr | Computer Science | Springer | Details |
Engineering Self-Organising Systems | Sven A. Brueckner, Salima Hassas, Márk Jelasity, Daniel Yamins | Computer Science | Springer | Details |
Spatial Data on the Web | Alberto Belussi, Barbara Catania, Eliseo Clementini, Elena Ferrari | Computer Science | Springer | Details |
Asymmetry: The Foundation of Information | Scott J. Muller | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi | Computer Science | Springer | Details |
Algorithm Theory ? SWAT 2008 | Joachim Gudmundsson | Computer Science | Springer | Details |
Image and Signal Processing | Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass | Computer Science | Springer | Details |
KI 2006: Advances in Artificial Intelligence | Christian Freksa, Michael Kohlhase, Kerstin Schill | Computer Science | Springer | Details |
Smart Homes and Health Telematics | Sumi Helal, Simanta Mitra, Johnny Wong, Carl K. Chang, Mounir Mokhtari | Computer Science | Springer | Details |
Informatics Education - Supporting Computational Thinking | Roland T. Mittermeir, Maciej M. Sys?o | Computer Science | Springer | Details |
Theory and Practice of Model Transformations | Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio | Computer Science | Springer | Details |
Logic, Language, Information and Computation | Wilfrid Hodges, Ruy Queiroz | Computer Science | Springer | Details |
Artificial Neural Networks in Pattern Recognition | Lionel Prevost, Simone Marinai, Friedhelm Schwenker | Computer Science | Springer | Details |
Distributed, High-Performance and Grid Computing in Computational Biology | Werner Dubitzky, Assaf Schuster, Peter M. A. Sloot, Michael Schroeder, Mathilde Romberg | Computer Science | Springer | Details |
Information Security and Privacy | Yi Mu, Willy Susilo, Jennifer Seberry | Computer Science | Springer | Details |
Sharing Data, Information and Knowledge | Alex Gray, Keith Jeffery, Jianhua Shao | Computer Science | Springer | Details |
Articulated Motion and Deformable Objects | Francisco J. Perales, Robert B. Fisher | Computer Science | Springer | Details |
Biomedical Simulation | Fernando Bello, P. J. Eddie Edwards | Computer Science | Springer | Details |
Deontic Logic in Computer Science | Ron Meyden, Leendert Torre | Computer Science | Springer | Details |
Embedded Robotics | Thomas Bräunl | Computer Science | Springer | Details |
Digital Mammography | Elizabeth A. Krupinski | Computer Science | Springer | Details |
Computers Helping People with Special Needs | Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer | Computer Science | Springer | Details |
Detection of Intrusions and Malware, and Vulnerability Assessment | Diego Zamboni | Computer Science | Springer | Details |
Computer Aided Verification | Aarti Gupta, Sharad Malik | Computer Science | Springer | Details |
Embedded Computer Systems: Architectures, Modeling, and Simulation | Mladen Berekovi?, Nikitas Dimopoulos, Stephan Wong | Computer Science | Springer | Details |
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support | Manfred Nagl, Wolfgang Marquardt | Computer Science | Springer | Details |
Data and Applications Security XXII | Vijay Atluri | Computer Science | Springer | Details |
Interactive Systems. Design, Specification, and Verification | T. C. Nicholas Graham, Philippe Palanque | Computer Science | Springer | Details |
Automata, Languages and Programming | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz | Computer Science | Springer | Details |
Automata, Languages and Programming | Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz | Computer Science | Springer | Details |
Computer-Human Interaction | Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin | Computer Science | Springer | Details |
Resilient Networks and Services | David Hausheer, Jürgen Schönwälder | Computer Science | Springer | Details |
Rewriting Techniques and Applications | Andrei Voronkov | Computer Science | Springer | Details |
ECOOP 2008 ? Object-Oriented Programming | Jan Vitek | Computer Science | Springer | Details |
Mathematics of Program Construction | Philippe Audebaud, Christine Paulin-Mohring | Computer Science | Springer | Details |
Conceptual Structures: Knowledge Visualization and Reasoning | Peter Eklund, Ollivier Haemmerlé | Computer Science | Springer | Details |
Bioinformatics Research and Development | Mourad Elloumi, Josef Küng, Michal Linial, Robert F. Murphy, Kristan Schneider, Cristian Toma | Computer Science | Springer | Details |
Software and Data Technologies | Joaquim Filipe, Boris Shishkov, Markus Helfert | Computer Science | Springer | Details |
Privacy Enhancing Technologies | Nikita Borisov, Ian Goldberg | Computer Science | Springer | Details |
Journal on Data Semantics VIII | Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu | Computer Science | Springer | Details |
Discrete Geometry, Combinatorics and Graph Theory | Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu | Computer Science | Springer | Details |
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry | Petra Perner, Ovidio Salvetti | Computer Science | Springer | Details |
Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects | Petra Perner | Computer Science | Springer | Details |
E-Business and Telecommunication Networks | Joaquim Filipe, Mohammad S. Obaidat | Computer Science | Springer | Details |
Task Models and Diagrams for Users Interface Design | Karin Coninx, Kris Luyten, Kevin A. Schneider | Computer Science | Springer | Details |
Agile Software Development | Thomas Stober, Uwe Hansmann | Computer Science | Springer | Details |
Implementation and Applications of Automata | Oscar H. Ibarra, Bala Ravikumar | Computer Science | Springer | Details |
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction | Anna Esposito, Nikolaos G. Bourbakis, Nikolaos Avouris, Ioannis Hatzilygeroudis | Computer Science | Springer | Details |
Scaling Topic Maps | Lutz Maicher, Lars Marius Garshol | Computer Science | Springer | Details |
Perspectives of Systems Informatics | Irina Virbitskaite, Andrei Voronkov | Computer Science | Springer | Details |
Hardware and Software, Verification and Testing | Eyal Bin, Avi Ziv, Shmuel Ur | Computer Science | Springer | Details |
Semantic Web Services | Rudi Studer, Stephan Grimm, Andreas Abecker | Computer Science | Springer | Details |
Formal Concept Analysis | Sergei O. Kuznetsov, Stefan Schmidt | Computer Science | Springer | Details |
Graph Drawing | Michael Kaufmann, Dorothea Wagner | Computer Science | Springer | Details |
Multi-Agent-Based Simulation VIII | Luis Antunes, Mario Paolucci, Emma Norling | Computer Science | Springer | Details |
STACS 2007 | Wolfgang Thomas, Pascal Weil | 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