Title | Author | Subject | Publisher | Action |
Applications of Pulse-Coupled Neural Networks | Yide Ma, Kun Zhan, Zhaobin Wang | Computer Science | Springer | Details |
Time for Verification | Zohar Manna, Doron A. Peled | Computer Science | Springer | Details |
Hybrid Artificial Intelligence Systems | Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian | Computer Science | Springer | Details |
Image Analysis and Recognition | Aurélio Campilho, Mohamed Kamel | Computer Science | Springer | Details |
Image Analysis and Recognition | Aurélio Campilho, Mohamed Kamel | Computer Science | Springer | Details |
Aging Friendly Technology for Health and Independence | Yeunsook Lee, Z. Zenn Bien, Mounir Mokhtari, Jeong Tai Kim, Mignon Park, Jongbae Kim, Heyoung Lee, Ismail Khalil | Computer Science | Springer | Details |
Software Engineering Approaches for Offshore and Outsourced Development | Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov | Computer Science | Springer | Details |
Future Multimedia Networking | Sherali Zeadally, Eduardo Cerqueira, Marília Curado, Miko?aj Leszczuk | Computer Science | Springer | Details |
Product-Focused Software Process Improvement | M. Ali Babar, Matias Vierimaa, Markku Oivo | Computer Science | Springer | Details |
Arithmetic of Finite Fields | M. Anwar Hasan, Tor Helleseth | Computer Science | Springer | Details |
Learning and Intelligent Optimization | Christian Blum, Roberto Battiti | Computer Science | Springer | Details |
Hybrid Artificial Intelligence Systems | Emilio Corchado, Manuel Graña Romay, Alexandre Manhaes Savio | Computer Science | Springer | Details |
Scientific and Statistical Database Management | Michael Gertz, Bertram Ludäscher | Computer Science | Springer | Details |
Research into Practice ? Reality and Gaps | George T. Heineman, Jan Kofron, Frantisek Plasil | Computer Science | Springer | Details |
Logic, Language, Information and Computation | Anuj Dawar, Ruy Queiroz | Computer Science | Springer | Details |
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 |
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