E-book Catalogue

Title Author Subject Publisher Action
Trends and Topics in Computer Vision Kiriakos N. Kutulakos Computer Science Springer Details
Formal Aspects of Component Software Farhad Arbab, Peter Csaba Ölveczky Computer Science Springer Details
Tools for Practical Software Verification Bertrand Meyer, Martin Nordio Computer Science Springer Details
Trends and Topics in Computer Vision Kiriakos N. Kutulakos Computer Science Springer Details
E-Business and Telecommunications Mohammad S. Obaidat, José L. Sevillano, Joaquim Filipe Computer Science Springer Details
Product Lifecycle Management. Towards Knowledge-Rich Enterprises Louis Rivest, Abdelaziz Bouras, Borhen Louhichi Computer Science Springer Details
Critical Infrastructure Protection VI Jonathan Butts, Sujeet Shenoi Computer Science Springer Details
Combinatorial Algorithms S. Arumugam, W. F. Smyth Computer Science Springer Details
Secure ICT Service Provisioning for Cloud, Mobile and Beyond Eberhard Faber, Wolfgang Behnsen Computer Science Springer Details
ISSE 2012 Securing Electronic Business Processes Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider Computer Science Springer Details
SynDEVS Co-Design Flow H. Gregor Molter Computer Science Springer Details
Trusted Computing Platforms: Design and Applications Sean W. Smith Computer Science Springer Details
Structural Bioinformatics of Membrane Proteins Dmitrij Frishman Computer Science Springer Details
From Sociology to Computing in Social Networks Nasrullah Memon, Reda Alhajj Computer Science Springer Details
Counterterrorism and Open Source Intelligence Uffe Kock Wiil Computer Science Springer Details
Service Engineering Schahram Dustdar, Fei Li Computer Science Springer Details
The Concrete Tetrahedron Manuel Kauers, Peter Paule Computer Science Springer Details
Recent Trends in Information Reuse and Integration Tansel Özyer, Keivan Kianmehr, Mehmet Tan Computer Science Springer Details
Haptic Systems Architecture Modeling Anton Weber, Schahram Dustdar Computer Science Springer Details
Numerical and Symbolic Scientific Computing Ulrich Langer, Peter Paule Computer Science Springer Details
Socially Enhanced Services Computing Schahram Dustdar, Daniel Schall, Florian Skopik, Lukasz Juszczyk, Harald Psaier Computer Science Springer Details
Loewy Decomposition of Linear Differential Equations Fritz Schwarz Computer Science Springer Details
Introduction to Programming Concepts with Case Studies in Python Göktürk Üçoluk, Sinan Kalkan Computer Science Springer Details
Organizational Principles for Multi-Agent Architectures Chris Aart Computer Science Springer Details
Constraint Satisfaction Techniques for Agent-Based Reasoning Nicoleta Neagu Computer Science Springer Details
Software Agent-Based Applications, Platforms and Development Kits Rainer Unland, Monique Calisti, Matthias Klusch Computer Science Springer Details
Ontologies for Agents: Theory and Experiences Valentina Tamma, Stephen Cranefield, Timothy W. Finin, Steven Willmott Computer Science Springer Details
Applications of Agent Technology in Traffic and Transportation Franziska Klügl, Ana Bazzan, Sascha Ossowski Computer Science Springer Details
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming Ivo Nowak Computer Science Springer Details
Contemporary Cryptology Dario Catalano, Ronald Cramer, Giovanni Crescenzo, Ivan Darmgĺrd, David Pointcheval, Tsuyoshi Takagi Computer Science Springer Details
Agent-based Supply Network Event Management Roland Zimmermann Computer Science Springer Details
Adaptive Bidding in Single-Sided Auctions Under Uncertainty Clemens Dinther Computer Science Springer Details
The Agent Modeling Language - AML Radovan Cervenka, Ivan Trencansky Computer Science Springer Details
Emerging Web Services Technology Cesare Pautasso, Christoph Bussler Computer Science Springer Details
Issues in Multi-Agent Systems Antonio Moreno, Juan Pavón Computer Science Springer Details
Agent Technology and e-Health Roberta Annicchiarico, Ulises Cortés, Cristina Urdiales Computer Science Springer Details
Advanced Autonomic Networking and Communication Monique Calisti, Sven Meer, John Strassner Computer Science Springer Details
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems Michal P?chou?ek, Simon G. Thompson, Holger Voos Computer Science Springer Details
CASCOM: Intelligent Service Coordination in the Semantic Web Michael Schumacher, Helko Schuldt, Helkki Helin Computer Science Springer Details
Bidding Strategies in Agent-Based Continuous Double Auctions Huiye Ma, Ho-fung Leung Computer Science Springer Details
Emerging Web Services Technology, Volume II Thomas Gschwind, Cesare Pautasso Computer Science Springer Details
Economic Models and Algorithms for Distributed Systems Dirk Neumann, Mark Baker, Jörn Altmann, Omer Rana Computer Science Springer Details
Advanced Agent-Based Environmental Management Systems Ulises Cortés, Manel Poch Computer Science Springer Details
Mathematical Logic Wei Li Computer Science Springer Details
Using Microsoft Dynamics AX 2012 Andreas Luszczak Computer Science Springer Details
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes Christian Storm Computer Science Springer Details
Data Analytics Thomas A. Runkler Computer Science Springer Details
Information Flow Based Security Control Beyond RBAC Klaus-Peter Fischer-Hellmann Computer Science Springer Details
Radio Access Network Dimensioning for 3G UMTS Xi Li Computer Science Springer Details
Automatic Algorithm Selection for Complex Simulation Problems Roland Ewald Computer Science Springer Details
Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control Christian Kirches Computer Science Springer Details
Efficient Usage of Adabas Replication Dieter W. Storr Computer Science Springer Details
Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction Holger Scherl Computer Science Springer Details
Clustering-Based Support for Software Architecture Restructuring Niels Streekmann Computer Science Springer Details
ISSE 2006 ? Securing Electronic Busines Processes Sachar Paulus, Norbert Pohlmann, Helmut Reimer Computer Science Springer Details
UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization Hans-Florian Geerdes Computer Science Springer Details
ISSE 2008 Securing Electronic Business Processes Norbert Pohlmann, Helmut Reimer, Wolfgang Schneider Computer Science Springer Details
Multimedia and E-Content Trends Peter A. Bruck Computer Science Springer Details
The New PL/I Eberhard Sturm Computer Science Springer Details
Future of Trust in Computing David Gawrock, Helmut Reimer, Ahmad-Reza Sadeghi, Claire Vishik Computer Science Springer Details
ISSE 2009 Securing Electronic Business Processes Norbert Pohlmann, Helmut Reimer, Wolfgang Schneider Computer Science Springer Details
Using Microsoft Dynamics AX 2009 Andreas Luszczak Computer Science Springer Details
ISSE/SECURE 2007 Securing Electronic Business Processes Norbert Pohlmann, Helmut Reimer, Wolfgang Schneider Computer Science Springer Details
Contributions to Simulation Speed-Up Eugen Lamers Computer Science Springer Details
Microsoft Dynamics NAV Paul M. Diffenderfer, Samir El-Assal Computer Science Springer Details
Spatial Awareness of Autonomous Embedded Systems Clemens Holzmann Computer Science Springer Details
Security Engineering for Vehicular IT Systems Marko Wolf Computer Science Springer Details
Domain-Specific Model-Driven Testing Stefan Baerisch Computer Science Springer Details
Information Quality Management Capability Maturity Model Saša Baškarada Computer Science Springer Details
Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems Udo Bartlang Computer Science Springer Details
Structural Failure Models for Fault-Tolerant Distributed Computing Timo Warns Computer Science Springer Details
Context-Based Routing in Dynamic Networks Bernd-Ludwig Wenning Computer Science Springer Details
Design and Simulation of Spectrum Management Methods for Wireless Local Area Networks Andreas Könsgen Computer Science Springer Details
Analysis and Correctness of Algebraic Graph and Model Transformations Ulrike Golas Computer Science Springer Details
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde 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