Welcome to the University Library E-book Catalogue
E-book Catalogue
| Title | Author | Subject | Publisher | Action |
| Automated Deduction in Geometry | Hoon Hong, Dongming Wang | Computer Science | Springer | Details |
| Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Marc P. C. Fossorier, Hideki Imai, Shu Lin, Alain Poli | Computer Science | Springer | Details |
| Journal on Data Semantics V | Stefano Spaccapietra, Paolo Atzeni, Wesley W. Chu, Tiziana Catarci, Katia P. Sycara | Computer Science | Springer | Details |
| Types for Proofs and Programs | Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner | Computer Science | Springer | Details |
| Mathematical Knowledge Management | Michael Kohlhase | Computer Science | Springer | Details |
| Database Programming Languages | Gavin Bierman, Christoph Koch | Computer Science | Springer | Details |
| Transactions on Computational Systems Biology III | Corrado Priami, Emanuela Merelli, Pablo Gonzalez, Andrea Omicini | Computer Science | Springer | Details |
| Journal on Data Semantics IV | Stefano Spaccapietra | Computer Science | Springer | Details |
| Graph-Theoretic Concepts in Computer Science | Dieter Kratsch | Computer Science | Springer | Details |
| Information Hiding | Mauro Barni, Jordi Herrera-Joancomartí, Stefan Katzenbeisser, Fernando Pérez-González | Computer Science | Springer | Details |
| Unconventional Programming Paradigms | Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel | Computer Science | Springer | Details |
| Trustworthy Global Computing | Rocco Nicola, Davide Sangiorgi | Computer Science | Springer | Details |
| Web Engineering | David Lowe, Martin Gaedke | Computer Science | Springer | Details |
| Power-Aware Computer Systems | Babak Falsafi, T. N. VijayKumar | Computer Science | Springer | Details |
| Extreme Programming and Agile Processes in Software Engineering | Hubert Baumeister, Michele Marchesi, Mike Holcombe | Computer Science | Springer | Details |
| SDL 2005: Model Driven | Andreas Prinz, Rick Reed, Jeanne Reed | Computer Science | Springer | Details |
| Applied Cryptography and Network Security | John Ioannidis, Angelos Keromytis, Moti Yung | Computer Science | Springer | Details |
| The Semantic Web: Research and Applications | Asunción Gómez-Pérez, Jérôme Euzenat | Computer Science | Springer | Details |
| Journal on Data Semantics III | Stefano Spaccapietra, Esteban Zimányi | Computer Science | Springer | Details |
| Formal Methods for Open Object-Based Distributed Systems | Martin Steffen, Gianluigi Zavattaro | Computer Science | Springer | Details |
| Applications and Theory of Petri Nets 2005 | Gianfranco Ciardo, Philippe Darondeau | Computer Science | Springer | Details |
| Combinatorial Pattern Matching | Alberto Apostolico, Maxime Crochemore, Kunsoo Park | Computer Science | Springer | Details |
| Image Analysis | Heikki Kalviainen, Jussi Parkkinen, Arto Kaarna | Computer Science | Springer | Details |
| Multiple Classifier Systems | Nikunj C. Oza, Robi Polikar, Josef Kittler, Fabio Roli | Computer Science | Springer | Details |
| Theory and Applications of Satisfiability Testing | Holger H. Hoos, David G. Mitchell | Computer Science | Springer | Details |
| Distributed Applications and Interoperable Systems | Lea Kutvonen, Nancy Alonistioti | Computer Science | Springer | Details |
| Principles of Distributed Systems | Teruo Higashino | Computer Science | Springer | Details |
| Public Key Infrastructure | David Chadwick, Gansen Zhao | Computer Science | Springer | Details |
| Computational Intelligence and Security | Yue Hao, Jiming Liu, Yu-Ping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao | Computer Science | Springer | Details |
| Computational Intelligence and Security | Yue Hao, Jiming Liu, Yuping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao | Computer Science | Springer | Details |
| Languages and Compilers for Parallel Computing | Bill Pugh, Chau-Wen Tseng | Computer Science | Springer | Details |
| Socionics | Klaus Fischer, Michael Florian, Thomas Malsch | Computer Science | Springer | Details |
| Component-Based Software Development for Embedded Systems | Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper | Computer Science | Springer | Details |
| Security and Privacy in Ad-hoc and Sensor Networks | Refik Molva, Gene Tsudik, Dirk Westhoff | Computer Science | Springer | Details |
| Formal Modeling and Analysis of Timed Systems | Paul Pettersson, Wang Yi | Computer Science | Springer | Details |
| Job Scheduling Strategies for Parallel Processing | Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn | Computer Science | Springer | Details |
| New Algorithms for Macromolecular Simulation | Benedict Leimkuhler, Christophe Chipot, Ron Elber, Aatto Laaksonen, Alan Mark, Tamar Schlick, Christoph Schütte, Robert Skeel | Computer Science | Springer | Details |
| Professional Knowledge Management | Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer | Computer Science | Springer | Details |
| Advances in Biometrics | David Zhang, Anil K. Jain | Computer Science | Springer | Details |
| Verification, Model Checking, and Abstract Interpretation | E. Allen Emerson, Kedar S. Namjoshi | Computer Science | Springer | Details |
| Audio- and Video-Based Biometric Person Authentication | Takeo Kanade, Anil Jain, Nalini K. Ratha | Computer Science | Springer | Details |
| Product Focused Software Process Improvement | Frank Bomarius, Seija Komi-Sirviö | Computer Science | Springer | Details |
| Detection of Intrusions and Malware, and Vulnerability Assessment | Klaus Julisch, Christopher Kruegel | Computer Science | Springer | Details |
| Progress in Artificial Intelligence | Carlos Bento, Amílcar Cardoso, Gaël Dias | Computer Science | Springer | Details |
| Architecting Dependable Systems III | Rogério Lemos, Cristina Gacek, Alexander Romanovsky | Computer Science | Springer | Details |
| Logic for Programming, Artificial Intelligence, and Reasoning | Geoff Sutcliffe, Andrei Voronkov | Computer Science | Springer | Details |
| Intelligent Technologies for Interactive Entertainment | Mark Maybury, Oliviero Stock, Wolfgang Wahlster | Computer Science | Springer | Details |
| AI 2005: Advances in Artificial Intelligence | Shichao Zhang, Ray Jarvis | Computer Science | Springer | Details |
| MICAI 2005: Advances in Artificial Intelligence | Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín | Computer Science | Springer | Details |
| Data Management in a Connected World | Theo Härder, Wolfgang Lehner | Computer Science | Springer | Details |
| Intelligent Techniques for Web Personalization | Bamshad Mobasher, Sarabjot Singh Anand | Computer Science | Springer | Details |
| Agents and Peer-to-Peer Computing | Gianluca Moro, Sonia Bergamaschi, Karl Aberer | Computer Science | Springer | Details |
| Biological and Medical Data Analysis | José Luís Oliveira, Víctor Maojo, Fernando Martín-Sánchez, António Sousa Pereira | Computer Science | Springer | Details |
| Quality of Service ? IWQoS 2005 | Hermann Meer, Nina Bhatti | Computer Science | Springer | Details |
| Transactions on Computational Systems Biology II | Corrado Priami, Alexander Zelikovsky | Computer Science | Springer | Details |
| Embedded Computer Systems: Architectures, Modeling, and Simulation | Timo D. Hämäläinen, Andy D. Pimentel, Jarmo Takala, Stamatis Vassiliadis | Computer Science | Springer | Details |
| Knowledge Discovery in Databases: PKDD 2005 | Alípio Mário Jorge, Luís Torgo, Pavel Brazdil, Rui Camacho, João Gama | Computer Science | Springer | Details |
| Reliable Software Technology ? Ada-Europe 2005 | Tullio Vardanega, Andy Wellings | Computer Science | Springer | Details |
| Graph Drawing | Patrick Healy, Nikola S. Nikolov | Computer Science | Springer | Details |
| Fast Software Encryption | Henri Gilbert, Helena Handschuh | Computer Science | Springer | Details |
| Distributed Computing in Sensor Systems | Viktor K. Prasanna, Sitharama S. Iyengar, Paul G. Spirakis, Matt Welsh | Computer Science | Springer | Details |
| Mechanisms, Symbols, and Models Underlying Cognition | José Mira, José R. Álvarez | Computer Science | Springer | Details |
| Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach | José Mira, José R. Álvarez | Computer Science | Springer | Details |
| Advanced Distributed Systems | Félix F. Ramos, Victor Larios Rosillo, Herwig Unger | Computer Science | Springer | Details |
| Reasoning Web | Norbert Eisinger, Jan Ma?uszy?ski | Computer Science | Springer | Details |
| Information Processing in Medical Imaging | Gary E. Christensen, Milan Sonka | Computer Science | Springer | Details |
| Database: Enterprise, Skills and Innovation | Mike Jackson, David Nelson, Sue Stirk | Computer Science | Springer | Details |
| Image and Video Retrieval | Wee-Kheng Leow, Michael S. Lew, Tat-Seng Chua, Wei-Ying Ma, Lekha Chaisorn, Erwin M. Bakker | Computer Science | Springer | Details |
| Theory and Applications of Satisfiability Testing | Fahiem Bacchus, Toby Walsh | Computer Science | Springer | Details |
| Financial Cryptography and Data Security | Andrew S. Patrick, Moti Yung | Computer Science | Springer | Details |
| Developments in Language Theory | Clelia Felice, Antonio Restivo | Computer Science | Springer | Details |
| Logic Based Program Synthesis and Transformation | Sandro Etalle | Computer Science | Springer | Details |
| Information Security and Privacy | Colin Boyd, Juan Manuel González Nieto | Computer Science | Springer | Details |
| Practical Aspects of Declarative Languages | Pascal Hentenryck | Computer Science | Springer | Details |
| Computer Aided Verification | Kousha Etessami, Sriram K. Rajamani | 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
Loading...