E-book Catalogue

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

library locations

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