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