E-book Catalogue

Title Author Subject Publisher Action
Integer Programming and Combinatorial Optimization Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi Computer Science Springer Details
Formal Methods for Computational Systems Biology Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro Computer Science Springer Details
OPC Unified Architecture Matthias Damm, Stefan-Helmut Leitner, Wolfgang Mahnke Computer Science Springer Details
Applied Cryptography and Network Security Steven M. Bellovin, Rosario Gennaro, Angelos Keromytis, Moti Yung Computer Science Springer Details
Robot Cognition and Navigation Srikanta Patnaik Computer Science Springer Details
Dependability Metrics Irene Eusgeld, Felix C. Freiling, Ralf Reussner Computer Science Springer Details
Advances in Knowledge Acquisition and Management Achim Hoffmann, Byeong-ho Kang, Debbie Richards, Shusaku Tsumoto Computer Science Springer Details
Declarative Agent Languages and Technologies IV Matteo Baldoni, Ulle Endriss Computer Science Springer Details
Information Systems Security Aditya Bagchi, Vijayalakshmi Atluri Computer Science Springer Details
Agents and Peer-to-Peer Computing Zoran Despotovic, Sam Joseph, Claudio Sartori Computer Science Springer Details
Data Mining and Bioinformatics Mehmet M. Dalkilic, Sun Kim, Jiong Yang Computer Science Springer Details
Trusted Computing - Challenges and Applications Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch Computer Science Springer Details
Analytical and Stochastic Modeling Techniques and Applications Khalid Al-Begain, Armin Heindl, Miklós Telek Computer Science Springer Details
The Design of Material, Organism, and Minds Silke Konsorski-Lang, Michael Hampe Computer Science Springer Details
Transactions on Data Hiding and Multimedia Security III Yun Q. Shi Computer Science Springer Details
Bioinformatics Andrzej Polanski, Marek Kimmel Computer Science Springer Details
New Frontiers in Applied Artificial Intelligence Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, Moonis Ali Computer Science Springer Details
Haptics: Perception, Devices and Scenarios Manuel Ferre Computer Science Springer Details
Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt Computer Science Springer Details
Requirements Engineering: Foundation for Software Quality Barbara Paech, Colette Rolland Computer Science Springer Details
Combinatorial Pattern Matching Paolo Ferragina, Gad M. Landau Computer Science Springer Details
Models in Software Engineering Holger Giese Computer Science Springer Details
Critical Information Infrastructures Security Javier Lopez Computer Science Springer Details
Algorithmic Aspects of Wireless Sensor Networks Sotiris E. Nikoletseas, José D. P. Rolim Computer Science Springer Details
Membrane Computing Hendrik Jan Hoogeboom, Gheorghe P?un, Grzegorz Rozenberg, Arto Salomaa Computer Science Springer Details
Model Driven Architecture ? Foundations and Applications Ina Schieferdecker, Alan Hartman Computer Science Springer Details
Intelligent Tutoring Systems Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie Computer Science Springer Details
From Animals to Animats 10 Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani Computer Science Springer Details
Verified Software: Theories, Tools, Experiments Bertrand Meyer, Jim Woodcock Computer Science Springer Details
Neural Information Processing Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa Computer Science Springer Details
Neural Information Processing Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa Computer Science Springer Details
Static Analysis María Alpuente, Germán Vidal Computer Science Springer Details
Distributed Computing in Sensor Systems Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari Computer Science Springer Details
Security and Privacy in Ad-Hoc and Sensor Networks Levente Buttyán, Virgil D. Gligor, Dirk Westhoff Computer Science Springer Details
Implementation and Application of Functional Languages Andrew Butterfield, Clemens Grelck, Frank Huch Computer Science Springer Details
Theory and Applications of Relational Structures as Knowledge Instruments II Harrie Swart, Ewa Or?owska, Gunther Schmidt, Marc Roubens Computer Science Springer Details
Declarative Programming for Knowledge Management Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata Computer Science Springer Details
Grid Computing Radu Prodan, Thomas Fahringer Computer Science Springer Details
Innovative Concepts for Autonomic and Agent-Based Systems Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski Computer Science Springer Details
Machine Learning for Multimodal Interaction Steve Renals, Samy Bengio, Jonathan G. Fiscus Computer Science Springer Details
Database Theory ? ICDT 2007 Thomas Schwentick, Dan Suciu Computer Science Springer Details
Software Architecture Volker Gruhn, Flavio Oquendo Computer Science Springer Details
Ubiquitous Intelligence and Computing Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence T. Yang, Jianhua Ma Computer Science Springer Details
Autonomic and Trusted Computing Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, Jianhua Ma Computer Science Springer Details
A Practical Programming Model for the Multi-Core Era Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguadé, Dongsheng Wang Computer Science Springer Details
Intelligence and Security Informatics Christopher C. Yang, Hsinchun Chen, Michael Chau, Kuiyu Chang, Sheau-Dong Lang, Patrick S. Chen, Raymond Hsieh, Daniel Zeng, Fei-Yue Wang, Kathleen Carley, Wenji Mao, Justin Zhan Computer Science Springer Details
Frontiers in Algorithmics Franco P. Preparata, Xiaodong Wu, Jianping Yin Computer Science Springer Details
Multiaccess, Reservations & Queues Dee Denteneer, Johan S. H. Leeuwaarden Computer Science Springer Details
Pattern Recognition Gerhard Rigoll Computer Science Springer Details
Topics in Cryptology ? CT-RSA 2007 Masayuki Abe Computer Science Springer Details
Languages and Compilers for Parallel Computing Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan Computer Science Springer Details
Ada 2005 Reference Manual. Language and Standard Libraries S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy Computer Science Springer Details
High Performance Embedded Architectures and Compilers Koen Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer Computer Science Springer Details
Structural Information and Communication Complexity Alexander A. Shvartsman, Pascal Felber Computer Science Springer Details
Perception in Multimodal Dialogue Systems Elisabeth André, Laila Dybkjær, Wolfgang Minker, Heiko Neumann, Roberto Pieraccini, Michael Weber Computer Science Springer Details
Digital Color Management Jan-Peter Homann Computer Science Springer Details
Computational Science ? ICCS 2008 Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot Computer Science Springer Details
Computational Science ? ICCS 2008 Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot Computer Science Springer Details
Computational Science ? ICCS 2008 Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot Computer Science Springer Details
Global E-Security Hamid Jahankhani, Kenneth Revett, Dominic Palmer-Brown Computer Science Springer Details
Logic and Theory of Algorithms Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe Computer Science Springer Details
Advances in Multimedia Modeling Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia Computer Science Springer Details
Advances in Multimedia Modeling Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia Computer Science Springer Details
Time-Dependent Scheduling Stanis?aw Gawiejnowicz Computer Science Springer Details
Changing Television Environments Manfred Tscheligi, Marianna Obrist, Artur Lugmayr Computer Science Springer Details
Public Key Infrastructure Stig F. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas Computer Science Springer Details
Models in Software Engineering Thomas Kühne Computer Science Springer Details
Scientific and Statistical Database Management Bertram Ludäscher, Nikos Mamoulis Computer Science Springer Details
Arithmetic of Finite Fields Joachim Gathen, José Luis Imaña, Çetin Kaya Koç Computer Science Springer Details
Algorithms and Architectures for Parallel Processing Anu G. Bourgeois, S. Q. Zheng Computer Science Springer Details
SOFSEM 2007: Theory and Practice of Computer Science Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil Computer Science Springer Details
Approximation and Online Algorithms Thomas Erlebach, Christos Kaklamanis Computer Science Springer Details
Advanced Information Systems Engineering Zohra Bellahsène, Michel Léonard Computer Science Springer Details
Interactive Systems. Design, Specification, and Verification Gavin Doherty, Ann Blandford Computer Science Springer Details
Product-Focused Software Process Improvement Andreas Jedlitschka, Outi Salo 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