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