10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action | 
| Operators for Similarity Search | Deepak P, Prasad M. Deshpande | Computer Science | Springer | Details | 
| Parameterized Algorithms | Marek Cygan, Fedor V. Fomin, ?ukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Micha? Pilipczuk, Saket Saurabh | Computer Science | Springer | Details | 
| Mobile Services for Toy Computing | Patrick C. K. Hung | Computer Science | Springer | Details | 
| Encrypted Email | Hilarie Orman | Computer Science | Springer | Details | 
| Cryptography and Information Security in the Balkans | Berna Ors, Bart Preneel | Computer Science | Springer | Details | 
| Automated Deduction in Geometry | Francisco Botana, Pedro Quaresma | Computer Science | Springer | Details | 
| Artificial General Intelligence | Jordi Bieger, Ben Goertzel, Alexey Potapov | Computer Science | Springer | Details | 
| HCI International 2015 - Posters’ Extended Abstracts | Constantine Stephanidis | Computer Science | Springer | Details | 
| HCI International 2015 - Posters’ Extended Abstracts | Constantine Stephanidis | Computer Science | Springer | Details | 
| Computing and Combinatorics | Dachuan Xu, Donglei Du, Dingzhu Du | Computer Science | Springer | Details | 
| Automated Deduction - CADE-25 | Amy P. Felty, Aart Middeldorp | Computer Science | Springer | Details | 
| Computational Science and Its Applications -- ICCSA 2015 | Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan | Computer Science | Springer | Details | 
| Computational Science and Its Applications -- ICCSA 2015 | Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan | Computer Science | Springer | Details | 
| Computational Science and Its Applications -- ICCSA 2015 | Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan | Computer Science | Springer | Details | 
| Computational Science and Its Applications -- ICCSA 2015 | Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan | Computer Science | Springer | Details | 
| Foundation Mathematics for Computer Science | John Vince | Computer Science | Springer | Details | 
| Pillars of Computing | Gerard O'Regan | Computer Science | Springer | Details | 
| Computational Science and Its Applications -- ICCSA 2015 | Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan | Computer Science | Springer | Details | 
| Constructive Side-Channel Analysis and Secure Design | Stefan Mangard, Axel Y. Poschmann | Computer Science | Springer | Details | 
| Introduction to Concurrency Theory | Roberto Gorrieri, Cristian Versari | Computer Science | Springer | Details | 
| Developments in Language Theory | Igor Potapov | Computer Science | Springer | Details | 
| Decision Support Systems IV - Information and Knowledge Management in Decision Processes | Isabelle Linden, Shaofeng Liu, Fátima Dargam, Jorge E. Hernández | Computer Science | Springer | Details | 
| Rule Technologies: Foundations, Tools, and Applications | Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman | Computer Science | Springer | Details | 
| Formal Ontologies Meet Industry | Roberta Cuel, Robert Young | Computer Science | Springer | Details | 
| A Construction Manual for Robots' Ethical Systems | Robert Trappl | Computer Science | Springer | Details | 
| Tacit Engagement | Satinder P. Gill | Computer Science | Springer | Details | 
| Computer Aided Verification | Daniel Kroening, Corina S. P?s?reanu | Computer Science | Springer | Details | 
| Computer Aided Verification | Daniel Kroening, Corina S. P?s?reanu | Computer Science | Springer | Details | 
| Stabilization, Safety, and Security of Distributed Systems | Andrzej Pelc, Alexander A. Schwarzmann | Computer Science | Springer | Details | 
| Computational Complexity of Solving Equation Systems | Przemys?aw Broniek | Computer Science | Springer | Details | 
| Reasoning Web. Web Logic Rules | Wolfgang Faber, Adrian Paschke | Computer Science | Springer | Details | 
| Nordic Contributions in IS Research | Harri Oinas-Kukkonen, Netta Iivari, Kari Kuutti, Anssi Öörni, Mikko Rajanen | Computer Science | Springer | Details | 
| Computational Social Networks | My T. Thai, Nam P. Nguyen, Huawei Shen | Computer Science | Springer | Details | 
| Bridging Constraint Satisfaction and Boolean Satisfiability | Justyna Petke | Computer Science | Springer | Details | 
| Unconventional Computation and Natural Computation | Cristian S. Calude, Michael J. Dinneen | Computer Science | Springer | Details | 
| Enhanced Building Information Models | Umit Isikdag | Computer Science | Springer | Details | 
| Wireless Algorithms, Systems, and Applications | Kuai Xu, Haojin Zhu | Computer Science | Springer | Details | 
| Algorithms and Data Structures | Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege | Computer Science | Springer | Details | 
| Data Integration in the Life Sciences | Naveen Ashish, Jose-Luis Ambite | Computer Science | Springer | Details | 
| Measures of Complexity | Vladimir Vovk, Harris Papadopoulos, Alexander Gammerman | Computer Science | Springer | Details | 
| Feature Selection for High-Dimensional Data | Verónica Bolón-Canedo, Noelia Sánchez-Maroño, Amparo Alonso-Betanzos | Computer Science | Springer | Details | 
| Parallel Computing Technologies | Victor Malyshkin | Computer Science | Springer | Details | 
| Behavior Modeling -- Foundations and Applications | Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth | Computer Science | Springer | Details | 
| Perspectives in Business Informatics Research | Raimundas Matulevi?ius, Marlon Dumas | Computer Science | Springer | Details | 
| Fast Design, Slow Innovation | David M. Frohlich | Computer Science | Springer | Details | 
| Interpretability of Computational Intelligence-Based Regression Models | Tamás Kenesei, János Abonyi | Computer Science | Springer | Details | 
| Fundamentals of Music Processing | Meinard Müller | Computer Science | Springer | Details | 
| Deconstructing Ethnography | Graham Button, Andy Crabtree, Mark Rouncefield, Peter Tolmie | Computer Science | Springer | Details | 
| Image and Graphics | Yu-Jin Zhang | Computer Science | Springer | Details | 
| Information and Communications Security | Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu | Computer Science | Springer | Details | 
| Image and Graphics | Yu-Jin Zhang | Computer Science | Springer | Details | 
| Image and Graphics | Yu-Jin Zhang | Computer Science | Springer | Details | 
| Intelligent Virtual Agents | Willem-Paul Brinkman, Joost Broekens, Dirk Heylen | Computer Science | Springer | Details | 
| DNA Computing and Molecular Programming | Andrew Phillips, Peng Yin | Computer Science | Springer | Details | 
| Web Reasoning and Rule Systems | Balder ten Cate, Alessandra Mileo | Computer Science | Springer | Details | 
| Immersive Education | Martin Ebner, Kai Erenli, Rainer Malaka, Johanna Pirker, Aaron E. Walsh | Computer Science | Springer | Details | 
| Big Data Computing and Communications | Yu Wang, Hui Xiong, Shlomo Argamon, XiangYang Li, JianZhong Li | Computer Science | Springer | Details | 
| Advanced Intelligent Computing Theories and Applications | De-Shuang Huang, Kyungsook Han | Computer Science | Springer | Details | 
| Interactive Theorem Proving | Christian Urban, Xingyuan Zhang | Computer Science | Springer | Details | 
| Spatial Auditory Human-Computer Interfaces | Jaka Sodnik, Sašo Tomaži? | Computer Science | Springer | Details | 
| Progress in Cryptology -- LATINCRYPT 2015 | Kristin Lauter, Francisco Rodríguez-Henríquez | Computer Science | Springer | Details | 
| Fundamentals of Computation Theory | Adrian Kosowski, Igor Walukiewicz | Computer Science | Springer | Details | 
| Intelligent Computing Theories and Methodologies | De-Shuang Huang, Vitoantonio Bevilacqua, Prashan Premaratne | Computer Science | Springer | Details | 
| Search-Based Software Engineering | Márcio Barros, Yvan Labiche | Computer Science | Springer | Details | 
| Intelligent Computing Theories and Methodologies | De-Shuang Huang, Kang-Hyun Jo, Abir Hussain | Computer Science | Springer | Details | 
| New Information and Communication Technologies for Knowledge Management in Organizations | Daniel Palacios-Marqués, Domingo Ribeiro Soriano, Kun Huang Huarng | Computer Science | Springer | Details | 
| Quantitative Evaluation of Systems | Javier Campos, Boudewijn R. Haverkort | Computer Science | Springer | Details | 
| E-Voting and Identity | Rolf Haenni, Reto E. Koenig, Douglas Wikström | Computer Science | Springer | Details | 
| Database Systems for Advanced Applications | An Liu, Yoshiharu Ishikawa, Tieyun Qian, Sarana Nutanong, Muhammad Aamir Cheema | Computer Science | Springer | Details | 
| Resilient Routing in Communication Networks | Jacek Rak | Computer Science | Springer | Details | 
| Enterprise Information Systems | José Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp, Joaquim Filipe | Computer Science | Springer | Details | 
| Implementation and Application of Automata | Frank Drewes | Computer Science | Springer | Details | 
| Advances in Spatial and Temporal Databases | Christophe Claramunt, Markus Schneider, Raymond Chi-Wing Wong, Li Xiong, Woong-Kee Loh, Cyrus Shahabi, Ki-Joune Li | Computer Science | Springer | Details | 
| Modelling and Simulation for Autonomous Systems | Jan Hodicky | Computer Science | Springer | Details | 
| Electronic Government and the Information Systems Perspective | Andrea K?, Enrico Francesconi | 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