E-book Catalogue

Title Author Subject Publisher Action
Applications of Pulse-Coupled Neural Networks Yide Ma, Kun Zhan, Zhaobin Wang Computer Science Springer Details
Time for Verification Zohar Manna, Doron A. Peled Computer Science Springer Details
Hybrid Artificial Intelligence Systems Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian Computer Science Springer Details
Image Analysis and Recognition Aurélio Campilho, Mohamed Kamel Computer Science Springer Details
Image Analysis and Recognition Aurélio Campilho, Mohamed Kamel Computer Science Springer Details
Aging Friendly Technology for Health and Independence Yeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil Computer Science Springer Details
Software Engineering Approaches for Offshore and Outsourced Development Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov Computer Science Springer Details
Future Multimedia Networking Sherali Zeadally, Eduardo Cerqueira, Marília Curado, Miko?aj Leszczuk Computer Science Springer Details
Product-Focused Software Process Improvement M. Ali Babar, Matias Vierimaa, Markku Oivo Computer Science Springer Details
Arithmetic of Finite Fields M. Anwar Hasan, Tor Helleseth Computer Science Springer Details
Learning and Intelligent Optimization Christian Blum, Roberto Battiti Computer Science Springer Details
Hybrid Artificial Intelligence Systems Emilio Corchado, Manuel Graña Romay, Alexandre Manhaes Savio Computer Science Springer Details
Scientific and Statistical Database Management Michael Gertz, Bertram Ludäscher Computer Science Springer Details
Research into Practice ? Reality and Gaps George T. Heineman, Jan Kofron, Frantisek Plasil Computer Science Springer Details
Logic, Language, Information and Computation Anuj Dawar, Ruy Queiroz Computer Science Springer Details
Inductive Logic Programming Luc Raedt Computer Science Springer Details
Fast Software Encryption Seokhie Hong, Tetsu Iwata Computer Science Springer Details
Computer Networks Andrzej Kwiecie?, Piotr Gaj, Piotr Stera Computer Science Springer Details
Trust and Trustworthy Computing Alessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi Computer Science Springer Details
Natural Language Processing and Information Systems Christina J. Hopfe, Yacine Rezgui, Elisabeth Métais, Alun Preece, Haijiang Li Computer Science Springer Details
Web Engineering Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi Computer Science Springer Details
Medical Biometrics David Zhang, Milan Sonka Computer Science Springer Details
Objects, Models, Components, Patterns Jan Vitek Computer Science Springer Details
Programs, Proofs, Processes Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes Computer Science Springer Details
Networked Services and Applications - Engineering, Control and Management Finn Arve Aagesen, Svein Johan Knapskog Computer Science Springer Details
Tests and Proofs Gordon Fraser, Angelo Gargantini Computer Science Springer Details
Mechanisms for Autonomous Management of Networks and Services Burkhard Stiller, Filip Turck Computer Science Springer Details
Computing and Combinatorics My T. Thai, Sartaj Sahni Computer Science Springer Details
Software Composition Benoît Baudry, Eric Wohlstadter Computer Science Springer Details
Computational Intelligence for Knowledge-Based Systems Design Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann Computer Science Springer Details
Interactive Theorem Proving Matt Kaufmann, Lawrence C. Paulson Computer Science Springer Details
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann Computer Science Springer Details
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann Computer Science Springer Details
Articulated Motion and Deformable Objects Francisco J. Perales, Robert B. Fisher Computer Science Springer Details
Haptics: Generating and Perceiving Tangible Sensations Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm Computer Science Springer Details
Haptics: Generating and Perceiving Tangible Sensations Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm Computer Science Springer Details
Information Security and Privacy Ron Steinfeld, Philip Hawkes Computer Science Springer Details
Computers Helping People with Special Needs Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer Computer Science Springer Details
Computers Helping People with Special Needs Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer Computer Science Springer Details
ECOOP 2010 ? Object-Oriented Programming Theo D’Hondt Computer Science Springer Details
Euro-Par 2009 ? Parallel Processing Workshops Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit Computer Science Springer Details
Preference Learning Johannes Fürnkranz, Eyke Hüllermeier Computer Science Springer Details
Intelligent Computer Mathematics Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton Computer Science Springer Details
Artifical Evolution Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton Computer Science Springer Details
Revision, Acceptability and Context Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo Computer Science Springer Details
Automata, Languages and Programming Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis Computer Science Springer Details
Automata, Languages and Programming Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis Computer Science Springer Details
Recent Trends in Wireless and Mobile Networks Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai Computer Science Springer Details
Deontic Logic in Computer Science Guido Governatori, Giovanni Sartor Computer Science Springer Details
Theory and Applications of Satisfiability Testing ? SAT 2010 Ofer Strichman, Stefan Szeider Computer Science Springer Details
Requirements Engineering: Foundation for Software Quality Roel Wieringa, Anne Persson Computer Science Springer Details
Conceptual Structures: From Information to Intelligence Madalina Croitoru, Sébastien Ferré, Dickson Lukose Computer Science Springer Details
Automated Reasoning Jürgen Giesl, Reiner Hähnle Computer Science Springer Details
Detection of Intrusions and Malware, and Vulnerability Assessment Christian Kreibich, Marko Jahnke Computer Science Springer Details
Web-Age Information Management Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao Computer Science Springer Details
Current Topics in Artificial Intelligence Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca Computer Science Springer Details
Learning to Rank for Information Retrieval Tie-Yan Liu Computer Science Springer Details
Case-Based Reasoning. Research and Development Isabelle Bichindaritz, Stefania Montani Computer Science Springer Details
Privacy and Identity Management for Life Michele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang Computer Science Springer Details
Logic, Language and Meaning Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz Computer Science Springer Details
Networked Digital Technologies Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh Computer Science Springer Details
Computer Aided Verification Tayssir Touili, Byron Cook, Paul Jackson Computer Science Springer Details
Transactions on Data Hiding and Multimedia Security V Yun Q. Shi Computer Science Springer Details
Efficient Secure Two-Party Protocols Carmit Hazay, Yehuda Lindell Computer Science Springer Details
Networked Digital Technologies Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh Computer Science Springer Details
A 25-Year Perspective on Logic Programming Agostino Dovier, Enrico Pontelli Computer Science Springer Details
Advanced Statistical Steganalysis Rainer Böhme Computer Science Springer Details
Exploring Services Science Jean-Henry Morin, Jolita Ralyté, Mehdi Snene Computer Science Springer Details
The Mathematics of Language Christian Ebert, Gerhard Jäger, Jens Michaelis Computer Science Springer Details
Testing Techniques in Software Engineering Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook Computer Science Springer Details
Balanced Automation Systems for Future Manufacturing Networks Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet Computer Science Springer Details
New Modeling Concepts for Today?s Software Processes Jürgen Münch, Ye Yang, Wilhelm Schäfer Computer Science Springer Details
Algorithmic Aspects in Information and Management Bo Chen Computer Science Springer Details
Locally Decodable Codes and Private Information Retrieval Schemes Sergey Yekhanin Computer Science Springer Details
Biomedical Image Registration Bernd Fischer, Benoît M. Dawant, Cristian Lorenz 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