E-book Catalogue

Refresh
Title Author Subject Publisher Action
Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling Vincent G. Duffy Computer Science Springer Details
Graph Transformation Francesco Parisi-Presicce, Bernhard Westfechtel Computer Science Springer Details
Modelling Foundations and Applications Gabriele Taentzer, Francis Bordeleau Computer Science Springer Details
Theory and Practice of Model Transformations Dimitris Kolovos, Manuel Wimmer Computer Science Springer Details
Tests and Proofs Jasmin Christian Blanchette, Nikolai Kosmatov Computer Science Springer Details
Algorithms for Computational Biology Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth Computer Science Springer Details
Operators for Similarity Search Deepak P, Prasad M. Deshpande Computer Science Springer Details
Parameterized Algorithms Marek Cygan, Fedor V. Fomin, ?ukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Micha? Pilipczuk, Saket Saurabh Computer Science Springer Details
Mobile Services for Toy Computing Patrick C. K. Hung Computer Science Springer Details
Encrypted Email Hilarie Orman Computer Science Springer Details
Cryptography and Information Security in the Balkans Berna Ors, Bart Preneel Computer Science Springer Details
Automated Deduction in Geometry Francisco Botana, Pedro Quaresma Computer Science Springer Details
Artificial General Intelligence Jordi Bieger, Ben Goertzel, Alexey Potapov Computer Science Springer Details
HCI International 2015 - Posters’ Extended Abstracts Constantine Stephanidis Computer Science Springer Details
HCI International 2015 - Posters’ Extended Abstracts Constantine Stephanidis Computer Science Springer Details
Computing and Combinatorics Dachuan Xu, Donglei Du, Dingzhu Du Computer Science Springer Details
Automated Deduction - CADE-25 Amy P. Felty, Aart Middeldorp Computer Science Springer Details
Computational Science and Its Applications -- ICCSA 2015 Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Computational Science and Its Applications -- ICCSA 2015 Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Computational Science and Its Applications -- ICCSA 2015 Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Computational Science and Its Applications -- ICCSA 2015 Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Foundation Mathematics for Computer Science John Vince Computer Science Springer Details
Pillars of Computing Gerard O'Regan Computer Science Springer Details
Computational Science and Its Applications -- ICCSA 2015 Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Constructive Side-Channel Analysis and Secure Design Stefan Mangard, Axel Y. Poschmann Computer Science Springer Details
Introduction to Concurrency Theory Roberto Gorrieri, Cristian Versari Computer Science Springer Details
Developments in Language Theory Igor Potapov Computer Science Springer Details
Decision Support Systems IV - Information and Knowledge Management in Decision Processes Isabelle Linden, Shaofeng Liu, Fátima Dargam, Jorge E. Hernández Computer Science Springer Details
Rule Technologies: Foundations, Tools, and Applications Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman Computer Science Springer Details
Formal Ontologies Meet Industry Roberta Cuel, Robert Young Computer Science Springer Details
A Construction Manual for Robots' Ethical Systems Robert Trappl Computer Science Springer Details
Tacit Engagement Satinder P. Gill Computer Science Springer Details
Computer Aided Verification Daniel Kroening, Corina S. P?s?reanu Computer Science Springer Details
Computer Aided Verification Daniel Kroening, Corina S. P?s?reanu Computer Science Springer Details
Stabilization, Safety, and Security of Distributed Systems Andrzej Pelc, Alexander A. Schwarzmann Computer Science Springer Details
Computational Complexity of Solving Equation Systems Przemys?aw Broniek Computer Science Springer Details
Reasoning Web. Web Logic Rules Wolfgang Faber, Adrian Paschke Computer Science Springer Details
Nordic Contributions in IS Research Harri Oinas-Kukkonen, Netta Iivari, Kari Kuutti, Anssi Öörni, Mikko Rajanen Computer Science Springer Details
Computational Social Networks My T. Thai, Nam P. Nguyen, Huawei Shen Computer Science Springer Details
Bridging Constraint Satisfaction and Boolean Satisfiability Justyna Petke Computer Science Springer Details
Unconventional Computation and Natural Computation Cristian S. Calude, Michael J. Dinneen Computer Science Springer Details
Enhanced Building Information Models Umit Isikdag Computer Science Springer Details
Wireless Algorithms, Systems, and Applications Kuai Xu, Haojin Zhu Computer Science Springer Details
Algorithms and Data Structures Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege Computer Science Springer Details
Data Integration in the Life Sciences Naveen Ashish, Jose-Luis Ambite Computer Science Springer Details
Measures of Complexity Vladimir Vovk, Harris Papadopoulos, Alexander Gammerman Computer Science Springer Details
Feature Selection for High-Dimensional Data Verónica Bolón-Canedo, Noelia Sánchez-Maroño, Amparo Alonso-Betanzos Computer Science Springer Details
Parallel Computing Technologies Victor Malyshkin Computer Science Springer Details
Behavior Modeling -- Foundations and Applications Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth Computer Science Springer Details
Perspectives in Business Informatics Research Raimundas Matulevi?ius, Marlon Dumas Computer Science Springer Details
Fast Design, Slow Innovation David M. Frohlich Computer Science Springer Details
Interpretability of Computational Intelligence-Based Regression Models Tamás Kenesei, János Abonyi Computer Science Springer Details
Fundamentals of Music Processing Meinard Müller Computer Science Springer Details
Deconstructing Ethnography Graham Button, Andy Crabtree, Mark Rouncefield, Peter Tolmie Computer Science Springer Details
Image and Graphics Yu-Jin Zhang Computer Science Springer Details
Information and Communications Security Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu Computer Science Springer Details
Image and Graphics Yu-Jin Zhang Computer Science Springer Details
Image and Graphics Yu-Jin Zhang Computer Science Springer Details
Intelligent Virtual Agents Willem-Paul Brinkman, Joost Broekens, Dirk Heylen Computer Science Springer Details
DNA Computing and Molecular Programming Andrew Phillips, Peng Yin Computer Science Springer Details
Web Reasoning and Rule Systems Balder ten Cate, Alessandra Mileo Computer Science Springer Details
Immersive Education Martin Ebner, Kai Erenli, Rainer Malaka, Johanna Pirker, Aaron E. Walsh Computer Science Springer Details
Big Data Computing and Communications Yu Wang, Hui Xiong, Shlomo Argamon, XiangYang Li, JianZhong Li Computer Science Springer Details
Advanced Intelligent Computing Theories and Applications De-Shuang Huang, Kyungsook Han Computer Science Springer Details
Interactive Theorem Proving Christian Urban, Xingyuan Zhang Computer Science Springer Details
Spatial Auditory Human-Computer Interfaces Jaka Sodnik, Sašo Tomaži? Computer Science Springer Details
Progress in Cryptology -- LATINCRYPT 2015 Kristin Lauter, Francisco Rodríguez-Henríquez Computer Science Springer Details
Fundamentals of Computation Theory Adrian Kosowski, Igor Walukiewicz Computer Science Springer Details
Intelligent Computing Theories and Methodologies De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne Computer Science Springer Details
Search-Based Software Engineering Márcio Barros, Yvan Labiche Computer Science Springer Details
Intelligent Computing Theories and Methodologies De-Shuang Huang, Kang-Hyun Jo, Abir Hussain Computer Science Springer Details
New Information and Communication Technologies for Knowledge Management in Organizations Daniel Palacios-Marqués, Domingo Ribeiro Soriano, Kun Huang Huarng Computer Science Springer Details
Quantitative Evaluation of Systems Javier Campos, Boudewijn R. Haverkort Computer Science Springer Details
E-Voting and Identity Rolf Haenni, Reto E. Koenig, Douglas Wikström Computer Science Springer Details
Database Systems for Advanced Applications An Liu, Yoshiharu Ishikawa, Tieyun Qian, Sarana Nutanong, Muhammad Aamir Cheema 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