E-book Catalogue

Title Author Subject Publisher Action
Functional Imaging and Modeling of the Heart Sébastien Ourselin, Daniel Rueckert, Nicolas Smith Computer Science Springer Details
Combinatorial Pattern Matching Johannes Fischer, Peter Sanders Computer Science Springer Details
Trust and Trustworthy Computing Michael Huth, N. Asokan, Srdjan ?apkun, Ivan Flechais, Lizzie Coles-Kemp Computer Science Springer Details
SDL 2013: Model-Driven Dependability Engineering Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed Computer Science Springer Details
Tests and Proofs Margus Veanes, Luca Viganò Computer Science Springer Details
Open Source Software: Quality Verification Etiel Petrinja, Giancarlo Succi, Nabil Ioini, Alberto Sillitti Computer Science Springer Details
Typed Lambda Calculi and Applications Masahito Hasegawa Computer Science Springer Details
Basics of Bioinformatics Rui Jiang, Xuegong Zhang, Michael Q. Zhang Computer Science Springer Details
Global Design and Local Materialization Jianlong Zhang, Chengyu Sun Computer Science Springer Details
Safe and Secure Software Reuse John Favaro, Maurizio Morisio Computer Science Springer Details
Applied Cryptography and Network Security Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini Computer Science Springer Details
Reversible Computation Gerhard W. Dueck, D. Michael Miller Computer Science Springer Details
Pattern Recognition Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, Joaquín Salas Rodríguez, Gabriella Sanniti Baja Computer Science Springer Details
Emerging Management Mechanisms for the Future Internet Guillaume Doyen, Martin Waldburger, Pavel ?eleda, Anna Sperotto, Burkhard Stiller Computer Science Springer Details
Modelling Foundations and Applications Pieter Gorp, Tom Ritter, Louis M. Rose Computer Science Springer Details
Software Architecture Khalil Drira Computer Science Springer Details
ECOOP 2013 – Object-Oriented Programming Giuseppe Castagna Computer Science Springer Details
The Nature of Computation. Logic, Algorithms, Applications Paola Bonizzoni, Vasco Brattka, Benedikt Löwe Computer Science Springer Details
Case-Based Reasoning Research and Development Sarah Jane Delany, Santiago Ontañón Computer Science Springer Details
Information Security and Privacy Colin Boyd, Leonie Simpson Computer Science Springer Details
Human Factors in Computing and Informatics Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc Computer Science Springer Details
Advances in Neural Networks – ISNN 2013 Chengan Guo, Zeng-Guang Hou, Zhigang Zeng Computer Science Springer Details
Advances in Neural Networks – ISNN 2013 Chengan Guo, Zeng-Guang Hou, Zhigang Zeng Computer Science Springer Details
Theory and Applications of Satisfiability Testing – SAT 2013 Matti Järvisalo, Allen Van Gelder Computer Science Springer Details
Unconventional Computation and Natural Computation Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca Computer Science Springer Details
Privacy Enhancing Technologies Emiliano Cristofaro, Matthew Wright Computer Science Springer Details
Foundations of Health Information Engineering and Systems Jens Weber, Isabelle Perseil Computer Science Springer Details
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Linda C. Gaag Computer Science Springer Details
Image Analysis and Recognition Mohamed Kamel, Aurélio Campilho Computer Science Springer Details
Artificial Intelligence in Education H. Chad Lane, Kalina Yacef, Jack Mostow, Philip Pavlik Computer Science Springer Details
Cross-Cultural Design. Cultural Differences in Everyday Life P. L. Patrick Rau Computer Science Springer Details
Similarity-Based Pattern Recognition Edwin Hancock, Marcello Pelillo Computer Science Springer Details
Cross-Cultural Design. Methods, Practice, and Case Studies P. L. Patrick Rau Computer Science Springer Details
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data Andreas Holzinger, Gabriella Pasi Computer Science Springer Details
Pattern Recognition in Bioinformatics Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan Laarhoven Computer Science Springer Details
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport Vincent G. Duffy Computer Science Springer Details
Model Checking Software Ezio Bartocci, C. R. Ramakrishnan Computer Science Springer Details
Systems, Software and Services Process Improvement Fergal McCaffery, Rory V. O’Connor, Richard Messnarz Computer Science Springer Details
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics Vincent G. Duffy Computer Science Springer Details
E-Voting and Identify James Heather, Steve Schneider, Vanessa Teague Computer Science Springer Details
Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion Constantine Stephanidis, Margherita Antona Computer Science Springer Details
Universal Access in Human-Computer Interaction. User and Context Diversity Constantine Stephanidis, Margherita Antona Computer Science Springer Details
Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life Constantine Stephanidis, Margherita Antona Computer Science Springer Details
Web Engineering Florian Daniel, Peter Dolog, Qing Li Computer Science Springer Details
Automata, Languages, and Programming Fedor V. Fomin, R?si?š Freivalds, Marta Kwiatkowska, David Peleg Computer Science Springer Details
Human Interface and the Management of Information. Information and Interaction Design Sakae Yamamoto Computer Science Springer Details
Automata, Languages, and Programming Fedor V. Fomin, R?si?š Freivalds, Marta Kwiatkowska, David Peleg Computer Science Springer Details
Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments Sakae Yamamoto Computer Science Springer Details
Security and Privacy Protection in Information Processing Systems Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi Computer Science Springer Details
Robotics in Smart Manufacturing Pedro Neto, António Paulo Moreira Computer Science Springer Details
Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, Sakae Yamamoto Computer Science Springer Details
Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Aaron Marcus Computer Science Springer Details
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments Masaaki Kurosu Computer Science Springer Details
Detection of Intrusions and Malware, and Vulnerability Assessment Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert Computer Science Springer Details
Design, User Experience, and Usability. User Experience in Novel Technological Environments Aaron Marcus Computer Science Springer Details
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience Aaron Marcus Computer Science Springer Details
Ad-hoc, Mobile, and Wireless Network Jacek Cicho?, Maciej Ge?bala, Marek Klonowski Computer Science Springer Details
RoboCup 2012: Robot Soccer World Cup XVI Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn Zant Computer Science Springer Details
Design, User Experience, and Usability. Web, Mobile, and Product Design Aaron Marcus Computer Science Springer Details
Data and Applications Security and Privacy XXVII Lingyu Wang, Basit Shafiq Computer Science Springer Details
Product-Focused Software Process Improvement Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre Computer Science Springer Details
Human-Computer Interaction. Applications and Services Masaaki Kurosu Computer Science Springer Details
Human-Computer Interaction. Users and Contexts of Use Masaaki Kurosu Computer Science Springer Details
Implementation and Application of Automata Stavros Konstantinidis Computer Science Springer Details
Structured Object-Oriented Formal Language and Method Shaoying Liu Computer Science Springer Details
Descriptional Complexity of Formal Systems Helmut Jurgensen, Rogério Reis Computer Science Springer Details
Web Information Retrieval Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni Computer Science Springer Details
Intelligent Computer Mathematics Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger Computer Science Springer Details
Human-Computer Interaction. Interaction Modalities and Techniques Masaaki Kurosu Computer Science Springer Details
Software Business. From Physical Products to Software Services and Solutions Georg Herzwurm, Tiziana Margaria Computer Science Springer Details
Human-Computer Interaction. Towards Intelligent and Implicit Interaction Masaaki Kurosu Computer Science Springer Details
Human Aspects of Information Security, Privacy, and Trust Louis Marinos, Ioannis Askoxylakis Computer Science Springer Details
Distributed, Ambient, and Pervasive Interactions Norbert Streitz, Constantine Stephanidis Computer Science Springer Details
Engineering Psychology and Cognitive Ergonomics. Applications and Services Don Harris Computer Science Springer Details
Mathematics and Computation in Music Jason Yust, Jonathan Wild, John Ashley Burgoyne 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