43115 Matching Record(s) found
| Title | Author | Subject | Publisher | Action |
| Inductive Logic Programming | Luc Raedt | Computer Science | Springer | Details |
| Fast Software Encryption | Seokhie Hong, Tetsu Iwata | Computer Science | Springer | Details |
| Computer Networks | Andrzej Kwiecie?, Piotr Gaj, Piotr Stera | Computer Science | Springer | Details |
| Trust and Trustworthy Computing | Alessandro Acquisti, Sean W. Smith, Ahmad-Reza Sadeghi | Computer Science | Springer | Details |
| Natural Language Processing and Information Systems | Christina J. Hopfe, Yacine Rezgui, Elisabeth Métais, Alun Preece, Haijiang Li | Computer Science | Springer | Details |
| Web Engineering | Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi | Computer Science | Springer | Details |
| Medical Biometrics | David Zhang, Milan Sonka | Computer Science | Springer | Details |
| Objects, Models, Components, Patterns | Jan Vitek | Computer Science | Springer | Details |
| Programs, Proofs, Processes | Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes | Computer Science | Springer | Details |
| Networked Services and Applications - Engineering, Control and Management | Finn Arve Aagesen, Svein Johan Knapskog | Computer Science | Springer | Details |
| Tests and Proofs | Gordon Fraser, Angelo Gargantini | Computer Science | Springer | Details |
| Mechanisms for Autonomous Management of Networks and Services | Burkhard Stiller, Filip Turck | Computer Science | Springer | Details |
| Computing and Combinatorics | My T. Thai, Sartaj Sahni | Computer Science | Springer | Details |
| Software Composition | Benoît Baudry, Eric Wohlstadter | Computer Science | Springer | Details |
| Computational Intelligence for Knowledge-Based Systems Design | Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann | Computer Science | Springer | Details |
| Interactive Theorem Proving | Matt Kaufmann, Lawrence C. Paulson | Computer Science | Springer | Details |
| Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods | Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann | Computer Science | Springer | Details |
| Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications | Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann | Computer Science | Springer | Details |
| Articulated Motion and Deformable Objects | Francisco J. Perales, Robert B. Fisher | Computer Science | Springer | Details |
| Haptics: Generating and Perceiving Tangible Sensations | Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm | Computer Science | Springer | Details |
| Haptics: Generating and Perceiving Tangible Sensations | Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm | Computer Science | Springer | Details |
| Information Security and Privacy | Ron Steinfeld, Philip Hawkes | Computer Science | Springer | Details |
| Computers Helping People with Special Needs | Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer | Computer Science | Springer | Details |
| Computers Helping People with Special Needs | Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer | Computer Science | Springer | Details |
| ECOOP 2010 ? Object-Oriented Programming | Theo D’Hondt | Computer Science | Springer | Details |
| Euro-Par 2009 ? Parallel Processing Workshops | Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit | Computer Science | Springer | Details |
| Preference Learning | Johannes Fürnkranz, Eyke Hüllermeier | Computer Science | Springer | Details |
| Intelligent Computer Mathematics | Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton | Computer Science | Springer | Details |
| Artifical Evolution | Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton | Computer Science | Springer | Details |
| Revision, Acceptability and Context | Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo | Computer Science | Springer | Details |
| Automata, Languages and Programming | Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis | Computer Science | Springer | Details |
| Automata, Languages and Programming | Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis | Computer Science | Springer | Details |
| Recent Trends in Wireless and Mobile Networks | Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai | Computer Science | Springer | Details |
| Deontic Logic in Computer Science | Guido Governatori, Giovanni Sartor | Computer Science | Springer | Details |
| Theory and Applications of Satisfiability Testing ? SAT 2010 | Ofer Strichman, Stefan Szeider | Computer Science | Springer | Details |
| Requirements Engineering: Foundation for Software Quality | Roel Wieringa, Anne Persson | Computer Science | Springer | Details |
| Conceptual Structures: From Information to Intelligence | Madalina Croitoru, Sébastien Ferré, Dickson Lukose | Computer Science | Springer | Details |
| Automated Reasoning | Jürgen Giesl, Reiner Hähnle | Computer Science | Springer | Details |
| Detection of Intrusions and Malware, and Vulnerability Assessment | Christian Kreibich, Marko Jahnke | Computer Science | Springer | Details |
| Web-Age Information Management | Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao | Computer Science | Springer | Details |
| Current Topics in Artificial Intelligence | Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca | Computer Science | Springer | Details |
| Learning to Rank for Information Retrieval | Tie-Yan Liu | Computer Science | Springer | Details |
| Case-Based Reasoning. Research and Development | Isabelle Bichindaritz, Stefania Montani | Computer Science | Springer | Details |
| Privacy and Identity Management for Life | Michele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang | Computer Science | Springer | Details |
| Logic, Language and Meaning | Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz | Computer Science | Springer | Details |
| Networked Digital Technologies | Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh | Computer Science | Springer | Details |
| Computer Aided Verification | Tayssir Touili, Byron Cook, Paul Jackson | Computer Science | Springer | Details |
| Transactions on Data Hiding and Multimedia Security V | Yun Q. Shi | Computer Science | Springer | Details |
| Efficient Secure Two-Party Protocols | Carmit Hazay, Yehuda Lindell | Computer Science | Springer | Details |
| Networked Digital Technologies | Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh | Computer Science | Springer | Details |
| A 25-Year Perspective on Logic Programming | Agostino Dovier, Enrico Pontelli | Computer Science | Springer | Details |
| Advanced Statistical Steganalysis | Rainer Böhme | Computer Science | Springer | Details |
| Exploring Services Science | Jean-Henry Morin, Jolita Ralyté, Mehdi Snene | Computer Science | Springer | Details |
| The Mathematics of Language | Christian Ebert, Gerhard Jäger, Jens Michaelis | Computer Science | Springer | Details |
| Testing Techniques in Software Engineering | Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook | Computer Science | Springer | Details |
| Balanced Automation Systems for Future Manufacturing Networks | Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet | Computer Science | Springer | Details |
| New Modeling Concepts for Today?s Software Processes | Jürgen Münch, Ye Yang, Wilhelm Schäfer | Computer Science | Springer | Details |
| Algorithmic Aspects in Information and Management | Bo Chen | Computer Science | Springer | Details |
| Locally Decodable Codes and Private Information Retrieval Schemes | Sergey Yekhanin | Computer Science | Springer | Details |
| Biomedical Image Registration | Bernd Fischer, Benoît M. Dawant, Cristian Lorenz | Computer Science | Springer | Details |
| Critical Information Infrastructures Security | Erich Rome, Robin Bloomfield | Computer Science | Springer | Details |
| Parallel Processing and Applied Mathematics | Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski | Computer Science | Springer | Details |
| Advances in Data Mining. Applications and Theoretical Aspects | Petra Perner | Computer Science | Springer | Details |
| Parallel Processing and Applied Mathematics | Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski | Computer Science | Springer | Details |
| Self-Organizing Architectures | Danny Weyns, Sam Malek, Rogério Lemos, Jesper Andersson | Computer Science | Springer | Details |
| Resource Discovery | Zoé Lacroix | Computer Science | Springer | Details |
| Controlled Natural Language | Norbert E. Fuchs | Computer Science | Springer | Details |
| Information, Security and Cryptology ? ICISC 2009 | Donghoon Lee, Seokhie Hong | Computer Science | Springer | Details |
| Towards Hardware-Intrinsic Security | Ahmad-Reza Sadeghi, David Naccache | Computer Science | Springer | Details |
| Developments in Language Theory | Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu | Computer Science | Springer | Details |
| Web Services and Formal Methods | Cosimo Laneve, Jianwen Su | Computer Science | Springer | Details |
| Transactions on Rough Sets XII | James F. Peters, Andrzej Skowron, Roman S?owi?ski, Pawan Lingras, Duoqian Miao, Shusaku Tsumoto | Computer Science | Springer | Details |
| Recent Trends in Network Security and Applications | Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai | Computer Science | Springer | Details |
| Transactions on Edutainment IV | Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xiaopeng Zhang, Kevin Wong | Computer Science | Springer | Details |
| Recent Trends in Networks and Communications | Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai | 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