E-book Catalogue

Title Author Subject Publisher Action
Technologies for Interactive Digital Storytelling and Entertainment Stefan Göbel, Rainer Malkewitz, Ido Iurgel Computer Science Springer Details
Principles of Distributed Systems Mariam Momenzadeh Alexander A. Shvartsman Computer Science Springer Details
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science S. Arun-Kumar, Naveen Garg Computer Science Springer Details
Practical Aspects of Knowledge Management Ulrich Reimer, Dimitris Karagiannis Computer Science Springer Details
High Performance Computing - HiPC 2006 Yves Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna Computer Science Springer Details
Biological and Medical Data Analysis Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, Rüdiger Brause Computer Science Springer Details
Parallel and Distributed Processing and Applications Minyi Guo, Laurence T. Yang, Beniamino Martino, Hans P. Zima, Jack Dongarra, Feilong Tang Computer Science Springer Details
High Confidence Software Reuse in Large Systems Hong Mei Computer Science Springer Details
Advances in Grid and Pervasive Computing Song Wu, Laurence T. Yang, Tony Li Xu Computer Science Springer Details
Types for Proofs and Programs Marino Miculan, Ivan Scagnetto, Furio Honsell Computer Science Springer Details
Parallel Processing and Applied Mathematics Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski Computer Science Springer Details
Foundations of Intelligent Systems Aijun An, Stan Matwin, Zbigniew W. Ra?, Dominik ?l?zak Computer Science Springer Details
Advances in Knowledge Discovery and Data Mining Takashi Washio, Einoshin Suzuki, Kai Ming Ting, Akihiro Inokuchi Computer Science Springer Details
Service Availability Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek Computer Science Springer Details
Formal Correctness of Security Protocols Giampaolo Bella Computer Science Springer Details
Distributed Computing and Networking Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura Computer Science Springer Details
Internet and Network Economics Paul Spirakis, Marios Mavronicolas, Spyros Kontogiannis Computer Science Springer Details
Agent Communication II Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores Computer Science Springer Details
Service-Oriented Computing ? ICSOC 2006 Asit Dan, Winfried Lamersdorf Computer Science Springer Details
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Laurent Perron, Michael A. Trick Computer Science Springer Details
Progress in Cryptology ? AFRICACRYPT 2008 Serge Vaudenay Computer Science Springer Details
Modeling Semantic Web Services Jos Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna Computer Science Springer Details
Wiki Anja Ebersbach, Markus Glaser, Richard Heigl, Alexander Warta Computer Science Springer Details
The IT Measurement Compendium Manfred Bundschuh, Carol Dekkers Computer Science Springer Details
Software Engineering Education in the Modern Age Paola Inverardi, Mehdi Jazayeri Computer Science Springer Details
The Semantic Web: Research and Applications Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis Computer Science Springer Details
FM 2008: Formal Methods Jorge Cuellar, Tom Maibaum, Kaisa Sere Computer Science Springer Details
Agile Processes in Software Engineering and Extreme Programming Pekka Abrahamsson, Richard Baskerville, Kieran Conboy, Brian Fitzgerald, Lorraine Morgan, Xiaofeng Wang Computer Science Springer Details
Middleware 2006 Maarten Steen, Michi Henning Computer Science Springer Details
Web Information Systems and Technologies Joaquim Filipe, José Cordeiro Computer Science Springer Details
Coordination Models and Languages Doug Lea, Gianluigi Zavattaro Computer Science Springer Details
Advances in Image and Video Technology Long-Wen Chang, Wen-Nung Lie Computer Science Springer Details
Computer Vision, Graphics and Image Processing Prem K. Kalra, Shmuel Peleg Computer Science Springer Details
New Stream Cipher Designs Matthew Robshaw, Olivier Billet Computer Science Springer Details
System Analysis and Modeling: Language Profiles Reinhard Gotzhein, Rick Reed Computer Science Springer Details
Distributed Computing and Internet Technology Sanjay K. Madria, Kajal T. Claypool, Rajgopal Kannan, Prem Uppuluri, Manoj Madhava Gore Computer Science Springer Details
Formal Methods in Systems Biology Jasmin Fisher Computer Science Springer Details
Mining Complex Data Zbigniew W. Ra?, Shusaku Tsumoto, Djamel Zighed Computer Science Springer Details
DNA Computing Chengde Mao, Takashi Yokomori Computer Science Springer Details
Heterogeneous Objects Modelling and Applications Alexander Pasko, Valery Adzhiev, Peter Comninos Computer Science Springer Details
Requirements Management Colin Hood, Simon Wiedemann, Stefan Fichtinger, Urte Pautz Computer Science Springer Details
Persuasive Technology Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm Computer Science Springer Details
Advances in Web Based Learning ? ICWL 2006 Wenyin Liu, Qing Li, Rynson W.H. Lau Computer Science Springer Details
Testing of Software and Communicating Systems Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa Computer Science Springer Details
Experimental Algorithms Catherine C. McGeoch Computer Science Springer Details
OpenMP Shared Memory Parallel Programming Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss Computer Science Springer Details
Tools for High Performance Computing Michael Resch, Rainer Keller, Valentin Himmler, Bettina Krammer, Alexander Schulz Computer Science Springer Details
Multimodal Technologies for Perception of Humans Rainer Stiefelhagen, Rachel Bowers, Jonathan Fiscus Computer Science Springer Details
Reliable Software Technologies ? Ada-Europe 2008 Fabrice Kordon, Tullio Vardanega Computer Science Springer Details
Temporal Logic and State Systems Fred Kröger, Stephan Merz Computer Science Springer Details
Information Retrieval Technology Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou Computer Science Springer Details
Distributed Applications and Interoperable Systems René Meier, Sotirios Terzis Computer Science Springer Details
Advances in Enterprise Engineering I Jan L. G. Dietz, Antonia Albani, Joseph Barjis Computer Science Springer Details
Artificial General Intelligence Ben Goertzel, Cassio Pennachin Computer Science Springer Details
Concurrency, Graphs and Models Pierpaolo Degano, Rocco Nicola, José Meseguer Computer Science Springer Details
Literature-based Discovery Peter Bruza, Marc Weeber Computer Science Springer Details
Service Availability Dave Penkler, Manfred Reitenspiess, Francis Tam Computer Science Springer Details
Applications and Theory of Petri Nets Kees M. Hee, Rüdiger Valk Computer Science Springer Details
PEACH - Intelligent Interfaces for Museum Visits Oliviero Stock, Massimo Zancanaro Computer Science Springer Details
B 2007: Formal Specification and Development in B Jacques Julliand, Olga Kouchnarenko Computer Science Springer Details
Modeling Decisions Vicenç Torra, Yasuo Narukawa Computer Science Springer Details
Privacy Enhancing Technologies George Danezis, Philippe Golle Computer Science Springer Details
Toward Category-Level Object Recognition Jean Ponce, Martial Hebert, Cordelia Schmid, Andrew Zisserman Computer Science Springer Details
Progress in Cryptology - VIETCRYPT 2006 Phong Q. Nguyen Computer Science Springer Details
Neural Preprocessing and Control of Reactive Walking Machines Poramate Manoonpong Computer Science Springer Details
Finite Model Theory and Its Applications Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein Computer Science Springer Details
Wired/Wireless Internet Communications Jarmo Harju, Geert Heijenk, Peter Langendörfer, Vasilios A. Siris Computer Science Springer Details
Advances in Artificial Intelligence Sabine Bergler Computer Science Springer Details
RoboCup 2007: Robot Soccer World Cup XI Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert Computer Science Springer Details
Formal Techniques for Networked and Distributed Systems ? FORTE 2008 Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih Computer Science Springer Details
Logical and Relational Learning Luc De Raedt Computer Science Springer Details
Computational Intelligence: Research Frontiers Jacek M. Zurada, Gary G. Yen, Jun Wang Computer Science Springer Details
Formal Methods for Open Object-Based Distributed Systems Gilles Barthe, Frank S. Boer Computer Science Springer Details
Cognitive Reasoning Tamás Gergely, Oleg M. Anshakov Computer Science Springer Details
Algorithmic Aspects in Information and Management Rudolf Fleischer, Jinhui Xu 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