E-book Catalogue

Title Author Subject Publisher Action
Formal Methods for Open Object-Based Distributed Systems Marcello M. Bonsangue, Einar Broch Johnsen Computer Science Springer Details
Advances in Metaheuristics for Hard Optimization Patrick Siarry, Zbigniew Michalewicz Computer Science Springer Details
Design of Modern Heuristics Franz Rothlauf Computer Science Springer Details
Multiobjective Problem Solving from Nature Joshua Knowles, David Corne, Kalyanmoy Deb, Deva Raj Chair Computer Science Springer Details
Web Reasoning and Rule Systems Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie Computer Science Springer Details
Inter-Domain Management Arosha K. Bandara, Mark Burgess Computer Science Springer Details
Advanced Information Systems Engineering John Krogstie, Andreas Opdahl, Guttorm Sindre Computer Science Springer Details
Managing Traffic Performance in Converged Networks Lorne Mason, Tadeusz Drwiega, James Yan Computer Science Springer Details
Computation and Logic in the Real World S. Barry Cooper, Benedikt Löwe, Andrea Sorbi Computer Science Springer Details
Computational and Ambient Intelligence Francisco Sandoval, Alberto Prieto, Joan Cabestany, Manuel Grańa Computer Science Springer Details
Technologies for E-Learning and Digital Entertainment Kin-chuen Hui, Zhigeng Pan, Ronald Chi-kit Chung, Charlie C. L. Wang, Xiaogang Jin, Stefan Göbel, Eric C.-L. Li Computer Science Springer Details
Requirements Engineering: Foundation for Software Quality Pete Sawyer, Barbara Paech, Patrick Heymans Computer Science Springer Details
Pervasive Computing for Quality of Life Enhancement Takeshi Okadome, Tatsuya Yamazaki, Mounir Makhtari Computer Science Springer Details
Image Analysis Bjarne Kjćr Ersbřll, Kim Steenstrup Pedersen Computer Science Springer Details
Bio-inspired Modeling of Cognitive Tasks José Mira, José R. Álvarez Computer Science Springer Details
Nature Inspired Problem-Solving Methods in Knowledge Engineering José Mira, José R. Álvarez Computer Science Springer Details
Systems Biology and Computational Proteomics Trey Ideker, Vineet Bafna Computer Science Springer Details
Testing of Software and Communicating Systems Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp Computer Science Springer Details
Arithmetic of Finite Fields Claude Carlet, Berk Sunar Computer Science Springer Details
User Modeling 2007 Cristina Conati, Kathleen McCoy, Georgios Paliouras Computer Science Springer Details
Towards Mechanized Mathematical Assistants Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger Computer Science Springer Details
Distributed Computing in Sensor Systems James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden Computer Science Springer Details
Transactions on Data Hiding and Multimedia Security II Yun Q. Shi Computer Science Springer Details
Petri Nets and Other Models of Concurrency ? ICATPN 2007 Jetty Kleijn, Alex Yakovlev Computer Science Springer Details
Automated Reasoning with Analytic Tableaux and Related Methods Nicola Olivetti Computer Science Springer Details
Agile Processes in Software Engineering and Extreme Programming Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi Computer Science Springer Details
Human-Computer Interaction. Interaction Design and Usability Julie A. Jacko Computer Science Springer Details
Human-Computer Interaction. Interaction Platforms and Techniques Julie A. Jacko Computer Science Springer Details
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments Julie A. Jacko Computer Science Springer Details
Human-Computer Interaction. HCI Applications and Services Julie A. Jacko Computer Science Springer Details
Software Engineering for Multi-Agent Systems V Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky Computer Science Springer Details
Statistical Network Analysis: Models, Issues, and New Directions Edoardo Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng Computer Science Springer Details
Ruby on Rails for PHP and Java Developers Deepak Vohra Computer Science Springer Details
Rewriting, Computation and Proof Hubert Comon-Lundh, Claude Kirchner, Hélčne Kirchner Computer Science Springer Details
Formal Techniques for Networked and Distributed Systems ? FORTE 2007 John Derrick, Jüri Vain Computer Science Springer Details
Developments in Language Theory Tero Harju, Juhani Karhumäki, Arto Lepistö Computer Science Springer Details
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

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