Title | Author | Subject | Publisher | Action |
Machine Learning for Multimodal Interaction | Andrei Popescu-Belis, Steve Renals, Hervé Bourlard | Computer Science | Springer | Details |
Robot Vision | Gerald Sommer, Reinhard Klette | Computer Science | Springer | Details |
Large-Scale Knowledge Resources. Construction and Application | Takenobu Tokunaga, Antonio Ortega | Computer Science | Springer | Details |
Verification, Model Checking, and Abstract Interpretation | Francesco Logozzo, Doron A. Peled, Lenore D. Zuck | Computer Science | Springer | Details |
Object-Oriented Technology. ECOOP 2007 Workshop Reader | Michael Cebulla | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura | Computer Science | Springer | Details |
Arabic and Chinese Handwriting Recognition | David Doermann, Stefan Jaeger | Computer Science | Springer | Details |
Business Process Management Workshops | Arthur Hofstede, Boualem Benatallah, Hye-Young Paik | Computer Science | Springer | Details |
VizSEC 2007 | John R. Goodall, Gregory Conti, Kwan-Liu Ma | Computer Science | Springer | Details |
Data Analysis, Machine Learning and Applications | Christine Preisach, Hans Burkhardt, Lars Schmidt-Thieme, Reinhold Decker | Computer Science | Springer | Details |
Finite Automata and Application to Cryptography | Renji Tao | Computer Science | Springer | Details |
Combinatorial Image Analysis | Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman | Computer Science | Springer | Details |
Public Key Cryptography ? PKC 2008 | Ronald Cramer | Computer Science | Springer | Details |
Security in Computing Systems | Joachim Biskup | Computer Science | Springer | Details |
Inductive Logic Programming | Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli | Computer Science | Springer | Details |
Euro-Par 2007 Workshops: Parallel Processing | Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs | Computer Science | Springer | Details |
Privacy, Security, and Trust in KDD | Francesco Bonchi, Elena Ferrari, Bradley Malin, Yücel Saygin | Computer Science | Springer | Details |
Foundations of Software Science and Computational Structures | Roberto Amadio | Computer Science | Springer | Details |
The Testing Network | Pierre Henry | Computer Science | Springer | Details |
Bioinformatics | Volker Sperschneider | Computer Science | Springer | Details |
Theory of Cryptography | Ran Canetti | Computer Science | Springer | Details |
Enterprise Applications and Services in the Finance Industry | Daniel J. Veit, Dennis Kundisch, Tim Weitzel, Christof Weinhardt, Fethi A. Rabhi, Federico Rajola | Computer Science | Springer | Details |
Virtual Systems and Multimedia | Theodor G. Wyeld, Sarah Kenderdine, Michael Docherty | Computer Science | Springer | Details |
Database Systems for Advanced Applications | Jayant R. Haritsa, Ramamohanarao Kotagiri, Vikram Pudi | Computer Science | Springer | Details |
Agent and Multi-Agent Systems: Technologies and Applications | Ngoc Thanh Nguyen, Geun Sik Jo, Robert J. Howlett, Lakhmi C. Jain | Computer Science | Springer | Details |
Evolutionary Computation in Combinatorial Optimization | Jano Hemert, Carlos Cotta | Computer Science | Springer | Details |
Reconfigurable Computing: Architectures, Tools and Applications | Roger Woods, Katherine Compton, Christos Bouganis, Pedro C. Diniz | Computer Science | Springer | Details |
Semantic Service Provisioning | Dominik Kuropka, Steffen Staab, Peter Tröger, Mathias Weske | Computer Science | Springer | Details |
Knowledge Management for Health Care Procedures | David Riaño | Computer Science | Springer | Details |
Operational Semantics and Verification of Security Protocols | Cas Cremers, Sjouke Mauw | Computer Science | Springer | Details |
Advances in Information Retrieval | Craig Macdonald, Iadh Ounis, Vassilis Plachouras, Ian Ruthven, Ryen W. White | Computer Science | Springer | Details |
Probabilistic Inductive Logic Programming | Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton | Computer Science | Springer | Details |
Trustworthy Global Computing | Gilles Barthe, Cédric Fournet | Computer Science | Springer | Details |
Genetic Programming | Michael O’Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alcázar, Ivanoe Falco, Antonio Cioppa, Ernesto Tarantino | Computer Science | Springer | Details |
Job Scheduling Strategies for Parallel Processing | Eitan Frachtenberg, Uwe Schwiegelshohn | Computer Science | Springer | Details |
The Internet of Things | Christian Floerkemeier, Marc Langheinrich, Elgar Fleisch, Friedemann Mattern, Sanjay E. Sarma | Computer Science | Springer | Details |
Programming Languages and Systems | Sophia Drossopoulou | Computer Science | Springer | Details |
Fundamental Approaches to Software Engineering | José Luiz Fiadeiro, Paola Inverardi | Computer Science | Springer | Details |
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics | Elena Marchiori, Jason H. Moore | Computer Science | Springer | Details |
Applications of Evolutionary Computing | Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O’Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, A. ?ima Uyar, S | Computer Science | Springer | Details |
Logic-Based Program Synthesis and Transformation | Andy King | Computer Science | Springer | Details |
LATIN 2008: Theoretical Informatics | Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria | Computer Science | Springer | Details |
Software Composition | Cesare Pautasso, Éric Tanter | Computer Science | Springer | Details |
Compiler Construction | Laurie Hendren | Computer Science | Springer | Details |
Tools and Algorithms for the Construction and Analysis of Systems | C. R. Ramakrishnan, Jakob Rehof | Computer Science | Springer | Details |
Algorithms and Models for the Web-Graph | William Aiello, Andrei Broder, Jeannette Janssen, Evangelos Milios | Computer Science | Springer | Details |
Large-Scale Scientific Computing | Ivan Lirkov, Svetozar Margenov, Jerzy Wa?niewski | Computer Science | Springer | Details |
TestGoal | Derk-Jan De Grood | Computer Science | Springer | Details |
Research in Computational Molecular Biology | Martin Vingron, Limsoon Wong | Computer Science | Springer | Details |
Progress in WWW Research and Development | Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu | Computer Science | Springer | Details |
Relations and Kleene Algebra in Computer Science | Rudolf Berghammer, Bernhard Möller, Georg Struth | Computer Science | Springer | Details |
Argumentation in Multi-Agent Systems | Iyad Rahwan, Simon Parsons, Chris Reed | Computer Science | Springer | Details |
Formal Methods and Testing | Robert M. Hierons, Jonathan P. Bowen, Mark Harman | Computer Science | Springer | Details |
Concept Lattices and Their Applications | Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek | Computer Science | Springer | Details |
Hybrid Systems: Computation and Control | Magnus Egerstedt, Bud Mishra | Computer Science | Springer | Details |
Information Systems and e-Business Technologies | Roland Kaschek, Christian Kop, Claudia Steinberger, Günther Fliedl | Computer Science | Springer | Details |
Advances in Cryptology ? EUROCRYPT 2008 | Nigel Smart | Computer Science | Springer | Details |
Functional and Logic Programming | Jacques Garrigue, Manuel V. Hermenegildo | Computer Science | Springer | Details |
Model-Based Software and Data Integration | Ralf-Detlef Kutsche, Nikola Milanovic | Computer Science | Springer | Details |
Coordination, Organizations, Institutions, and Norms in Agent Systems III | Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega | Computer Science | Springer | Details |
Modeling Communication with Robots and Virtual Humans | Ipke Wachsmuth, Günther Knoblich | Computer Science | Springer | Details |
Programming Multi-Agent Systems | Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff | Computer Science | Springer | Details |
Information Security Practice and Experience | Liqun Chen, Yi Mu, Willy Susilo | Computer Science | Springer | Details |
End-to-End Quality of Service Over Heterogeneous Networks | Torsten Braun, Thomas Staub, Michel Diaz, José Enríquez-Gabeiras | Computer Science | Springer | Details |
Tests and Proofs | Bernhard Beckert, Reiner Hähnle | Computer Science | Springer | Details |
Discrete Geometry for Computer Imagery | David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont | Computer Science | Springer | Details |
Theory and Applications of Models of Computation | Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li | Computer Science | Springer | Details |
Web Services and Formal Methods | Marlon Dumas, Reiko Heckel | Computer Science | Springer | Details |
Passive and Active Network Measurement | Mark Claypool, Steve Uhlig | Computer Science | Springer | Details |
Advances in Geometric Modeling and Processing | Falai Chen, Bert Jüttler | Computer Science | Springer | Details |
Topics in Cryptology ? CT-RSA 2008 | Tal Malkin | Computer Science | Springer | Details |
Transactions on Computational Science I | Marina L. Gavrilova, C. J. Kenneth Tan | Computer Science | Springer | Details |
Artificial Evolution | Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton | Computer Science | Springer | Details |
Algorithmic Game Theory | Burkhard Monien, Ulf-Peter Schroeder | Computer Science | Springer | Details |
Introduction to Video Search Engines | David C. Gibbon, Zhu Liu | 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