E-book Catalogue

43115 Matching Record(s) found

Title Author Subject Publisher Action
Automated Deduction ? CADE-21 Frank Pfenning Computer Science Springer Details
Web Engineering Luciano Baresi, Piero Fraternali, Geert-Jan Houben Computer Science Springer Details
Artificial Intelligence in Medicine Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter Computer Science Springer Details
Detection of Intrusions and Malware, and Vulnerability Assessment Bernhard Hämmerli, Robin Sommer Computer Science Springer Details
Embedded Computer Systems: Architectures, Modeling, and Simulation Stamatis Vassiliadis, Mladen Berekovi?, Timo D. Hämäläinen Computer Science Springer Details
Learning from Data Streams João Gama, Mohamed Medhat Gaber Computer Science Springer Details
Conceptual Structures: Knowledge Architectures for Smart Applications Uta Priss, Simon Polovina, Richard Hill Computer Science Springer Details
Modeling Decisions for Artificial Intelligence Vicenç Torra, Yasuo Narukawa, Yuji Yoshida Computer Science Springer Details
Advances in Bioinformatics and Computational Biology Marie-France Sagot, Maria Emilia M. T. Walter Computer Science Springer Details
A Modern Approach to Intelligent Animation Yueting Zhuang, Yunhe Pan, Jun Xiao Computer Science Springer Details
Process Neural Networks Xingui He, Shaohua Xu Computer Science Springer Details
Tests and Proofs Yuri Gurevich, Bertrand Meyer Computer Science Springer Details
Frontiers in Algorithmics Franco P. Preparata, Qizhi Fang Computer Science Springer Details
Recent Advances in Constraints Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi Computer Science Springer Details
Mathematics of Surfaces XII Ralph Martin, Malcolm Sabin, Joab Winkler Computer Science Springer Details
Inductive Logic Programming Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad Computer Science Springer Details
Algebra and Coalgebra in Computer Science Till Mossakowski, Ugo Montanari, Magne Haveraaen Computer Science Springer Details
Advanced Data Mining and Applications Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Osmar R. Zaïane Computer Science Springer Details
Comparative Evaluation of XML Information Retrieval Systems Norbert Fuhr, Mounia Lalmas, Andrew Trotman Computer Science Springer Details
Computational Discovery of Scientific Knowledge Sašo Džeroski, Ljup?o Todorovski Computer Science Springer Details
Artificial Immune Systems Leandro Nunes Castro, Fernando José Zuben, Helder Knidel Computer Science Springer Details
Modelling Distributed Systems Wan Fokkink Computer Science Springer Details
Parallel Computing Technologies Victor Malyshkin Computer Science Springer Details
Business Intelligence for the Real-Time Enterprises Christoph Bussler, Malu Castellanos, Umesh Dayal, Sham Navathe Computer Science Springer Details
Algorithms and Data Structures Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh Computer Science Springer Details
Computer Network Security Vladimir Gorodetsky, Igor Kotenko, Victor A. Skormin Computer Science Springer Details
Intercultural Collaboration Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen Computer Science Springer Details
RoboCup 2006: Robot Soccer World Cup X Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi Computer Science Springer Details
Architecting Dependable Systems IV Rogério Lemos, Cristina Gacek, Alexander Romanovsky Computer Science Springer Details
Information Retrieval for Music and Motion Meinard Müller Computer Science Springer Details
Static Analysis Hanne Riis Nielson, Gilberto Filé Computer Science Springer Details
Web Information Systems and Technologies Joaquim Filipe, José Cordeiro, Vitor Pedrosa Computer Science Springer Details
Swarm Intelligence Christian Blum, Daniel Merkle Computer Science Springer Details
Decision Procedures Daniel Kroening, Ofer Strichman Computer Science Springer Details
Logics of Specification Languages Dines Bjørner, Martin C. Henson Computer Science Springer Details
Design by Evolution Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz Computer Science Springer Details
The Calculus of Computation Aaron R. Bradley, Zohar Manna Computer Science Springer Details
Speaker Classification II Christian Müller Computer Science Springer Details
Information Hiding Jan L. Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee Computer Science Springer Details
Algorithms in Bioinformatics Raffaele Giancarlo, Sridhar Hannenhalli Computer Science Springer Details
Model Checking and Artificial Intelligence Stefan Edelkamp, Alessio Lomuscio Computer Science Springer Details
Implementation and Application of Functional Languages Zoltán Horváth, Viktória Zsók, Andrew Butterfield Computer Science Springer Details
Case-Based Reasoning Research and Development Rosina O. Weber, Michael M. Richter Computer Science Springer Details
Advances in Cryptology - CRYPTO 2007 Alfred Menezes Computer Science Springer Details
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues De-Shuang Huang, Laurent Heutte, Marco Loog Computer Science Springer Details
Stochastic Discrete Event Systems Armin Zimmermann Computer Science Springer Details
Energy Minimization Methods in Computer Vision and Pattern Recognition Alan L. Yuille, Song-Chun Zhu, Daniel Cremers, Yongtian Wang Computer Science Springer Details
Speaker Classification I Christian Müller Computer Science Springer Details
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence De-Shuang Huang, Laurent Heutte, Marco Loog Computer Science Springer Details
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques Moses Charikar, Klaus Jansen, Omer Reingold, José D. P. Rolim Computer Science Springer Details
Fundamentals of Computation Theory Erzsébet Csuhaj-Varjú, Zoltán Ésik Computer Science Springer Details
Algorithmic Methods for Railway Optimization Frank Geraets, Leo Kroon, Anita Schoebel, Dorothea Wagner, Christos D. Zaroliagis Computer Science Springer Details
Modeling and Using Context Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu Computer Science Springer Details
Image Analysis and Recognition Mohamed Kamel, Aurélio Campilho Computer Science Springer Details
Anticipatory Behavior in Adaptive Learning Systems Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre Computer Science Springer Details
Computer Analysis of Images and Patterns Walter G. Kropatsch, Martin Kampel, Allan Hanbury Computer Science Springer Details
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques De-Shuang Huang, Laurent Heutte, Marco Loog Computer Science Springer Details
Advances in Computer Systems Architecture Lynn Choi, Yunheung Paek, Sangyeun Cho Computer Science Springer Details
Recent Advances in Intrusion Detection Christopher Kruegel, Richard Lippmann, Andrew Clark Computer Science Springer Details
Software Architecture Zheng Qin, Xiang Zheng, Jiankuan Xing Computer Science Springer Details
Computational Intelligence and Security Yuping Wang, Yiu-ming Cheung, Hailin Liu Computer Science Springer Details
Advanced Data Warehouse Design Elzbieta Malinowski, Esteban Zimányi Computer Science Springer Details
CONCUR 2007 ? Concurrency Theory Luís Caires, Vasco T. Vasconcelos Computer Science Springer Details
Trust, Privacy and Security in Digital Business Costas Lambrinoudakis, Günther Pernul, A Min Tjoa Computer Science Springer Details
Grid Economics and Business Models Daniel J. Veit, Jörn Altmann Computer Science Springer Details
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation Nadine Azémard, Lars Svensson Computer Science Springer Details
Electronic Government Maria A. Wimmer, Jochen Scholl, Åke Grönlund Computer Science Springer Details
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Thomas Stützle, Mauro Birattari, Holger H. Hoos Computer Science Springer Details
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies Bo Chen, Mike Paterson, Guochuan Zhang Computer Science Springer Details
Mathematical Foundations of Computer Science 2007 Lud?k Ku?era, Antonín Ku?era Computer Science Springer Details
Coordination, Organizations, Institutions, and Norms in Agent Systems II Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson Computer Science Springer Details
Selected Areas in Cryptography Eli Biham, Amr M. Youssef Computer Science Springer Details
Types for Proofs and Programs Thorsten Altenkirch, Conor McBride Computer Science Springer Details
Euro-Par 2007 Parallel Processing Anne-Marie Kermarrec, Luc Bougé, Thierry Priol Computer Science Springer Details
Database and Expert Systems Applications Roland Wagner, Norman Revell, Günther Pernul 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