Title | Author | Subject | Publisher | Action |
Foundations of Computational Linguistics | Roland Hausser | Computer Science | Springer | Details |
Language Processing with Perl and Prolog | Pierre M. Nugues | Computer Science | Springer | Details |
Situational Method Engineering | Brian Henderson-Sellers, Jolita Ralyté, Pär J. Ågerfalk, Matti Rossi | Computer Science | Springer | Details |
Advanced Computational Approaches to Biomedical Engineering | Punam K. Saha, Ujjwal Maulik, Subhadip Basu | Computer Science | Springer | Details |
Recommendation Systems in Software Engineering | Martin P. Robillard, Walid Maalej, Robert J. Walker, Thomas Zimmermann | Computer Science | Springer | Details |
Distributed Computing and Networking | Mainak Chatterjee, Jian-nong Cao, Kishore Kothapalli, Sergio Rajsbaum | Computer Science | Springer | Details |
Language, Culture, Computation. Computing - Theory and Technology | Nachum Dershowitz, Ephraim Nissan | Computer Science | Springer | Details |
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives | Nachum Dershowitz, Ephraim Nissan | Computer Science | Springer | Details |
Language, Culture, Computation. Computational Linguistics and Linguistics | Nachum Dershowitz, Ephraim Nissan | Computer Science | Springer | Details |
Apprendre et maîtriser LabVIEW par ses applications | Nadia Martaj, Mohand Mokhtari | Computer Science | Springer | Details |
Trends in Functional Programming | Jay McCarthy | Computer Science | Springer | Details |
Algorithms for Sensor Systems | Paola Flocchini, Jie Gao, Evangelos Kranakis, Friedhelm Meyer auf der Heide | Computer Science | Springer | Details |
Evolving Software Systems | Tom Mens, Alexander Serebrenik, Anthony Cleve | Computer Science | Springer | Details |
Image and Video Technology | Reinhard Klette, Mariano Rivera, Shin’ichi Satoh | Computer Science | Springer | Details |
Image and Video Technology – PSIVT 2013 Workshops | Fay Huang, Akihiro Sugimoto | Computer Science | Springer | Details |
Foundations of Health Information Engineering and Systems | Jeremy Gibbons, Wendy MacCaull | Computer Science | Springer | Details |
Parallel Computational Fluid Dynamics | Kenli Li, Zheng Xiao, Yan Wang, Jiayi Du, Keqin Li | Computer Science | Springer | Details |
Specifying Big Data Benchmarks | Tilmann Rabl, Meikel Poess, Chaitanya Baru, Hans-Arno Jacobsen | Computer Science | Springer | Details |
Public Key Infrastructures, Services and Applications | Sokratis Katsikas, Isaac Agudo | Computer Science | Springer | Details |
Verification, Model Checking, and Abstract Interpretation | Kenneth L. McMillan, Xavier Rival | Computer Science | Springer | Details |
Privacy Technologies and Policy | Bart Preneel, Demosthenes Ikonomou | Computer Science | Springer | Details |
Verified Software: Theories, Tools, Experiments | Ernie Cohen, Andrey Rybalchenko | Computer Science | Springer | Details |
Collaborative Design for Embedded Systems | John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef | Computer Science | Springer | Details |
Biomedical Informatics and Technology | Tuan D. Pham, Kazuhisha Ichikawa, Mayumi Oyama-Higa, Danny Coomans, Xiaoyi Jiang | Computer Science | Springer | Details |
Self-Organizing Systems | Wilfried Elmenreich, Falko Dressler, Vittorio Loreto | Computer Science | Springer | Details |
Practitioner's Knowledge Representation | Emilia Mendes | Computer Science | Springer | Details |
Transactions on Computational Science XXII | Marina L. Gavrilova, C. J. Kenneth Tan | Computer Science | Springer | Details |
Membrane Computing | Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa | Computer Science | Springer | Details |
Theory of Cryptography | Yehuda Lindell | Computer Science | Springer | Details |
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges | Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young | Computer Science | Springer | Details |
Solving the Dynamic Complexity Dilemma | Nabil Abu el Ata, Maurice J. Perks | Computer Science | Springer | Details |
Mobile Social Signal Processing | Roderick Murray-Smith | Computer Science | Springer | Details |
Digital Communication | Christoph Meinel, Harald Sack | Computer Science | Springer | Details |
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability | Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos | Computer Science | Springer | Details |
Computer and Computing Technologies in Agriculture VII | Daoliang Li, Yingyi Chen | Computer Science | Springer | Details |
Computer and Computing Technologies in Agriculture VII | Daoliang Li, Yingyi Chen | Computer Science | Springer | Details |
Bridging Between Cultural Heritage Institutions | Tiziana Catarci, Nicola Ferro, Antonella Poggi | Computer Science | Springer | Details |
Web Information Systems Engineering – WISE 2013 Workshops | Zhisheng Huang, Chengfei Liu, Jing He, Guangyan Huang | Computer Science | Springer | Details |
Theory and Applications of Formal Argumentation | Elizabeth Black, Sanjay Modgil, Nir Oren | Computer Science | Springer | Details |
Mathematical Methods for Curves and Surfaces | Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker | Computer Science | Springer | Details |
Euro-Par 2013: Parallel Processing Workshops | Dieter Mey, Michael Alexander, Paolo Bientinesi, Mario Cannataro, Carsten Clauss, Alexandru Costan, Gabor Kecskemeti, Christine Morin, Laura Ricci, Julio Sahuquillo, Martin Schulz, Vittorio Scarano, Stephen L. Scott, Josef Weidendorfer | Computer Science | Springer | Details |
LATIN 2014: Theoretical Informatics | Alberto Pardo, Alfredo Viola | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIII | Abdelkader Hameurlain, Josef Küng, Roland Wagner | Computer Science | Springer | Details |
Theory of Quantum Computation, Communication, and Cryptography | Dave Bacon, Miguel Martin-Delgado, Martin Roetteler | Computer Science | Springer | Details |
Agent-Oriented Software Engineering | Onn Shehory, Arnon Sturm | Computer Science | Springer | Details |
Transactions on Computational Intelligence XIII | Ngoc-Thanh Nguyen, Hoai An Le-Thi | Computer Science | Springer | Details |
Algebraic and Algorithmic Aspects of Differential and Integral Operators | Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz | Computer Science | Springer | Details |
Advances in Wireless Sensor Networks | Limin Sun, Huadong Ma, Feng Hong | Computer Science | Springer | Details |
Recent Trends in Computer Networks and Distributed Systems Security | Gregorio Martínez Pérez, Sabu M. Thampi, Ryan Ko, Lei Shu | Computer Science | Springer | Details |
Data Privacy Management and Autonomous Spontaneous Security | Joaquin Garcia-Alfaro, Georgios Lioudakis, Nora Cuppens-Boulahia, Simon Foley, William M. Fitzgerald | Computer Science | Springer | Details |
Specification, Algebra, and Software | Shusaku Iida, José Meseguer, Kazuhiro Ogata | Computer Science | Springer | Details |
Public-Key Cryptography – PKC 2014 | Hugo Krawczyk | Computer Science | Springer | Details |
Data Warehouse Systems | Alejandro Vaisman, Esteban Zimányi | Computer Science | Springer | Details |
Technological Innovation for Collective Awareness Systems | Luis M. Camarinha-Matos, Nuno S. Barrento, Ricardo Mendonça | Computer Science | Springer | Details |
Transactions on Rough Sets XVII | James F. Peters, Andrzej Skowron | Computer Science | Springer | Details |
Efficient Algorithms for Global Optimization Methods in Computer Vision | Andrés Bruhn, Thomas Pock, Xue-Cheng Tai | Computer Science | Springer | Details |
Multi-Agent-Based Simulation XIV | Shah Jamal Alam, H. Van Dyke Parunak | Computer Science | Springer | Details |
Categories and Types in Logic, Language, and Physics | Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott | Computer Science | Springer | Details |
Principles of Security and Trust | Martín Abadi, Steve Kremer | Computer Science | Springer | Details |
Bridging Between Information Retrieval and Databases | Nicola Ferro | Computer Science | Springer | Details |
Fundamental Approaches to Software Engineering | Stefania Gnesi, Arend Rensink | Computer Science | Springer | Details |
Compiler Construction | Albert Cohen | Computer Science | Springer | Details |
Foundations of Software Science and Computation Structures | Anca Muscholl | Computer Science | Springer | Details |
Programming Languages and Systems | Zhong Shao | Computer Science | Springer | Details |
From Programs to Systems. The Systems perspective in Computing | Saddek Bensalem, Yassine Lakhneck, Axel Legay | Computer Science | Springer | Details |
Tools and Algorithms for the Construction and Analysis of Systems | Erika Ábrahám, Klaus Havelund | Computer Science | Springer | Details |
Building Bridges: HCI, Visualization, and Non-formal Modeling | Achim Ebert, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon, Inga Scheler | Computer Science | Springer | Details |
Artificial Intelligence for Knowledge Management | Eunika Mercier-Laurent, Danielle Boulanger | Computer Science | Springer | Details |
Computational Linguistics and Intelligent Text Processing | Alexander Gelbukh | Computer Science | Springer | Details |
Computational Linguistics and Intelligent Text Processing | Alexander Gelbukh | Computer Science | Springer | Details |
Quantum Interaction | Harald Atmanspacher, Emmanuel Haven, Kirsty Kitto, Derek Raine | Computer Science | Springer | Details |
Agile Kaizen | Ángel Medinilla | Computer Science | Springer | Details |
Traffic Monitoring and Analysis | Alberto Dainotti, Anirban Mahanti, Steve Uhlig | Computer Science | Springer | Details |
Information and Communication Technology | Linawati, Made Sudiana Mahendra, Erich J. Neuhold, A Min Tjoa, Ilsun You | Computer Science | Springer | Details |
Software Project Management in a Changing World | Günther Ruhe, Claes Wohlin | 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