E-book Catalogue

10063 Matching Record(s) found

Title Author Subject Publisher Action
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
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

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