E-book Catalogue

Refresh

10063 Matching Record(s) found

Title Author Subject Publisher Action
Programming Languages and Systems Sophia Drossopoulou Computer Science Springer Details
Fundamental Approaches to Software Engineering José Luiz Fiadeiro, Paola Inverardi Computer Science Springer Details
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics Elena Marchiori, Jason H. Moore Computer Science Springer Details
Applications of Evolutionary Computing Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O’Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, A. ?ima Uyar, S Computer Science Springer Details
Logic-Based Program Synthesis and Transformation Andy King Computer Science Springer Details
LATIN 2008: Theoretical Informatics Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria Computer Science Springer Details
Software Composition Cesare Pautasso, Éric Tanter Computer Science Springer Details
Compiler Construction Laurie Hendren Computer Science Springer Details
Tools and Algorithms for the Construction and Analysis of Systems C. R. Ramakrishnan, Jakob Rehof Computer Science Springer Details
Algorithms and Models for the Web-Graph William Aiello, Andrei Broder, Jeannette Janssen, Evangelos Milios Computer Science Springer Details
Large-Scale Scientific Computing Ivan Lirkov, Svetozar Margenov, Jerzy Wa?niewski Computer Science Springer Details
TestGoal Derk-Jan De Grood Computer Science Springer Details
Research in Computational Molecular Biology Martin Vingron, Limsoon Wong Computer Science Springer Details
Progress in WWW Research and Development Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu Computer Science Springer Details
Relations and Kleene Algebra in Computer Science Rudolf Berghammer, Bernhard Möller, Georg Struth Computer Science Springer Details
Argumentation in Multi-Agent Systems Iyad Rahwan, Simon Parsons, Chris Reed Computer Science Springer Details
Formal Methods and Testing Robert M. Hierons, Jonathan P. Bowen, Mark Harman Computer Science Springer Details
Concept Lattices and Their Applications Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek Computer Science Springer Details
Hybrid Systems: Computation and Control Magnus Egerstedt, Bud Mishra Computer Science Springer Details
Information Systems and e-Business Technologies Roland Kaschek, Christian Kop, Claudia Steinberger, Günther Fliedl Computer Science Springer Details
Advances in Cryptology ? EUROCRYPT 2008 Nigel Smart Computer Science Springer Details
Functional and Logic Programming Jacques Garrigue, Manuel V. Hermenegildo Computer Science Springer Details
Model-Based Software and Data Integration Ralf-Detlef Kutsche, Nikola Milanovic Computer Science Springer Details
Coordination, Organizations, Institutions, and Norms in Agent Systems III Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega Computer Science Springer Details
Modeling Communication with Robots and Virtual Humans Ipke Wachsmuth, Günther Knoblich Computer Science Springer Details
Programming Multi-Agent Systems Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff Computer Science Springer Details
Information Security Practice and Experience Liqun Chen, Yi Mu, Willy Susilo Computer Science Springer Details
End-to-End Quality of Service Over Heterogeneous Networks Torsten Braun, Thomas Staub, Michel Diaz, José Enríquez-Gabeiras Computer Science Springer Details
Tests and Proofs Bernhard Beckert, Reiner Hähnle Computer Science Springer Details
Discrete Geometry for Computer Imagery David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont Computer Science Springer Details
Theory and Applications of Models of Computation Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li Computer Science Springer Details
Web Services and Formal Methods Marlon Dumas, Reiko Heckel Computer Science Springer Details
Passive and Active Network Measurement Mark Claypool, Steve Uhlig Computer Science Springer Details
Advances in Geometric Modeling and Processing Falai Chen, Bert Jüttler Computer Science Springer Details
Topics in Cryptology ? CT-RSA 2008 Tal Malkin Computer Science Springer Details
Transactions on Computational Science I Marina L. Gavrilova, C. J. Kenneth Tan Computer Science Springer Details
Artificial Evolution Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton Computer Science Springer Details
Algorithmic Game Theory Burkhard Monien, Ulf-Peter Schroeder Computer Science Springer Details
Introduction to Video Search Engines David C. Gibbon, Zhu Liu Computer Science Springer Details
Business Information Systems Witold Abramowicz, Dieter Fensel Computer Science Springer Details
Active Knowledge Modeling of Enterprises Frank Lillehagen, John Krogstie Computer Science Springer Details
Bioinformatics Research and Applications Ion M?ndoiu, Raj Sunderraman, Alexander Zelikovsky Computer Science Springer Details
Machine Learning Kaizhu Huang, Haiqin Yang, Irwin King, Michael Lyu Computer Science Springer Details
Semantic Grid: Model, Methodology, and Applications Zhao-hui Wu, Hua-jun Chen Computer Science Springer Details
Algorithmic Number Theory Alfred J. Poorten, Andreas Stein Computer Science Springer Details
An Approach to Modelling Software Evolution Processes Tong Li Computer Science Springer Details
Transdisciplinary Digital Art. Sound, Vision and the New Screen Randy Adams, Steve Gibson, Stefan Müller Arisona Computer Science Springer Details
Agent-Oriented Software Engineering VIII Michael Luck, Lin Padgham Computer Science Springer Details
Medical Imaging and Informatics Xiaohong Gao, Henning Müller, Martin J. Loomes, Richard Comley, Shuqian Luo Computer Science Springer Details
Information Security and Cryptology Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu Computer Science Springer Details
Security Engineering for Service-Oriented Architectures Michael Hafner, Ruth Breu Computer Science Springer Details
Computer Vision Systems Antonios Gasteratos, Markus Vincze, John K. Tsotsos Computer Science Springer Details
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong Computer Science Springer Details
OpenMP in a New Era of Parallelism Rudolf Eigenmann, Bronis R. Supinski Computer Science Springer Details
Pervasive Computing Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott Computer Science Springer Details
Making Globally Distributed Software Development a Success Story Qing Wang, Dietmar Pfahl, David M. Raffo Computer Science Springer Details
Ada 2005 Rationale John Barnes Computer Science Springer Details
Agents and Peer-to-Peer Computing Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi Computer Science Springer Details
Formal Methods for Industrial Critical Systems Stefan Leue, Pedro Merino Computer Science Springer Details
Computer Science ? Theory and Applications Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko Computer Science Springer Details
Theory and Applications of Satisfiability Testing ? SAT 2008 Hans Kleine Büning, Xishun Zhao Computer Science Springer Details
Rough Sets and Knowledge Technology Guoyin Wang, Tianrui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Yao Computer Science Springer Details
Parameterized and Exact Computation Martin Grohe, Rolf Niedermeier Computer Science Springer Details
Adaptive Multimedia Retrieval: Retrieval, User, and Semantics Nozha Boujemaa, Marcin Detyniecki, Andreas Nürnberger Computer Science Springer Details
Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis Computer Science Springer Details
Service-Oriented Computing: Agents, Semantics, and Engineering Ryszard Kowalczyk, Michael Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo Computer Science Springer Details
Algebraic Methodology and Software Technology José Meseguer, Grigore Ro?u Computer Science Springer Details
Medical Imaging and Augmented Reality Takeyoshi Dohi, Ichiro Sakuma, Hongen Liao Computer Science Springer Details
Cellular Automata Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini Computer Science Springer Details
GeoSensor Networks Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis Computer Science Springer Details
Storage Management in Data Centers Albrecht Scriba, Volker Herminghaus Computer Science Springer Details
Engineering Environment-Mediated Multi-Agent Systems Danny Weyns, Sven A. Brueckner, Yves Demazeau Computer Science Springer Details
Advances in Web Based Learning - ICWL 2008 Frederick Li, Jianmin Zhao, Timothy K. Shih, Rynson Lau, Qing Li, Dennis McLeod Computer Science Springer Details
Computer Music Modeling and Retrieval. Sense of Sounds Richard Kronland-Martinet, Sølvi Ystad, Kristoffer Jensen Computer Science Springer Details
Cryptographic Hardware and Embedded Systems ? CHES 2008 Elisabeth Oswald, Pankaj Rohatgi 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