E-book Catalogue

Refresh

10063 Matching Record(s) found

Title Author Subject Publisher Action
Biomedical Simulation Fernando Bello, P. J. Eddie Edwards Computer Science Springer Details
Deontic Logic in Computer Science Ron Meyden, Leendert Torre Computer Science Springer Details
Embedded Robotics Thomas Bräunl Computer Science Springer Details
Digital Mammography Elizabeth A. Krupinski Computer Science Springer Details
Computers Helping People with Special Needs Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer Computer Science Springer Details
Detection of Intrusions and Malware, and Vulnerability Assessment Diego Zamboni Computer Science Springer Details
Computer Aided Verification Aarti Gupta, Sharad Malik Computer Science Springer Details
Embedded Computer Systems: Architectures, Modeling, and Simulation Mladen Berekovi?, Nikitas Dimopoulos, Stephan Wong Computer Science Springer Details
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Manfred Nagl, Wolfgang Marquardt Computer Science Springer Details
Data and Applications Security XXII Vijay Atluri Computer Science Springer Details
Interactive Systems. Design, Specification, and Verification T. C. Nicholas Graham, Philippe Palanque Computer Science Springer Details
Automata, Languages and Programming Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz Computer Science Springer Details
Automata, Languages and Programming Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz Computer Science Springer Details
Computer-Human Interaction Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin Computer Science Springer Details
Resilient Networks and Services David Hausheer, Jürgen Schönwälder Computer Science Springer Details
Rewriting Techniques and Applications Andrei Voronkov Computer Science Springer Details
ECOOP 2008 ? Object-Oriented Programming Jan Vitek Computer Science Springer Details
Mathematics of Program Construction Philippe Audebaud, Christine Paulin-Mohring Computer Science Springer Details
Conceptual Structures: Knowledge Visualization and Reasoning Peter Eklund, Ollivier Haemmerlé Computer Science Springer Details
Bioinformatics Research and Development Mourad Elloumi, Josef Küng, Michal Linial, Robert F. Murphy, Kristan Schneider, Cristian Toma Computer Science Springer Details
Software and Data Technologies Joaquim Filipe, Boris Shishkov, Markus Helfert Computer Science Springer Details
Privacy Enhancing Technologies Nikita Borisov, Ian Goldberg Computer Science Springer Details
Journal on Data Semantics VIII Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu Computer Science Springer Details
Discrete Geometry, Combinatorics and Graph Theory Jin Akiyama, William Y. C. Chen, Mikio Kano, Xueliang Li, Qinglin Yu Computer Science Springer Details
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry Petra Perner, Ovidio Salvetti Computer Science Springer Details
Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects Petra Perner Computer Science Springer Details
E-Business and Telecommunication Networks Joaquim Filipe, Mohammad S. Obaidat Computer Science Springer Details
Task Models and Diagrams for Users Interface Design Karin Coninx, Kris Luyten, Kevin A. Schneider Computer Science Springer Details
Agile Software Development Thomas Stober, Uwe Hansmann Computer Science Springer Details
Implementation and Applications of Automata Oscar H. Ibarra, Bala Ravikumar Computer Science Springer Details
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction Anna Esposito, Nikolaos G. Bourbakis, Nikolaos Avouris, Ioannis Hatzilygeroudis Computer Science Springer Details
Scaling Topic Maps Lutz Maicher, Lars Marius Garshol Computer Science Springer Details
Perspectives of Systems Informatics Irina Virbitskaite, Andrei Voronkov Computer Science Springer Details
Hardware and Software, Verification and Testing Eyal Bin, Avi Ziv, Shmuel Ur Computer Science Springer Details
Semantic Web Services Rudi Studer, Stephan Grimm, Andreas Abecker Computer Science Springer Details
Formal Concept Analysis Sergei O. Kuznetsov, Stefan Schmidt Computer Science Springer Details
Graph Drawing Michael Kaufmann, Dorothea Wagner Computer Science Springer Details
Multi-Agent-Based Simulation VIII Luis Antunes, Mario Paolucci, Emma Norling Computer Science Springer Details
STACS 2007 Wolfgang Thomas, Pascal Weil Computer Science Springer Details
Evolutionary Multi-Criterion Optimization Shigeru Obayashi, Kalyanmoy Deb, Carlo Poloni, Tomoyuki Hiroyasu, Tadahiko Murata Computer Science Springer Details
Model-Driven Development of Reliable Automotive Services Manfred Broy, Ingolf H. Krüger, Michael Meisinger Computer Science Springer Details
Dynamical Vision René Vidal, Anders Heyden, Yi Ma Computer Science Springer Details
Cognitive Systems Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich Computer Science Springer Details
Theory of Cryptography Salil P. Vadhan Computer Science Springer Details
Computational Linguistics and Intelligent Text Processing Alexander Gelbukh Computer Science Springer Details
Numerical Methods and Applications Todor Boyanov, Stefka Dimova, Krassimir Georgiev, Geno Nikolov Computer Science Springer Details
Agent-Oriented Software Engineering VII Lin Padgham, Franco Zambonelli Computer Science Springer Details
Formal Methods: Applications and Technology Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol Computer Science Springer Details
Information Visualization Andreas Kerren, John T. Stasko, Jean-Daniel Fekete, Chris North Computer Science Springer Details
Semantic Web, Ontologies and Databases Vassilis Christophides, Martine Collard, Claudio Gutierrez Computer Science Springer Details
Wireless Systems and Mobility in Next Generation Internet Jorge García-Vidal, Llorenç Cerdà-Alabern Computer Science Springer Details
Adaptive Hypermedia and Adaptive Web-Based Systems Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder Computer Science Springer Details
New Frontiers in Artificial Intelligence Akito Sakurai, Kôiti Hasida, Katsumi Nitta Computer Science Springer Details
Universal Access in Ambient Intelligence Environments Constantine Stephanidis, Michael Pieper Computer Science Springer Details
Pixelization Paradigm Pierre P Lévy, Bénédicte Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert Computer Science Springer Details
Job Scheduling Strategies for Parallel Processing Eitan Frachtenberg, Uwe Schwiegelshohn Computer Science Springer Details
Knowledge Discovery and Emergent Complexity in Bioinformatics Karl Tuyls, Ronald Westra, Yvan Saeys, Ann Nowé Computer Science Springer Details
Fast Software Encryption Kaisa Nyberg Computer Science Springer Details
Theorem Proving in Higher Order Logics Otmane Ait Mohamed, César Muñoz, Sofiène Tahar Computer Science Springer Details
Automated Reasoning Alessandro Armando, Peter Baumgartner, Gilles Dowek Computer Science Springer Details
Visual Data Mining Simeon J. Simoff, Michael H. Böhlen, Arturas Mazeika Computer Science Springer Details
Information Security Applications Jae Kwang Lee, Okyeon Yi, Moti Yung Computer Science Springer Details
Environments for Multi-Agent Systems III Danny Weyns, H. Van Dyke Parunak, Fabien Michel Computer Science Springer Details
Reliable Systems on Unreliable Networked Platforms Fabrice Kordon, Janos Sztipanovits Computer Science Springer Details
Transactions on Rough Sets VI James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzyma?a-Busse, Ewa Or?owska, Lech Polkowski Computer Science Springer Details
Tools and Algorithms for the Construction and Analysis of Systems Orna Grumberg, Michael Huth Computer Science Springer Details
Compiler Construction Shriram Krishnamurthi, Martin Odersky Computer Science Springer Details
Learning Classifier Systems Tim Kovacs, Xavier Llorà, Keiki Takadama, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson Computer Science Springer Details
Bioinformatics Research and Development Sepp Hochreiter, Roland Wagner Computer Science Springer Details
Architecture of Computing Systems - ARCS 2007 Paul Lukowicz, Lothar Thiele, Gerhard Tröster Computer Science Springer Details
Fundamental Approaches to Software Engineering Matthew B. Dwyer, Antónia Lopes Computer Science Springer Details
Empirical Software Engineering Issues. Critical Assessment and Future Directions Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby Computer Science Springer Details
Programming Languages and Systems Rocco Nicola Computer Science Springer Details
Program Analysis and Compilation, Theory and Practice Thomas Reps, Mooly Sagiv, Jörg Bauer Computer Science Springer Details
High Performance Computing for Computational Science - VECPAR 2006 Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes 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