10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action | 
| Data Matching | Peter Christen | Computer Science | Springer | Details | 
| Controlled Natural Language | Michael Rosner, Norbert E. Fuchs | Computer Science | Springer | Details | 
| Natural Language Processing and Information Systems | Gosse Bouma, Ashwin Ittoo, Elisabeth Métais, Hans Wortmann | Computer Science | Springer | Details | 
| Information from Processes | Robert M. Losee | Computer Science | Springer | Details | 
| Information Technologies in Biomedicine | Ewa Pi?tka, Jacek Kawa | Computer Science | Springer | Details | 
| Systems, Software and Services Process Improvement | Dietmar Winkler, Rory V. O’Connor, Richard Messnarz | Computer Science | Springer | Details | 
| Multicore Software Engineering, Performance, and Tools | Victor Pankratius, Michael Philippsen | Computer Science | Springer | Details | 
| Pervasive Computing | Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, Antonio Krüger | Computer Science | Springer | Details | 
| Computer Networks | Andrzej Kwiecie?, Piotr Gaj, Piotr Stera | Computer Science | Springer | Details | 
| Diagrammatic Representation and Inference | Philip Cox, Beryl Plimmer, Peter Rodgers | Computer Science | Springer | Details | 
| Scientific and Statistical Database Management | Anastasia Ailamaki, Shawn Bowers | Computer Science | Springer | Details | 
| Image and Signal Processing | Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray, Fathallah Nouboud, Driss Aboutajdine | Computer Science | Springer | Details | 
| Logical Aspects of Computational Linguistics | Denis Béchet, Alexander Dikovsky | Computer Science | Springer | Details | 
| Combinatorial Pattern Matching | Juha Kärkkäinen, Jens Stoye | Computer Science | Springer | Details | 
| Breast Imaging | Andrew D. A. Maidment, Predrag R. Bakic, Sara Gavenonis | Computer Science | Springer | Details | 
| Multidisciplinary Information Retrieval | Michail Salampasis, Birger Larsen | Computer Science | Springer | Details | 
| Applied Cryptography and Network Security | Feng Bao, Pierangela Samarati, Jianying Zhou | 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 | 
| Biomedical Image Registration | Benoît M. Dawant, Gary E. Christensen, J. Michael Fitzpatrick, Daniel Rueckert | Computer Science | Springer | Details | 
| Advances in Neural Networks ? ISNN 2012 | Jun Wang, Gary G. Yen, Marios M. Polycarpou | Computer Science | Springer | Details | 
| Advances in Neural Networks ? ISNN 2012 | Jun Wang, Gary G. Yen, Marios M. Polycarpou | Computer Science | Springer | Details | 
| Automated Reasoning | Bernhard Gramlich, Dale Miller, Uli Sattler | Computer Science | Springer | Details | 
| Autonomous and Intelligent Systems | Mohamed Kamel, Fakhri Karray, Hani Hagras | Computer Science | Springer | Details | 
| Intelligent Computer Mathematics | Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge | Computer Science | Springer | Details | 
| Engaging Learners Through Emerging Technologies | Kam Cheong Li, Fu Lee Wang, Kin Sun Yuen, Simon K. S. Cheung, Reggie Kwan | Computer Science | Springer | Details | 
| Haptics: Perception, Devices, Mobility, and Communication | Poika Isokoski, Jukka Springare | Computer Science | Springer | Details | 
| Haptics: Perception, Devices, Mobility, and Communication | Poika Isokoski, Jukka Springare | Computer Science | Springer | Details | 
| Progress in Cryptology - AFRICACRYPT 2012 | Aikaterini Mitrokotsa, Serge Vaudenay | Computer Science | Springer | Details | 
| Computer Aided Verification | P. Madhusudan, Sanjit A. Seshia | Computer Science | Springer | Details | 
| Transactions on Edutainment VIII | Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang | Computer Science | Springer | Details | 
| Information Security and Privacy | Willy Susilo, Yi Mu, Jennifer Seberry | Computer Science | Springer | Details | 
| User Modeling, Adaptation, and Personalization | Judith Masthoff, Bamshad Mobasher, Michel C. Desmarais, Roger Nkambou | Computer Science | Springer | Details | 
| Parallel Processing and Applied Mathematics | Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wa?niewski | Computer Science | Springer | Details | 
| New Directions in Logic, Language and Computation | Daniel Lassiter, Marija Slavkovik | Computer Science | Springer | Details | 
| Tools for High Performance Computing 2011 | Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel, Michael M. Resch | Computer Science | Springer | Details | 
| Constructing Ambient Intelligence | Reiner Wichert, Kristof Laerhoven, Jean Gelissen | Computer Science | Springer | Details | 
| Logic, Language and Meaning | Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera | Computer Science | Springer | Details | 
| Lectures on Logic and Computation | Nick Bezhanishvili, Valentin Goranko | Computer Science | Springer | Details | 
| Advances in Data Mining. Applications and Theoretical Aspects | Petra Perner | Computer Science | Springer | Details | 
| Modelling Foundations and Applications | Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos | Computer Science | Springer | Details | 
| Progress in VLSI Design and Test | Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay | Computer Science | Springer | Details | 
| Parallel Processing and Applied Mathematics | Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wa?niewski | Computer Science | Springer | Details | 
| Computers Helping People with Special Needs | Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler | Computer Science | Springer | Details | 
| Biomimetic and Biohybrid Systems | Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F. M. J. Verschure | Computer Science | Springer | Details | 
| Computers Helping People with Special Needs | Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler | Computer Science | Springer | Details | 
| Machine Learning and Data Mining in Pattern Recognition | Petra Perner | Computer Science | Springer | Details | 
| Data and Applications Security and Privacy XXVI | Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquin Garcia-Alfaro | Computer Science | Springer | Details | 
| The Logic of Categorial Grammars | Richard Moot, Christian Retoré | Computer Science | Springer | Details | 
| Advances in Brain Inspired Cognitive Systems | Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang | Computer Science | Springer | Details | 
| Articulated Motion and Deformable Objects | Francisco J. Perales, Robert B. Fisher, Thomas B. Moeslund | Computer Science | Springer | Details | 
| Deontic Logic in Computer Science | Thomas Ågotnes, Jan Broersen, Dag Elgesem | Computer Science | Springer | Details | 
| Intelligent Computing Theories and Applications | De-Shuang Huang, Jianhua Ma, Kang-Hyun Jo, M. Michael Gromiha | Computer Science | Springer | Details | 
| Automata, Languages, and Programming | Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer | Computer Science | Springer | Details | 
| Intelligent Computing Technology | De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa | Computer Science | Springer | Details | 
| Automata, Languages, and Programming | Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer | Computer Science | Springer | Details | 
| Implementation and Application of Automata | Nelma Moreira, Rogério Reis | Computer Science | Springer | Details | 
| Theory and Applications of Satisfiability Testing ? SAT 2012 | Alessandro Cimatti, Roberto Sebastiani | Computer Science | Springer | Details | 
| Descriptional Complexity of Formal Systems | Martin Kutrib, Nelma Moreira, Rogério Reis | Computer Science | Springer | Details | 
| Ad-hoc, Mobile, and Wireless Networks | Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup | Computer Science | Springer | Details | 
| Languages Alive | Henning Bordihn, Martin Kutrib, Bianca Truthe | Computer Science | Springer | Details | 
| Developments in Language Theory | Hsu-Chun Yen, Oscar H. Ibarra | Computer Science | Springer | Details | 
| Arithmetic of Finite Fields | Ferruh Özbudak, Francisco Rodríguez-Henríquez | Computer Science | Springer | Details | 
| Privacy and Identity Management for Life | Jan Camenisch, Bruno Crispo, Simone Fischer-Hübner, Ronald Leenes, Giovanni Russello | Computer Science | Springer | Details | 
| Privacy Enhancing Technologies | Simone Fischer-Hübner, Matthew Wright | Computer Science | Springer | Details | 
| Wireless Networks and Computational Intelligence | K. R. Venugopal, L. M. Patnaik | Computer Science | Springer | Details | 
| Advances on Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details | 
| Advances in Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details | 
| Advances in Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details | 
| Advances in Computational Intelligence | Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager | Computer Science | Springer | Details | 
| Computers and Creativity | Jon McCormack, Mark d’Inverno | Computer Science | Springer | Details | 
| Methodologies and Technologies for Networked Enterprises | Giuseppe Anastasi, Emilio Bellini, Elisabetta Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo | Computer Science | Springer | Details | 
| Web Engineering | Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf | Computer Science | Springer | Details | 
| Model Checking Software | Alastair Donaldson, David Parker | Computer Science | Springer | Details | 
| Formal Verification of Object-Oriented Software | Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | 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