E-book Catalogue

Refresh
Title Author Subject Publisher Action
Algebra, Meaning, and Computation Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer Computer Science Springer Details
Logical Approaches to Computational Barriers Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker Computer Science Springer Details
Finite-State Methods and Natural Language Processing Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki Computer Science Springer Details
New Frontiers in Artificial Intelligence Takashi Washio, Akito Sakurai, Katsuto Nakajima, Hideaki Takeda, Satoshi Tojo, Makoto Yokoo Computer Science Springer Details
Next Generation Information Technologies and Systems Opher Etzion, Tsvi Kuflik, Amihai Motro Computer Science Springer Details
Structural Information and Communication Complexity Paola Flocchini, Leszek G?sieniec Computer Science Springer Details
A Computational Model of Natural Language Communication Roland Hausser Computer Science Springer Details
Coding and Cryptography Øyvind Ytrehus Computer Science Springer Details
Diagrammatic Representation and Inference Dave Barker-Plummer, Richard Cox, Nik Swoboda Computer Science Springer Details
Digital Mammography Susan M. Astley, Michael Brady, Chris Rose, Reyer Zwiggelaar Computer Science Springer Details
Component-Based Software Engineering Ian Gorton, George T. Heineman, Ivica Crnkovi?, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Computer Science Springer Details
Mathematics of Program Construction Tarmo Uustalu Computer Science Springer Details
Algebraic Methodology and Software Technology Michael Johnson, Varmo Vene Computer Science Springer Details
Advances in Computer Graphics Tomoyuki Nishita, Qunsheng Peng, Hans-Peter Seidel Computer Science Springer Details
Biomedical Image Registration Josien P. W. Pluim, Boštjan Likar, Frans A. Gerritsen Computer Science Springer Details
ECOOP 2006 ? Object-Oriented Programming Dave Thomas Computer Science Springer Details
Artificial Intelligence and Soft Computing ? ICAISC 2006 Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. ?urada Computer Science Springer Details
Algorithm Theory ? SWAT 2006 Lars Arge, Rusins Freivalds Computer Science Springer Details
Architecting Systems with Trustworthy Components Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski Computer Science Springer Details
Deontic Logic and Artificial Normative Systems Lou Goble, John-Jules Ch. Meyer Computer Science Springer Details
Theoretical Aspects of Local Search Wil Michiels, Jan Korst, Emile Aarts Computer Science Springer Details
Conceptual Structures: Inspiration and Application Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm Computer Science Springer Details
Automata, Languages and Programming Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener Computer Science Springer Details
Automata, Languages and Programming Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener Computer Science Springer Details
Model Driven Architecture ? Foundations and Applications Arend Rensink, Jos Warmer Computer Science Springer Details
Flexible and Efficient Information Handling David A. Bell, Jun Hong Computer Science Springer Details
Designing Smart Homes Juan Carlos Augusto, Chris D. Nugent Computer Science Springer Details
Digital Rights Management. Technologies, Issues, Challenges and Systems Reihaneh Safavi-Naini, Moti Yung Computer Science Springer Details
Biomedical Simulation Matthias Harders, Gábor Székely Computer Science Springer Details
Detection of Intrusions and Malware & Vulnerability Assessment Roland Büschkes, Pavel Laskov Computer Science Springer Details
Image and Video Retrieval Hari Sundaram, Milind Naphade, John R. Smith, Yong Rui Computer Science Springer Details
Computers Helping People with Special Needs Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Arthur I. Karshmer Computer Science Springer Details
Articulated Motion and Deformable Objects Francisco J. Perales, Robert B. Fisher Computer Science Springer Details
Advances in Data Mining. Applications in Medicine, Web Mining, Marketing, Image and Signal Mining Petra Perner Computer Science Springer Details
Transactions on Computational Systems Biology V Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin Computer Science Springer Details
Algorithmic Number Theory Florian Hess, Sebastian Pauli, Michael Pohst Computer Science Springer Details
Smart Graphics Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier Computer Science Springer Details
Rough Sets and Knowledge Technology Guo-Ying Wang, James F. Peters, Andrzej Skowron, Yiyu Yao Computer Science Springer Details
Principles of Distributed Systems James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer Computer Science Springer Details
Argumentation in Multi-Agent Systems Simon Parsons, Nicolas Maudet, Pavlos Moraitis, Iyad Rahwan Computer Science Springer Details
Embedded Computer Systems: Architectures, Modeling, and Simulation Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen Computer Science Springer Details
Data Integration in the Life Sciences Ulf Leser, Felix Naumann, Barbara Eckman Computer Science Springer Details
Fast Software Encryption Matthew Robshaw Computer Science Springer Details
Distributed Services with OpenAFS Franco Milicchio, Wolfgang A. Gehrke Computer Science Springer Details
Logic Programming Sandro Etalle, Miros?aw Truszczy?ski Computer Science Springer Details
PRICAI 2006: Trends in Artificial Intelligence Qiang Yang, Geoff Webb Computer Science Springer Details
SmartKom: Foundations of Multimodal Dialogue Systems Wolfgang Wahlster Computer Science Springer Details
Embedded and Ubiquitous Computing Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao Computer Science Springer Details
Formal Methods for Components and Objects Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever Computer Science Springer Details
Data and Applications Security XX Ernesto Damiani, Peng Liu Computer Science Springer Details
Dependable Systems: Software, Computing, Networks Jürg Kohlas, Bertrand Meyer, André Schiper Computer Science Springer Details
Term Rewriting and Applications Frank Pfenning Computer Science Springer Details
Advances in Case-Based Reasoning Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir Computer Science Springer Details
Emerging Directions in Embedded and Ubiquitous Computing Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu Computer Science Springer Details
Agent Computing and Multi-Agent Systems Zhong-Zhi Shi, Ramakoti Sadananda Computer Science Springer Details
Artificial Intelligence and Neural Networks F. Acar Savac? Computer Science Springer Details
Reconfigurable Computing: Architectures and Applications Koen Bertels, João M. P. Cardoso, Stamatis Vassiliadis Computer Science Springer Details
Geometric Modeling and Processing - GMP 2006 Myung-Soo Kim, Kenji Shimada Computer Science Springer Details
Journal on Data Semantics VI Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux Computer Science Springer Details
Comprehensive Mathematics for Computer Scientists 1 Guerino Mazzola, Gérard Milmeister, Jody Weissmann Computer Science Springer Details
Computing and Combinatorics Danny Z. Chen, D. T. Lee Computer Science Springer Details
Advanced Data Mining and Applications Xue Li, Osmar R. Zaïane, Zhan-huai Li Computer Science Springer Details
Knowledge Science, Engineering and Management Jérôme Lang, Fangzhen Lin, Ju Wang Computer Science Springer Details
Mathematical Knowledge Management Jonathan M. Borwein, William M. Farmer Computer Science Springer Details
Automated Reasoning Ulrich Furbach, Natarajan Shankar Computer Science Springer Details
Wireless Algorithms, Systems, and Applications Xiuzhen Cheng, Wei Li, Taieb Znati Computer Science Springer Details
Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere, Carla P. Gomes Computer Science Springer Details
Implementation and Application of Automata Oscar H. Ibarra, Hsu-Chun Yen Computer Science Springer Details
FM 2006: Formal Methods Jayadev Misra, Tobias Nipkow, Emil Sekerinski Computer Science Springer Details
Medical Imaging and Augmented Reality Guang-Zhong Yang, TianZi Jiang, Dinggang Shen, Lixu Gu, Jie Yang Computer Science Springer Details
Structural, Syntactic, and Statistical Pattern Recognition Dit-Yan Yeung, James T. Kwok, Ana Fred, Fabio Roli, Dick Ridder Computer Science Springer Details
Ad-Hoc, Mobile, and Wireless Networks Thomas Kunz, S. S. Ravi Computer Science Springer Details
Advances in Artificial Economics Charlotte Bruun Computer Science Springer Details
Intelligent Computing De-Shuang Huang, Kang Li, George William Irwin Computer Science Springer Details
Computational Intelligence De-Shuang Huang, Kang Li, George William Irwin 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