43115 Matching Record(s) found
| Title | Author | Subject | Publisher | Action |
| Connecting Women | Valérie Schafer, Benjamin G. Thierry | Computer Science | Springer | Details |
| Reversible Computation | Jean Krivine, Jean-Bernard Stefani | Computer Science | Springer | Details |
| Handbook of Genetic Programming Applications | Amir H. Gandomi, Amir H. Alavi, Conor Ryan | Computer Science | Springer | Details |
| Design, User Experience, and Usability: Design Discourse | Aaron Marcus | Computer Science | Springer | Details |
| Design, User Experience, and Usability: Interactive Experience Design | Aaron Marcus | Computer Science | Springer | Details |
| Human Aspects of IT for the Aged Population. Design for Aging | Jia Zhou, Gavriel Salvendy | Computer Science | Springer | Details |
| HCI in Business | Fiona Fui-Hoon Nah, Chuan-Hoo Tan | Computer Science | Springer | Details |
| Design, User Experience, and Usability: Users and Interactions | Aaron Marcus | Computer Science | Springer | Details |
| Human-Computer Interaction: Design and Evaluation | Masaaki Kurosu | Computer Science | Springer | Details |
| Computer Vision Systems | Lazaros Nalpantidis, Volker Krüger, Jan-Olof Eklundh, Antonios Gasteratos | Computer Science | Springer | Details |
| Cross-Cultural Design Methods, Practice and Impact | P.L.Patrick Rau | Computer Science | Springer | Details |
| Advances in Data Mining: Applications and Theoretical Aspects | Petra Perner | Computer Science | Springer | Details |
| Human Aspects of IT for the Aged Population. Design for Everyday Life | Jia Zhou, Gavriel Salvendy | Computer Science | Springer | Details |
| Human-Computer Interaction: Interaction Technologies | Masaaki Kurosu | Computer Science | Springer | Details |
| Cross-Cultural Design Applications in Mobile Interaction, Education, Health, Transport and Cultural Heritage | P.L. Patrick Rau | Computer Science | Springer | Details |
| Fault-Tolerance Techniques for High-Performance Computing | Thomas Herault, Yves Robert | Computer Science | Springer | Details |
| Smart TV Security | Benjamin Michéle | Computer Science | Springer | Details |
| Human-Computer Interaction: Users and Contexts | Masaaki Kurosu | Computer Science | Springer | Details |
| Knowledge Management in Organizations | Lorna Uden, Marjan Heri?ko, I-Hsien Ting | Computer Science | Springer | Details |
| Machine Learning and Data Mining in Pattern Recognition | Petra Perner | Computer Science | Springer | Details |
| Web-Age Information Management | Xin Luna Dong, Xiaohui Yu, Jian Li, Yizhou Sun | Computer Science | Springer | Details |
| Virtual, Augmented and Mixed Reality | Randall Shumaker, Stephanie Lackey | Computer Science | Springer | Details |
| Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health | Vincent G. Duffy | Computer Science | Springer | Details |
| Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling | Vincent G. Duffy | Computer Science | Springer | Details |
| Graph Transformation | Francesco Parisi-Presicce, Bernhard Westfechtel | Computer Science | Springer | Details |
| Modelling Foundations and Applications | Gabriele Taentzer, Francis Bordeleau | Computer Science | Springer | Details |
| Theory and Practice of Model Transformations | Dimitris Kolovos, Manuel Wimmer | Computer Science | Springer | Details |
| Tests and Proofs | Jasmin Christian Blanchette, Nikolai Kosmatov | Computer Science | Springer | Details |
| Algorithms for Computational Biology | Adrian-Horia Dediu, Francisco Hernández-Quiroz, Carlos Martín-Vide, David A. Rosenblueth | Computer Science | Springer | Details |
| 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 |
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