E-book Catalogue

Refresh

10063 Matching Record(s) found

Title Author Subject Publisher Action
Integrated Formal Methods Jim Davies, Jeremy Gibbons Computer Science Springer Details
Smart Graphics Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Shigeru Owada Computer Science Springer Details
Foundations of Augmented Cognition Dylan D. Schmorrow, Leah M. Reeves Computer Science Springer Details
Typed Lambda Calculi and Applications Simona Ronchi Rocca Computer Science Springer Details
Reliable Software Technologies ? Ada Europe 2007 Nabil Abdennadher, Fabrice Kordon Computer Science Springer Details
Neural-Symbolic Cognitive Reasoning Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay Computer Science Springer Details
Data Integration in the Life Sciences Sarah Cohen-Boulakia, Val Tannen Computer Science Springer Details
Online Communities and Social Computing Douglas Schuler Computer Science Springer Details
Metalearning Pavel Brazdil, Christophe Giraud-Carrier, Carlos Soares, Ricardo Vilalta Computer Science Springer Details
Information Processing in Medical Imaging Nico Karssemeijer, Boudewijn Lelieveldt Computer Science Springer Details
Security and Privacy in Ad-hoc and Sensor Networks Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore Computer Science Springer Details
Universal Acess in Human Computer Interaction. Coping with Diversity Constantine Stephanidis Computer Science Springer Details
Universal Access in Human-Computer Interaction. Ambient Interaction Constantine Stephanidis Computer Science Springer Details
Universal Access in Human-Computer Interaction. Applications and Services Constantine Stephanidis Computer Science Springer Details
Usability and Internationalization. HCI and Culture Nuray Aykin Computer Science Springer Details
Usability and Internationalization. Global and Local User Interfaces Nuray Aykin Computer Science Springer Details
Digital Human Modeling Vincent G. Duffy Computer Science Springer Details
New Trends in Applied Artificial Intelligence Hiroshi G. Okuno, Moonis Ali Computer Science Springer Details
Engineering Psychology and Cognitive Ergonomics Don Harris Computer Science Springer Details
Ergonomics and Health Aspects of Work with Computers Marvin J. Dainoff Computer Science Springer Details
Virtual Reality Randall Shumaker Computer Science Springer Details
Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design Michael J. Smith, Gavriel Salvendy Computer Science Springer Details
Natural Language Processing and Information Systems Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui Computer Science Springer Details
Human Interface and the Management of Information. Interacting in Information Environments Michael J. Smith, Gavriel Salvendy Computer Science Springer Details
Computer Aided Verification Werner Damm, Holger Hermanns Computer Science Springer Details
Model Checking Software Dragan Bošna?ki, Stefan Edelkamp Computer Science Springer Details
Data Management. Data, Data Everywhere Richard Cooper, Jessie Kennedy Computer Science Springer Details
Applications of Fuzzy Sets Theory Francesco Masulli, Sushmita Mitra, Gabriella Pasi Computer Science Springer Details
Public Key Infrastructure Javier Lopez, Pierangela Samarati, Josep L. Ferrer Computer Science Springer Details
Multimedia Content Analysis and Mining Nicu Sebe, Yuncai Liu, Yueting Zhuang, Thomas S. Huang Computer Science Springer Details
Automata, Languages and Programming Lars Arge, Christian Cachin, Tomasz Jurdzi?ski, Andrzej Tarlecki Computer Science Springer Details
Algebraic Biology Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia Computer Science Springer Details
Advances in Data Mining. Theoretical Aspects and Applications Petra Perner Computer Science Springer Details
Combinatorial Pattern Matching Bin Ma, Kaizhong Zhang Computer Science Springer Details
Logic, Language, Information and Computation Daniel Leivant, Ruy Queiroz Computer Science Springer Details
Term Rewriting and Applications Franz Baader Computer Science Springer Details
Rough Sets and Intelligent Systems Paradigms Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron Computer Science Springer Details
Information Security and Privacy Josef Pieprzyk, Hossein Ghodosi, Ed Dawson Computer Science Springer Details
Product-Focused Software Process Improvement Jürgen Münch, Pekka Abrahamsson Computer Science Springer Details
Foundations of Genetic Algorithms Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler Computer Science Springer Details
Pairing-Based Cryptography ? Pairing 2007 Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto Computer Science Springer Details
Machine Learning and Data Mining in Pattern Recognition Petra Perner Computer Science Springer Details
Business Process Management Mathias Weske Computer Science Springer Details
Dependable and Adaptable Networks and Services Aiko Pras, Marten Sinderen Computer Science Springer Details
Data and Applications Security XXI Steve Barker, Gail-Joon Ahn Computer Science Springer Details
Advances in Spatial and Temporal Databases Dimitris Papadias, Donghui Zhang, George Kollios Computer Science Springer Details
Computing and Combinatorics Guohui Lin Computer Science Springer Details
Autonomic and Trusted Computing Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua Computer Science Springer Details
Ubiquitous Intelligence and Computing Jadwiga Indulska, Jianhua Ma, Laurence T. Yang, Theo Ungerer, Jiannong Cao Computer Science Springer Details
Component-Based Software Engineering Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford Computer Science Springer Details
Unconventional Computation Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham Computer Science Springer Details
Combinatorial Optimization and Applications Andreas Dress, Yinfeng Xu, Binhai Zhu Computer Science Springer Details
Abstraction, Reformulation, and Approximation Ian Miguel, Wheeler Ruml Computer Science Springer Details
ECOOP 2007 ? Object-Oriented Programming Erik Ernst Computer Science Springer Details
Automated Deduction ? CADE-21 Frank Pfenning Computer Science Springer Details
Web Engineering Luciano Baresi, Piero Fraternali, Geert-Jan Houben Computer Science Springer Details
Artificial Intelligence in Medicine Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter Computer Science Springer Details
Detection of Intrusions and Malware, and Vulnerability Assessment Bernhard Hämmerli, Robin Sommer Computer Science Springer Details
Embedded Computer Systems: Architectures, Modeling, and Simulation Stamatis Vassiliadis, Mladen Berekovi?, Timo D. Hämäläinen Computer Science Springer Details
Learning from Data Streams João Gama, Mohamed Medhat Gaber Computer Science Springer Details
Conceptual Structures: Knowledge Architectures for Smart Applications Uta Priss, Simon Polovina, Richard Hill Computer Science Springer Details
Modeling Decisions for Artificial Intelligence Vicenç Torra, Yasuo Narukawa, Yuji Yoshida Computer Science Springer Details
Advances in Bioinformatics and Computational Biology Marie-France Sagot, Maria Emilia M. T. Walter Computer Science Springer Details
A Modern Approach to Intelligent Animation Yueting Zhuang, Yunhe Pan, Jun Xiao Computer Science Springer Details
Process Neural Networks Xingui He, Shaohua Xu Computer Science Springer Details
Tests and Proofs Yuri Gurevich, Bertrand Meyer Computer Science Springer Details
Frontiers in Algorithmics Franco P. Preparata, Qizhi Fang Computer Science Springer Details
Recent Advances in Constraints Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi Computer Science Springer Details
Mathematics of Surfaces XII Ralph Martin, Malcolm Sabin, Joab Winkler Computer Science Springer Details
Inductive Logic Programming Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad Computer Science Springer Details
Algebra and Coalgebra in Computer Science Till Mossakowski, Ugo Montanari, Magne Haveraaen Computer Science Springer Details
Advanced Data Mining and Applications Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Osmar R. Zaïane Computer Science Springer Details
Comparative Evaluation of XML Information Retrieval Systems Norbert Fuhr, Mounia Lalmas, Andrew Trotman Computer Science Springer Details
Computational Discovery of Scientific Knowledge Sašo Džeroski, Ljup?o Todorovski Computer Science Springer Details
Artificial Immune Systems Leandro Nunes Castro, Fernando José Zuben, Helder Knidel 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