Title | Author | Subject | Publisher | Action |
Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction | Julie A. Jacko | Computer Science | Springer | Details |
Human-Computer Interaction. Interacting in Various Application Domains | Julie A. Jacko | Computer Science | Springer | Details |
Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
Intelligent Computer Mathematics | Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt | Computer Science | Springer | Details |
Advances in Information Security and Assurance | Jong Hyuk Park, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Changhoon Lee, Tai-hoon Kim, Sang-Soo Yeo | Computer Science | Springer | Details |
Information Security and Privacy | Colin Boyd, Juan González Nieto | Computer Science | Springer | Details |
Scalability of Networks and Services | Ramin Sadre, Aiko Pras | Computer Science | Springer | Details |
Advances in Information Security and Its Application | Jong Hyuk Park, Justin Zhan, Changhoon Lee, Guilin Wang, Tai-hoon Kim, Sang-Soo Yeo | Computer Science | Springer | Details |
Model Checking Software | Corina S. P?s?reanu | Computer Science | Springer | Details |
Software Composition | Alexandre Bergel, Johan Fabry | Computer Science | Springer | Details |
Computer Aided Verification | Ahmed Bouajjani, Oded Maler | Computer Science | Springer | Details |
Computer Networks | Andrzej Kwiecie?, Piotr Gaj, Piotr Stera | Computer Science | Springer | Details |
Model Driven Architecture - Foundations and Applications | Richard F. Paige, Alan Hartman, Arend Rensink | Computer Science | Springer | Details |
Autonomic and Trusted Computing | Juan González Nieto, Wolfgang Reif, Guojun Wang, Jadwiga Indulska | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Addressing Diversity | Constantine Stephanidis | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments | Constantine Stephanidis | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Applications and Services | Constantine Stephanidis | Computer Science | Springer | Details |
Automated Reasoning with Analytic Tableaux and Related Methods | Martin Giese, Arild Waaler | Computer Science | Springer | Details |
Engineering Psychology and Cognitive Ergonomics | Don Harris | Computer Science | Springer | Details |
Ergonomics and Health Aspects of Work with Computers | Ben-Tzion Karsh | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | Michael Fisher, Fariba Sadri, Michael Thielscher | Computer Science | Springer | Details |
Developments in Language Theory | Volker Diekert, Dirk Nowotka | Computer Science | Springer | Details |
Network Performance Engineering | Demetres D. Kouvatsos | Computer Science | Springer | Details |
Internationalization, Design and Global Development | Nuray Aykin | Computer Science | Springer | Details |
Virtual and Mixed Reality | Randall Shumaker | Computer Science | Springer | Details |
Online Communities and Social Computing | A. Ant Ozok, Panayiotis Zaphiris | Computer Science | Springer | Details |
Theory and Applications of Satisfiability Testing - SAT 2009 | Oliver Kullmann | Computer Science | Springer | Details |
Scientific Data Mining and Knowledge Discovery | Mohamed Medhat Gaber | Computer Science | Springer | Details |
Human Centered Design | Masaaki Kurosu | Computer Science | Springer | Details |
Digital Human Modeling | Vincent G. Duffy | Computer Science | Springer | Details |
Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience | Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen | Computer Science | Springer | Details |
Web Engineering | Martin Gaedke, Michael Grossniklaus, Oscar Díaz | Computer Science | Springer | Details |
Ubiquitous Intelligence and Computing | Daqing Zhang, Marius Portmann, Ah-Hwee Tan, Jadwiga Indulska | Computer Science | Springer | Details |
Dataspace: The Final Frontier | Alan P. Sexton | Computer Science | Springer | Details |
Logic Programming | Patricia M. Hill, David S. Warren | Computer Science | Springer | Details |
Ambient Assistive Health and Wellness Management in the Heart of the City | Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris Nugent | Computer Science | Springer | Details |
Data Integration in the Life Sciences | Norman W. Paton, Paolo Missier, Cornelia Hedeler | Computer Science | Springer | Details |
Computing and Combinatorics | Hung Q. Ngo | Computer Science | Springer | Details |
GeoSensor Networks | Niki Trigoni, Andrew Markham, Sarfraz Nawaz | Computer Science | Springer | Details |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Claudio Sossai, Gaetano Chemello | Computer Science | Springer | Details |
Detection of Intrusions and Malware, and Vulnerability Assessment | Ulrich Flegel, Danilo Bruschi | Computer Science | Springer | Details |
RoboCup 2008: Robot Soccer World Cup XII | Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou | Computer Science | Springer | Details |
Computer Performance Engineering | Jeremy T. Bradley | Computer Science | Springer | Details |
Automata, Languages and Programming | Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas | Computer Science | Springer | Details |
Automata, Languages and Programming | Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas | Computer Science | Springer | Details |
Tests and Proofs | Catherine Dubois | Computer Science | Springer | Details |
Automated Deduction ? CADE-22 | Renate A. Schmidt | Computer Science | Springer | Details |
Rough Sets and Knowledge Technology | Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang | Computer Science | Springer | Details |
Artificial Intelligence in Medicine | Carlo Combi, Yuval Shahar, Ameen Abu-Hanna | Computer Science | Springer | Details |
Implementation and Application of Automata | Sebastian Maneth | Computer Science | Springer | Details |
Advances in Spatial and Temporal Databases | Nikos Mamoulis, Thomas Seidl, Torben Bach Pedersen, Kristian Torp, Ira Assent | Computer Science | Springer | Details |
Software Engineering Approaches for Offshore and Outsourced Development | Olly Gotel, Mathai Joseph, Bertrand Meyer | Computer Science | Springer | Details |
Origins and Foundations of Computing | Friedrich L. Bauer | Computer Science | Springer | Details |
Stochastic Coalgebraic Logic | Ernst-Erich Doberkat | Computer Science | Springer | Details |
Case-Based Reasoning Research and Development | Lorraine McGinty, David C. Wilson | Computer Science | Springer | Details |
Data and Applications Security XXIII | Ehud Gudes, Jaideep Vaidya | Computer Science | Springer | Details |
ECOOP 2009 ? Object-Oriented Programming | Sophia Drossopoulou | Computer Science | Springer | Details |
Domain-Specific Languages | Walid Mohamed Taha | Computer Science | Springer | Details |
Advances in Neuro-Information Processing | Mario Köppen, Nikola Kasabov, George Coghill | Computer Science | Springer | Details |
Statistical and Geometrical Approaches to Visual Motion Analysis | Daniel Cremers, Bodo Rosenhahn, Alan L. Yuille, Frank R. Schmidt | Computer Science | Springer | Details |
Advances in Data Mining. Applications and Theoretical Aspects | Petra Perner | Computer Science | Springer | Details |
Machine Learning and Data Mining in Pattern Recognition | Petra Perner | Computer Science | Springer | Details |
Mathematical Theory and Computational Practice | Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle | Computer Science | Springer | Details |
DNA Computing | Ashish Goel, Friedrich C. Simmel, Petr Sosík | Computer Science | Springer | Details |
Conceptual Structures: Leveraging Semantic Technologies | Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov | Computer Science | Springer | Details |
Infinity in Logic and Computation | Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe | Computer Science | Springer | Details |
Algorithms and Architectures for Parallel Processing | Arrems Hua, Shih-Liang Chang | Computer Science | Springer | Details |
Journal on Data Semantics XIII | Stefano Spaccapietra, Esteban Zimányi, Il-Yeol Song | Computer Science | Springer | Details |
Education and Technology for a Better World | Arthur Tatnall, Anthony Jones | Computer Science | Springer | Details |
Modern Business Process Automation | Arthur H. M. Hofstede, Wil M. P. Aalst, Michael Adams, Nick Russell | Computer Science | Springer | Details |
Value Creation in E-Business Management | Matthew L. Nelson, Michael J. Shaw, Troy J. Strader | Computer Science | Springer | Details |
Embedded Computer Systems: Architectures, Modeling, and Simulation | Koen Bertels, Nikitas Dimopoulos, Cristina Silvano, Stephan Wong | Computer Science | Springer | Details |
Language Engineering and Rigorous Software Development | Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto | Computer Science | Springer | Details |
Privacy Enhancing Technologies | Ian Goldberg, Mikhail J. Atallah | Computer Science | Springer | Details |
Advances in Bioinformatics and Computational Biology | Katia S. Guimarães, Anna Panchenko, Teresa M. Przytycka | Computer Science | Springer | Details |
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