Title | Author | Subject | Publisher | Action |
Functional Imaging and Modeling of the Heart | Sébastien Ourselin, Daniel Rueckert, Nicolas Smith | Computer Science | Springer | Details |
Combinatorial Pattern Matching | Johannes Fischer, Peter Sanders | Computer Science | Springer | Details |
Trust and Trustworthy Computing | Michael Huth, N. Asokan, Srdjan ?apkun, Ivan Flechais, Lizzie Coles-Kemp | Computer Science | Springer | Details |
SDL 2013: Model-Driven Dependability Engineering | Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed | Computer Science | Springer | Details |
Tests and Proofs | Margus Veanes, Luca Viganò | Computer Science | Springer | Details |
Open Source Software: Quality Verification | Etiel Petrinja, Giancarlo Succi, Nabil Ioini, Alberto Sillitti | Computer Science | Springer | Details |
Typed Lambda Calculi and Applications | Masahito Hasegawa | Computer Science | Springer | Details |
Basics of Bioinformatics | Rui Jiang, Xuegong Zhang, Michael Q. Zhang | Computer Science | Springer | Details |
Global Design and Local Materialization | Jianlong Zhang, Chengyu Sun | Computer Science | Springer | Details |
Safe and Secure Software Reuse | John Favaro, Maurizio Morisio | Computer Science | Springer | Details |
Applied Cryptography and Network Security | Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini | Computer Science | Springer | Details |
Reversible Computation | Gerhard W. Dueck, D. Michael Miller | Computer Science | Springer | Details |
Pattern Recognition | Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, Joaquín Salas Rodríguez, Gabriella Sanniti Baja | Computer Science | Springer | Details |
Emerging Management Mechanisms for the Future Internet | Guillaume Doyen, Martin Waldburger, Pavel ?eleda, Anna Sperotto, Burkhard Stiller | Computer Science | Springer | Details |
Modelling Foundations and Applications | Pieter Gorp, Tom Ritter, Louis M. Rose | Computer Science | Springer | Details |
Software Architecture | Khalil Drira | Computer Science | Springer | Details |
ECOOP 2013 – Object-Oriented Programming | Giuseppe Castagna | Computer Science | Springer | Details |
The Nature of Computation. Logic, Algorithms, Applications | Paola Bonizzoni, Vasco Brattka, Benedikt Löwe | Computer Science | Springer | Details |
Case-Based Reasoning Research and Development | Sarah Jane Delany, Santiago Ontañón | Computer Science | Springer | Details |
Information Security and Privacy | Colin Boyd, Leonie Simpson | Computer Science | Springer | Details |
Human Factors in Computing and Informatics | Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc | Computer Science | Springer | Details |
Advances in Neural Networks – ISNN 2013 | Chengan Guo, Zeng-Guang Hou, Zhigang Zeng | Computer Science | Springer | Details |
Advances in Neural Networks – ISNN 2013 | Chengan Guo, Zeng-Guang Hou, Zhigang Zeng | Computer Science | Springer | Details |
Theory and Applications of Satisfiability Testing – SAT 2013 | Matti Järvisalo, Allen Van Gelder | Computer Science | Springer | Details |
Unconventional Computation and Natural Computation | Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca | Computer Science | Springer | Details |
Privacy Enhancing Technologies | Emiliano Cristofaro, Matthew Wright | Computer Science | Springer | Details |
Foundations of Health Information Engineering and Systems | Jens Weber, Isabelle Perseil | Computer Science | Springer | Details |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Linda C. Gaag | Computer Science | Springer | Details |
Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
Artificial Intelligence in Education | H. Chad Lane, Kalina Yacef, Jack Mostow, Philip Pavlik | Computer Science | Springer | Details |
Cross-Cultural Design. Cultural Differences in Everyday Life | P. L. Patrick Rau | Computer Science | Springer | Details |
Similarity-Based Pattern Recognition | Edwin Hancock, Marcello Pelillo | Computer Science | Springer | Details |
Cross-Cultural Design. Methods, Practice, and Case Studies | P. L. Patrick Rau | Computer Science | Springer | Details |
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data | Andreas Holzinger, Gabriella Pasi | Computer Science | Springer | Details |
Pattern Recognition in Bioinformatics | Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan Laarhoven | Computer Science | Springer | Details |
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport | Vincent G. Duffy | Computer Science | Springer | Details |
Model Checking Software | Ezio Bartocci, C. R. Ramakrishnan | Computer Science | Springer | Details |
Systems, Software and Services Process Improvement | Fergal McCaffery, Rory V. O’Connor, Richard Messnarz | Computer Science | Springer | Details |
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics | Vincent G. Duffy | Computer Science | Springer | Details |
E-Voting and Identify | James Heather, Steve Schneider, Vanessa Teague | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion | Constantine Stephanidis, Margherita Antona | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. User and Context Diversity | Constantine Stephanidis, Margherita Antona | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life | Constantine Stephanidis, Margherita Antona | Computer Science | Springer | Details |
Web Engineering | Florian Daniel, Peter Dolog, Qing Li | Computer Science | Springer | Details |
Automata, Languages, and Programming | Fedor V. Fomin, R?si?š Freivalds, Marta Kwiatkowska, David Peleg | Computer Science | Springer | Details |
Human Interface and the Management of Information. Information and Interaction Design | Sakae Yamamoto | Computer Science | Springer | Details |
Automata, Languages, and Programming | Fedor V. Fomin, R?si?š Freivalds, Marta Kwiatkowska, David Peleg | Computer Science | Springer | Details |
Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments | Sakae Yamamoto | Computer Science | Springer | Details |
Security and Privacy Protection in Information Processing Systems | Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi | Computer Science | Springer | Details |
Robotics in Smart Manufacturing | Pedro Neto, António Paulo Moreira | Computer Science | Springer | Details |
Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, | Sakae Yamamoto | Computer Science | Springer | Details |
Design, User Experience, and Usability. Design Philosophy, Methods, and Tools | Aaron Marcus | Computer Science | Springer | Details |
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments | Masaaki Kurosu | Computer Science | Springer | Details |
Detection of Intrusions and Malware, and Vulnerability Assessment | Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert | Computer Science | Springer | Details |
Design, User Experience, and Usability. User Experience in Novel Technological Environments | Aaron Marcus | Computer Science | Springer | Details |
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience | Aaron Marcus | Computer Science | Springer | Details |
Ad-hoc, Mobile, and Wireless Network | Jacek Cicho?, Maciej Ge?bala, Marek Klonowski | Computer Science | Springer | Details |
RoboCup 2012: Robot Soccer World Cup XVI | Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn Zant | Computer Science | Springer | Details |
Design, User Experience, and Usability. Web, Mobile, and Product Design | Aaron Marcus | Computer Science | Springer | Details |
Data and Applications Security and Privacy XXVII | Lingyu Wang, Basit Shafiq | Computer Science | Springer | Details |
Product-Focused Software Process Improvement | Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre | Computer Science | Springer | Details |
Human-Computer Interaction. Applications and Services | Masaaki Kurosu | Computer Science | Springer | Details |
Human-Computer Interaction. Users and Contexts of Use | Masaaki Kurosu | Computer Science | Springer | Details |
Implementation and Application of Automata | Stavros Konstantinidis | Computer Science | Springer | Details |
Structured Object-Oriented Formal Language and Method | Shaoying Liu | Computer Science | Springer | Details |
Descriptional Complexity of Formal Systems | Helmut Jurgensen, Rogério Reis | Computer Science | Springer | Details |
Web Information Retrieval | Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni | Computer Science | Springer | Details |
Intelligent Computer Mathematics | Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger | Computer Science | Springer | Details |
Human-Computer Interaction. Interaction Modalities and Techniques | Masaaki Kurosu | Computer Science | Springer | Details |
Software Business. From Physical Products to Software Services and Solutions | Georg Herzwurm, Tiziana Margaria | Computer Science | Springer | Details |
Human-Computer Interaction. Towards Intelligent and Implicit Interaction | Masaaki Kurosu | Computer Science | Springer | Details |
Human Aspects of Information Security, Privacy, and Trust | Louis Marinos, Ioannis Askoxylakis | Computer Science | Springer | Details |
Distributed, Ambient, and Pervasive Interactions | Norbert Streitz, Constantine Stephanidis | Computer Science | Springer | Details |
Engineering Psychology and Cognitive Ergonomics. Applications and Services | Don Harris | Computer Science | Springer | Details |
Mathematics and Computation in Music | Jason Yust, Jonathan Wild, John Ashley Burgoyne | 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