Title | Author | Subject | Publisher | Action |
Service-Oriented and Cloud Computing | Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel | Computer Science | Springer | Details |
Enterprise Information Systems | José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe | Computer Science | Springer | Details |
Introduction to Public Key Infrastructures | Johannes A. Buchmann, Evangelos Karatsiolis, Alexander Wiesmaier | Computer Science | Springer | Details |
Algebraic Informatics | Traian Muntean, Dimitrios Poulakis, Robert Rolland | Computer Science | Springer | Details |
Progress in Artificial Intelligence | Luís Correia, Luís Paulo Reis, José Cascalho | Computer Science | Springer | Details |
Automated Deduction in Geometry | Tetsuo Ida, Jacques Fleuriot | Computer Science | Springer | Details |
Advances in Databases and Information Systems | Barbara Catania, Giovanna Guerrini, Jaroslav Pokorný | Computer Science | Springer | Details |
OpenMP in the Era of Low Power Devices and Accelerators | Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller | Computer Science | Springer | Details |
Partially Supervised Learning | Zhi-Hua Zhou, Friedhelm Schwenker | Computer Science | Springer | Details |
Computational Methods in Systems Biology | Ashutosh Gupta, Thomas A. Henzinger | Computer Science | Springer | Details |
Language Processing and Knowledge in the Web | Iryna Gurevych, Chris Biemann, Torsten Zesch | Computer Science | Springer | Details |
Computer Performance Engineering | Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin | Computer Science | Springer | Details |
Artificial Neural Networks and Machine Learning – ICANN 2013 | Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov | Computer Science | Springer | Details |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 | Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab | Computer Science | Springer | Details |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 | Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab | Computer Science | Springer | Details |
Flexible Query Answering Systems | Henrik Legind Larsen, Maria J. Martin-Bautista, María Amparo Vila, Troels Andreasen, Henning Christiansen | Computer Science | Springer | Details |
Multiagent System Technologies | Matthias Klusch, Matthias Thimm, Marcin Paprzycki | Computer Science | Springer | Details |
Communications and Multimedia Security | Bart Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer | Computer Science | Springer | Details |
Runtime Verification | Axel Legay, Saddek Bensalem | Computer Science | Springer | Details |
Serious Games Development and Applications | Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge | Computer Science | Springer | Details |
Computer Safety, Reliability, and Security | Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche | Computer Science | Springer | Details |
Enterprise Systems Integration | Diogo R. Ferreira | Computer Science | Springer | Details |
Information Access Evaluation. Multilinguality, Multimodality, and Visualization | Pamela Forner, Henning Müller, Roberto Paredes, Paolo Rosso, Benno Stein | Computer Science | Springer | Details |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 | Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab | Computer Science | Springer | Details |
Scaling up Learning for Sustained Impact | Davinia Hernández-Leo, Tobias Ley, Ralf Klamma, Andreas Harrer | Computer Science | Springer | Details |
Network and Parallel Computing | Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng | Computer Science | Springer | Details |
Perspectives in Business Informatics Research | Andrzej Kobyli?ski, Andrzej Sobczak | Computer Science | Springer | Details |
Cooperative Design, Visualization, and Engineering | Yuhua Luo | Computer Science | Springer | Details |
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions | Hongen Liao, Cristian A. Linte, Ken Masamune, Terry M. Peters, Guoyan Zheng | Computer Science | Springer | Details |
Hybrid Artificial Intelligent Systems | Jeng-Shyang Pan, Marios M. Polycarpou, Micha? Wo?niak, André C. P. L. F. Carvalho, Héctor Quintián, Emilio Corchado | Computer Science | Springer | Details |
Intelligent Robotics and Applications | Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu | Computer Science | Springer | Details |
Intelligent Robotics and Applications | Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu | Computer Science | Springer | Details |
Information Systems: Development, Learning, Security | Stanis?aw Wrycza | Computer Science | Springer | Details |
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets | Esther David, Christopher Kiekintveld, Valentin Robu, Onn Shehory, Sebastian Stein | Computer Science | Springer | Details |
Cellular Automata and Discrete Complex Systems | Jarkko Kari, Martin Kutrib, Andreas Malcher | Computer Science | Springer | Details |
Frontiers of Combining Systems | Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt | Computer Science | Springer | Details |
Software Engineering for Resilient Systems | Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko | Computer Science | Springer | Details |
Discovery Science | Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi | Computer Science | Springer | Details |
Data-Driven Process Discovery and Analysis | Philippe Cudre-Mauroux, Paolo Ceravolo, Dragan Gaševi? | Computer Science | Springer | Details |
Programming Languages | André Rauber Bois, Phil Trinder | Computer Science | Springer | Details |
Computer Information Systems and Industrial Management | Khalid Saeed, Rituparna Chaki, Agostino Cortesi, S?awomir Wierzcho? | Computer Science | Springer | Details |
Algorithmic Learning Theory | Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann | Computer Science | Springer | Details |
KI 2013: Advances in Artificial Intelligence | Ingo J. Timm, Matthias Thimm | Computer Science | Springer | Details |
Logic, Rationality, and Interaction | Davide Grossi, Olivier Roy, Huaxin Huang | Computer Science | Springer | Details |
Advances in Global Sourcing. Models, Governance, and Relationships | Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks | Computer Science | Springer | Details |
Modeling and Using Context | Patrick Brézillon, Patrick Blackburn, Richard Dapoigny | Computer Science | Springer | Details |
Machine Learning and Knowledge Discovery in Databases | Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný | Computer Science | Springer | Details |
Machine Learning and Knowledge Discovery in Databases | Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný | Computer Science | Springer | Details |
Machine Learning and Knowledge Discovery in Databases | Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný | Computer Science | Springer | Details |
Formal Methods for Industrial Critical Systems | Charles Pecheur, Michael Dierkes | Computer Science | Springer | Details |
Engineering Applications of Neural Networks | Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne | Computer Science | Springer | Details |
Engineering Applications of Neural Networks | Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne | Computer Science | Springer | Details |
Computational Logistics | Dario Pacino, Stefan Voß, Rune Møller Jensen | Computer Science | Springer | Details |
On the Move to Meaningful Internet Systems: OTM 2013 Conferences | Robert Meersman, Hervé Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter Leenheer, Deijing Dou | Computer Science | Springer | Details |
On the Move to Meaningful Internet Systems: OTM 2013 Workshops | Yan Tang Demey, Hervé Panetto | Computer Science | Springer | Details |
Reachability Problems | Parosh Aziz Abdulla, Igor Potapov | Computer Science | Springer | Details |
Evaluating AAL Systems Through Competitive Benchmarking | Juan A. Botía, Juan Antonio Álvarez-García, Kaori Fujinami, Paolo Barsocchi, Till Riedel | Computer Science | Springer | Details |
Wireless Sensor Networks for Developing Countries | Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah | Computer Science | Springer | Details |
Multidisciplinary Information Retrieval | Mihai Lupu, Evangelos Kanoulas, Fernando Loizides | Computer Science | Springer | Details |
Similarity Search and Applications | Nieves Brisaboa, Oscar Pedreira, Pavel Zezula | Computer Science | Springer | Details |
Haptic and Audio Interaction Design | Ian Oakley, Stephen Brewster | Computer Science | Springer | Details |
Formal Methods: Foundations and Applications | Juliano Iyoda, Leonardo Moura | Computer Science | Springer | Details |
Decision Support Systems II - Recent Developments Applied to DSS Network Environments | Jorge E. Hernández, Shaofeng Liu, Boris Delibaši?, Pascale Zaraté, Fátima Dargam, Rita Ribeiro | Computer Science | Springer | Details |
Abdominal Imaging. Computation and Clinical Applications | Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier | Computer Science | Springer | Details |
Security and Trust Management | Rafael Accorsi, Silvio Ranise | Computer Science | Springer | Details |
Entertainment Computing – ICEC 2013 | Junia C. Anacleto, Esteban W. G. Clua, Flavio S. Correa Silva, Sidney Fels, Hyun S. Yang | Computer Science | Springer | Details |
Time and Petri Nets | Louchka Popova-Zeugmann | Computer Science | Springer | Details |
Empirical Inference | Bernhard Schölkopf, Zhiyuan Luo, Vladimir Vovk | Computer Science | Springer | Details |
Artificial Intelligence Applications and Innovations | Harris Papadopoulos, Andreas S. Andreou, Lazaros Iliadis, Ilias Maglogiannis | Computer Science | Springer | Details |
Human Work Interaction Design. Work Analysis and HCI | Pedro Campos, Torkil Clemmensen, José Abdelnour Nocera, Dinesh Katre, Arminda Lopes, Rikke Ørngreen | Computer Science | Springer | Details |
Advances in Digital Forensics IX | Gilbert Peterson, Sujeet Shenoi | Computer Science | Springer | Details |
Environmental Software Systems. Fostering Information Sharing | Ji?í H?ebí?ek, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli | Computer Science | Springer | Details |
Web Information Systems Engineering – WISE 2013 | Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang | Computer Science | Springer | Details |
Trustworthy Global Computing | Catuscia Palamidessi, Mark D. Ryan | Computer Science | Springer | Details |
Advances in Web-Based Learning – ICWL 2013 | Jhing-Fa Wang, Rynson Lau | 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