Title | Author | Subject | Publisher | Action |
Descriptional Complexity of Formal Systems | Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin | Computer Science | Springer | Details |
Computational Processing of the Portuguese Language | Jorge Baptista, Nuno Mamede, Sara Candeias, Ivandré Paraboni, Thiago A. S. Pardo, Maria das Graças Volpe Nunes | Computer Science | Springer | Details |
Computational Logic in Multi-Agent Systems | Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos | Computer Science | Springer | Details |
Intelligent Virtual Agents | Timothy Bickmore, Stacy Marsella, Candace Sidner | Computer Science | Springer | Details |
Trust, Privacy, and Security in Digital Business | Claudia Eckert, Sokratis K. Katsikas, Günther Pernul | Computer Science | Springer | Details |
Dynamic Quality Management for Cloud Labor Services | Robert Kern | Computer Science | Springer | Details |
Autonomy Requirements Engineering for Space Missions | Emil Vassev, Mike Hinchey | Computer Science | Springer | Details |
Advances in Information and Computer Security | Maki Yoshida, Koichi Mouri | Computer Science | Springer | Details |
Linked Open Data -- Creating Knowledge Out of Interlinked Data | Sören Auer, Volha Bryl, Sebastian Tramp | Computer Science | Springer | Details |
Rules on the Web. From Theory to Applications | Antonis Bikakis, Paul Fodor, Dumitru Roman | Computer Science | Springer | Details |
Euro-Par 2014 Parallel Processing | Fernando Silva, Inês Dutra, Vítor Santos Costa | Computer Science | Springer | Details |
Practical Analysis of Algorithms | Dana Vrajitoru, William Knight | Computer Science | Springer | Details |
Brain Informatics and Health | Dominik ?le?zak, Ah-Hwee Tan, James F. Peters, Lars Schwabe | Computer Science | Springer | Details |
Active Media Technology | Dominik ?le?zak, Gerald Schaefer, Son T. Vuong, Yoo-Sung Kim | Computer Science | Springer | Details |
A Rigorous Semantics for BPMN 2.0 Process Diagrams | Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe | Computer Science | Springer | Details |
Search-Based Software Engineering | Claire Goues, Shin Yoo | Computer Science | Springer | Details |
Swarm Intelligence | Marco Dorigo, Mauro Birattari, Simon Garnier, Heiko Hamann, Marco Montes de Oca, Christine Solnon, Thomas Stützle | Computer Science | Springer | Details |
Discrete Geometry for Computer Imagery | Elena Barcucci, Andrea Frosini, Simone Rinaldi | Computer Science | Springer | Details |
Informatics in Schools. Teaching and Learning Perspectives | Yasemin Gülbahar, Erinç Karata? | Computer Science | Springer | Details |
Languages and Compilers for Parallel Computing | C?lin Ca?caval, Pablo Montesinos | Computer Science | Springer | Details |
Software Architecture | Paris Avgeriou, Uwe Zdun | Computer Science | Springer | Details |
Brain-Computer Interface Research | Christoph Guger, Theresa Vaughan, Brendan Allison | Computer Science | Springer | Details |
Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications | Yongjie Jessica Zhang, João Manuel R. S. Tavares | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Yukiko Nakano, Ken Satoh, Daisuke Bekki | Computer Science | Springer | Details |
Data Management in Cloud, Grid and P2P Systems | Abdelkader Hameurlain, Tran Khanh Dang, Franck Morvan | Computer Science | Springer | Details |
Database and Expert Systems Applications | Hendrik Decker, Lenka Lhotská, Sebastian Link, Marcus Spies, Roland R. Wagner | Computer Science | Springer | Details |
Foundations of Security Analysis and Design VII | Alessandro Aldini, Javier Lopez, Fabio Martinelli | Computer Science | Springer | Details |
Database and Expert Systems Applications | Hendrik Decker, Lenka Lhotská, Sebastian Link, Marcus Spies, Roland R. Wagner | Computer Science | Springer | Details |
Enterprise Information Systems Engineering | Monique Snoeck | Computer Science | Springer | Details |
Agile Anywhere | Orit Hazzan, Yael Dubinsky | Computer Science | Springer | Details |
Data Warehousing and Knowledge Discovery | Ladjel Bellatreche, Mukesh K. Mohania | Computer Science | Springer | Details |
Collaboration and Technology | Nelson Baloian, Frada Burstein, Hiroaki Ogata, Flavia Santoro, Gustavo Zurita | Computer Science | Springer | Details |
Business Process Management | Shazia Sadiq, Pnina Soffer, Hagen Völzer | Computer Science | Springer | Details |
Constructive Side-Channel Analysis and Secure Design | Emmanuel Prouff | Computer Science | Springer | Details |
Electronic Government and the Information Systems Perspective | Andrea K?, Enrico Francesconi | Computer Science | Springer | Details |
Integrated Formal Methods | Elvira Albert, Emil Sekerinski | Computer Science | Springer | Details |
Safe and Secure Cities | Kaija Saranto, Maaret Castrén, Tiina Kuusela, Sami Hyrynsalmi, Stina Ojala | Computer Science | Springer | Details |
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation | Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond | Computer Science | Springer | Details |
Controlled Natural Language | Brian Davis, Kaarel Kaljurand, Tobias Kuhn | Computer Science | Springer | Details |
Multiple Access Communications | Magnus Jonsson, Alexey Vinel, Boris Bellalta, Evgeny Belyaev | Computer Science | Springer | Details |
Information Technology in Bio- and Medical Informatics | Miroslav Bursa, Sami Khuri, M. Elena Renda | Computer Science | Springer | Details |
Computational Movement Analysis | Patrick Laube | Computer Science | Springer | Details |
Smart Grid Security | Jorge Cuellar | Computer Science | Springer | Details |
Wireless Communications Networks for the Smart Grid | Quang-Dung Ho, Yue Gao, Gowdemy Rajalingham, Tho Le-Ngoc | Computer Science | Springer | Details |
Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy | Computer Science | Springer | Details |
Mobile Web Information Systems | Irfan Awan, Muhammad Younas, Xavier Franch, Carme Quer | Computer Science | Springer | Details |
Touchless Palmprint Recognition Systems | Angelo Genovese, Vincenzo Piuri, Fabio Scotti | Computer Science | Springer | Details |
Automated Firewall Analytics | Ehab Al-Shaer | Computer Science | Springer | Details |
Cybersecurity Systems for Human Cognition Augmentation | Robinson E. Pino, Alexander Kott, Michael Shevenell | Computer Science | Springer | Details |
Measuring Scholarly Impact | Ying Ding, Ronald Rousseau, Dietmar Wolfram | Computer Science | Springer | Details |
Formal Methods in Macro-Biology | François Fages, Carla Piazza | Computer Science | Springer | Details |
Advances in Autonomous Robotics Systems | Michael Mistry, Aleš Leonardis, Mark Witkowski, Chris Melhuish | Computer Science | Springer | Details |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014 | Polina Golland, Nobuhiko Hata, Christian Barillot, Joachim Hornegger, Robert Howe | Computer Science | Springer | Details |
Principles and Practice of Constraint Programming | Barry O’Sullivan | Computer Science | Springer | Details |
Software Engineering and Formal Methods | Dimitra Giannakopoulou, Gwen Salaün | Computer Science | Springer | Details |
Augmented Environments for Computer-Assisted Interventions | Cristian A. Linte, Ziv Yaniv, Pascal Fallavollita, Purang Abolmaesumi, David R. Holmes | Computer Science | Springer | Details |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014 | Polina Golland, Nobuhiko Hata, Christian Barillot, Joachim Hornegger, Robert Howe | Computer Science | Springer | Details |
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014 | Polina Golland, Nobuhiko Hata, Christian Barillot, Joachim Hornegger, Robert Howe | Computer Science | Springer | Details |
Blind Image Deconvolution | Subhasis Chaudhuri, Rajbabu Velmurugan, Renu Rameshan | Computer Science | Springer | Details |
E-Commerce and Web Technologies | Martin Hepp, Yigal Hoffner | Computer Science | Springer | Details |
Computer Safety, Reliability, and Security | Andrea Bondavalli, Felicita Di Giandomenico | Computer Science | Springer | Details |
Formal Modeling and Analysis of Timed Systems | Axel Legay, Marius Bozga | Computer Science | Springer | Details |
Computer Algebra in Scientific Computing | Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov | Computer Science | Springer | Details |
Cloud Computing | Zaigham Mahmood | Computer Science | Springer | Details |
Concrete Semantics | Tobias Nipkow, Gerwin Klein | Computer Science | Springer | Details |
Artificial Intelligence: Methodology, Systems, and Applications | Gennady Agre, Pascal Hitzler, Adila A. Krisnadhi, Sergei O. Kuznetsov | Computer Science | Springer | Details |
Computer Safety, Reliability, and Security | Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier | Computer Science | Springer | Details |
Computer Vision – ECCV 2014 | David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars | Computer Science | Springer | Details |
Machine Learning in Medical Imaging | Guorong Wu, Daoqiang Zhang, Luping Zhou | Computer Science | Springer | Details |
Computer Vision – ECCV 2014 | David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars | Computer Science | Springer | Details |
Reasoning Web. Reasoning on the Web in the Big Data Era | Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum | Computer Science | Springer | Details |
Computer Vision – ECCV 2014 | David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars | Computer Science | Springer | Details |
Computer Vision – ECCV 2014 | David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars | Computer Science | Springer | Details |
Advancing Big Data Benchmarks | Tilmann Rabl, Nambiar Raghunath, Meikel Poess, Milind Bhandarkar, Hans-Arno Jacobsen, Chaitanya Baru | Computer Science | Springer | Details |
Computer Vision – ECCV 2014 | David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars | 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