E-book Catalogue

Refresh
Title Author Subject Publisher Action
Formal Techniques for Distributed Systems Holger Giese, Grigore Rosu Computer Science Springer Details
Distributed Applications and Interoperable Systems Karl Michael Göschka, Seif Haridi Computer Science Springer Details
Coordination Models and Languages Marjan Sirjani Computer Science Springer Details
Software Service and Application Engineering Maritta Heisel Computer Science Springer Details
Experimental Algorithms Ralf Klasing Computer Science Springer Details
How the World Computes S. Barry Cooper, Anuj Dawar, Benedikt Löwe Computer Science Springer Details
Abstract State Machines, Alloy, B, VDM, and Z John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene Computer Science Springer Details
The Multivariate Algorithmic Revolution and Beyond Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx Computer Science Springer Details
Auctions, Market Mechanisms, and Their Applications Peter Coles, Sanmay Das, Sébastien Lahaie, Boleslaw Szymanski Computer Science Springer Details
Trust and Trustworthy Computing Stefan Katzenbeisser, Edgar Weippl, L. Jean Camp, Melanie Volkamer, Mike Reiter, Xinwen Zhang Computer Science Springer Details
Agent and Multi-Agent Systems. Technologies and Applications Gordan Jezic, Mario Kusek, Ngoc-Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain Computer Science Springer Details
Intelligent Tutoring Systems Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty Panourgia Computer Science Springer Details
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga Computer Science Springer Details
OpenMP in a Heterogeneous World Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro Computer Science Springer Details
Mobile and Ubiquitous Systems: Computing, Networking, and Services Alessandro Puiatti, Tao Gu Computer Science Springer Details
Advances in Swarm Intelligence Ying Tan, Yuhui Shi, Zhen Ji Computer Science Springer Details
Formal Methods for Model-Driven Engineering Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio Computer Science Springer Details
Advances in Swarm Intelligence Ying Tan, Yuhui Shi, Zhen Ji Computer Science Springer Details
Persuasive Technology. Design for Health and Safety Magnus Bang, Eva L. Ragnemalm Computer Science Springer Details
Data Integration in the Life Sciences Olivier Bodenreider, Bastien Rance Computer Science Springer Details
ECOOP 2012 ? Object-Oriented Programming James Noble Computer Science Springer Details
Product-Focused Software Process Improvement Oscar Dieste, Andreas Jedlitschka, Natalia Juristo Computer Science Springer Details
Advanced Information Systems Engineering Workshops Marko Bajec, Johann Eder Computer Science Springer Details
Enterprise, Business-Process and Information Systems Modeling Ilia Bider, Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Stanis?aw Wrycza Computer Science Springer Details
Computational Science and Its Applications ? ICCSA 2012 Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Advanced Research in Applied Artificial Intelligence He Jiang, Wei Ding, Moonis Ali, Xindong Wu Computer Science Springer Details
Advanced Information Systems Engineering Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza Computer Science Springer Details
Structural Information and Communication Complexity Guy Even, Magnús M. Halldórsson Computer Science Springer Details
Mathematics of Program Construction Jeremy Gibbons, Pablo Nogueira Computer Science Springer Details
Computational Science and Its Applications ? ICCSA 2012 Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Computational Science and Its Applications ? ICCSA 2012 Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Application and Theory of Petri Nets Serge Haddad, Lucia Pomello Computer Science Springer Details
Practice-Driven Research on Enterprise Transformation Erik Proper, Khaled Gaaloul, Frank Harmsen, Stanis?aw Wrycza Computer Science Springer Details
Computational Science and Its Applications ? ICCSA 2012 Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan Computer Science Springer Details
Pattern Recognition Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera López, Kim L. Boyer Computer Science Springer Details
Algorithm Theory ? SWAT 2012 Fedor V. Fomin, Petteri Kaski Computer Science Springer Details
Data Matching Peter Christen Computer Science Springer Details
Controlled Natural Language Michael Rosner, Norbert E. Fuchs Computer Science Springer Details
Natural Language Processing and Information Systems Gosse Bouma, Ashwin Ittoo, Elisabeth Métais, Hans Wortmann Computer Science Springer Details
Information from Processes Robert M. Losee Computer Science Springer Details
Information Technologies in Biomedicine Ewa Pi?tka, Jacek Kawa Computer Science Springer Details
Systems, Software and Services Process Improvement Dietmar Winkler, Rory V. O’Connor, Richard Messnarz Computer Science Springer Details
Multicore Software Engineering, Performance, and Tools Victor Pankratius, Michael Philippsen Computer Science Springer Details
Pervasive Computing Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, Antonio Krüger Computer Science Springer Details
Computer Networks Andrzej Kwiecie?, Piotr Gaj, Piotr Stera Computer Science Springer Details
Diagrammatic Representation and Inference Philip Cox, Beryl Plimmer, Peter Rodgers Computer Science Springer Details
Scientific and Statistical Database Management Anastasia Ailamaki, Shawn Bowers Computer Science Springer Details
Image and Signal Processing Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray, Fathallah Nouboud, Driss Aboutajdine Computer Science Springer Details
Logical Aspects of Computational Linguistics Denis Béchet, Alexander Dikovsky Computer Science Springer Details
Combinatorial Pattern Matching Juha Kärkkäinen, Jens Stoye Computer Science Springer Details
Breast Imaging Andrew D. A. Maidment, Predrag R. Bakic, Sara Gavenonis Computer Science Springer Details
Multidisciplinary Information Retrieval Michail Salampasis, Birger Larsen Computer Science Springer Details
Applied Cryptography and Network Security Feng Bao, Pierangela Samarati, Jianying Zhou 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
Biomedical Image Registration Benoît M. Dawant, Gary E. Christensen, J. Michael Fitzpatrick, Daniel Rueckert Computer Science Springer Details
Advances in Neural Networks ? ISNN 2012 Jun Wang, Gary G. Yen, Marios M. Polycarpou Computer Science Springer Details
Advances in Neural Networks ? ISNN 2012 Jun Wang, Gary G. Yen, Marios M. Polycarpou Computer Science Springer Details
Automated Reasoning Bernhard Gramlich, Dale Miller, Uli Sattler Computer Science Springer Details
Autonomous and Intelligent Systems Mohamed Kamel, Fakhri Karray, Hani Hagras Computer Science Springer Details
Intelligent Computer Mathematics Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge Computer Science Springer Details
Engaging Learners Through Emerging Technologies Kam Cheong Li, Fu Lee Wang, Kin Sun Yuen, Simon K. S. Cheung, Reggie Kwan Computer Science Springer Details
Haptics: Perception, Devices, Mobility, and Communication Poika Isokoski, Jukka Springare Computer Science Springer Details
Haptics: Perception, Devices, Mobility, and Communication Poika Isokoski, Jukka Springare Computer Science Springer Details
Progress in Cryptology - AFRICACRYPT 2012 Aikaterini Mitrokotsa, Serge Vaudenay Computer Science Springer Details
Computer Aided Verification P. Madhusudan, Sanjit A. Seshia Computer Science Springer Details
Transactions on Edutainment VIII Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang Computer Science Springer Details
Information Security and Privacy Willy Susilo, Yi Mu, Jennifer Seberry Computer Science Springer Details
User Modeling, Adaptation, and Personalization Judith Masthoff, Bamshad Mobasher, Michel C. Desmarais, Roger Nkambou Computer Science Springer Details
Parallel Processing and Applied Mathematics Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wa?niewski Computer Science Springer Details
New Directions in Logic, Language and Computation Daniel Lassiter, Marija Slavkovik Computer Science Springer Details
Tools for High Performance Computing 2011 Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel, Michael M. Resch Computer Science Springer Details
Constructing Ambient Intelligence Reiner Wichert, Kristof Laerhoven, Jean Gelissen Computer Science Springer Details
Logic, Language and Meaning Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera Computer Science Springer Details
Lectures on Logic and Computation Nick Bezhanishvili, Valentin Goranko 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