10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action | 
| 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 | 
| Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition | Don Harris | Computer Science | Springer | Details | 
| Online Communities and Social Computing | A. Ant Ozok, Panayiotis Zaphiris | Computer Science | Springer | Details | 
| Information Assurance and Security Education and Training | Ronald C. Dodge, Lynn Futcher | Computer Science | Springer | Details | 
| Computer Vision Systems | Mei Chen, Bastian Leibe, Bernd Neumann | Computer Science | Springer | Details | 
| Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments | Randall Shumaker | Computer Science | Springer | Details | 
| Analytical and Stochastic Modeling Techniques and Applications | Alexander Dudin, Koen Turck | 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