43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Tobias Achterberg, J. Christopher Beck | Computer Science | Springer | Details |
Advances in Artificial Life. Darwin Meets von Neumann | George Kampis, István Karsai, Eörs Szathmáry | Computer Science | Springer | Details |
Computational Intelligence in Security for Information Systems | Álvaro Herrero, Emilio Corchado | Computer Science | Springer | Details |
New Challenges on Bioinspired Applications | José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo | Computer Science | Springer | Details |
Reliable Software Technologies - Ada-Europe 2011 | Alexander Romanovsky, Tullio Vardanega | Computer Science | Springer | Details |
Unconventional Computation | Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg | Computer Science | Springer | Details |
Foundations on Natural and Artificial Computation | José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo | Computer Science | Springer | Details |
Top Productivity through Software Reuse | Klaus Schmid | Computer Science | Springer | Details |
Tools for Teaching Logic | Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano | Computer Science | Springer | Details |
Multidisciplinary Information Retrieval | Allan Hanbury, Andreas Rauber, Arjen P. Vries | Computer Science | Springer | Details |
Researching the Future in Information Systems | Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross | Computer Science | Springer | Details |
Distributed Applications and Interoperable Systems | Pascal Felber, Romain Rouvoy | Computer Science | Springer | Details |
Advanced Research on Computer Science and Information Engineering | Gang Shen, Xiong Huang | Computer Science | Springer | Details |
Advanced Research on Computer Science and Information Engineering | Gang Shen, Xiong Huang | Computer Science | Springer | Details |
Future Challenges in Security and Privacy for Academia and Industry | Jan Camenisch, Simone Fischer-Hübner, Yuko Murayama, Armand Portmann, Carlos Rieder | Computer Science | Springer | Details |
Autonomous Search | Youssef Hamadi, Eric Monfroy, Frédéric Saubion | Computer Science | Springer | Details |
FM 2011: Formal Methods | Michael Butler, Wolfram Schulte | Computer Science | Springer | Details |
Mobile Networks and Management | Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou | Computer Science | Springer | Details |
Formal Methods for Eternal Networked Software Systems | Marco Bernardo, Valérie Issarny | Computer Science | Springer | Details |
Combinatorial Pattern Matching | Raffaele Giancarlo, Giovanni Manzini | Computer Science | Springer | Details |
Formal Techniques for Distributed Systems | Roberto Bruni, Juergen Dingel | Computer Science | Springer | Details |
Coordination Models and Languages | Wolfgang Meuter, Gruia-Catalin Roman | Computer Science | Springer | Details |
Modelling Foundations and Applications | Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige | Computer Science | Springer | Details |
Multidisciplinary Aspects of Time and Time Perception | Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis | Computer Science | Springer | Details |
Managing the Dynamics of Networks and Services | Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger | Computer Science | Springer | Details |
OpenMP in the Petascale Era | Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Müller | Computer Science | Springer | Details |
Logic and Grammar | Sylvain Pogodalla, Myriam Quatrini, Christian Retoré | Computer Science | Springer | Details |
Algebraic Informatics | Franz Winkler | Computer Science | Springer | Details |
Advances in Computational Intelligence | Joan Cabestany, Ignacio Rojas, Gonzalo Joya | Computer Science | Springer | Details |
Advances in Computational Intelligence | Joan Cabestany, Ignacio Rojas, Gonzalo Joya | Computer Science | Springer | Details |
Information Processing in Computer-Assisted Interventions | Russell H. Taylor, Guang-Zhong Yang | Computer Science | Springer | Details |
Multimedia Communications, Services and Security | Andrzej Dziech, Andrzej Czy?ewski | Computer Science | Springer | Details |
Advances in Swarm Intelligence | Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang | Computer Science | Springer | Details |
Information Security and Cryptology | Xuejia Lai, Moti Yung, Dongdai Lin | Computer Science | Springer | Details |
Privacy Online | Sabine Trepte, Leonard Reinecke | Computer Science | Springer | Details |
Advances in Swarm Intelligence | Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang | Computer Science | Springer | Details |
Network Optimization | Julia Pahl, Torsten Reiners, Stefan Voß | Computer Science | Springer | Details |
End-User Development | Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno | Computer Science | Springer | Details |
Toward Useful Services for Elderly and People with Disabilities | Bessam Abdulrazak, Sylvain Giroux, Bruno Bouchard, Hélène Pigot, Mounir Mokhtari | Computer Science | Springer | Details |
Autonomous and Intelligent Systems | Mohamed Kamel, Fakhri Karray, Wail Gueaieb, Alaa Khamis | Computer Science | Springer | Details |
Software Business | Björn Regnell, Inge Weerd, Olga Troyer | Computer Science | Springer | Details |
Exploring Services Science | Mehdi Snene, Jolita Ralyté, Jean-Henry Morin | Computer Science | Springer | Details |
Applied Cryptography and Network Security | Javier Lopez, Gene Tsudik | Computer Science | Springer | Details |
Multiple Classifier Systems | Carlo Sansone, Josef Kittler, Fabio Roli | Computer Science | Springer | Details |
Wired/Wireless Internet Communications | Xavier Masip-Bruin, Dominique Verchere, Vassilis Tsaoussidis, Marcelo Yannuzzi | Computer Science | Springer | Details |
Transactions on Rough Sets XIV | James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu | Computer Science | Springer | Details |
Advances in Self-Organizing Maps | Jorma Laaksonen, Timo Honkela | Computer Science | Springer | Details |
Mathematical Morphology and Its Applications to Image and Signal Processing | Pierre Soille, Martino Pesaresi, Georgios K. Ouzounis | Computer Science | Springer | Details |
Theory and Applications of Satisfiability Testing - SAT 2011 | Karem A. Sakallah, Laurent Simon | Computer Science | Springer | Details |
Pattern Recognition | José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Cherif Ben-Youssef Brants, Edwin Robert Hancock | Computer Science | Springer | Details |
Mathematics and Computation in Music | Carlos Agon, Moreno Andreatta, Gérard Assayag, Emmanuel Amiot, Jean Bresson, John Mandereau | Computer Science | Springer | Details |
Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
Trust and Trustworthy Computing | Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres | Computer Science | Springer | Details |
Human-Computer Interaction. Design and Development Approaches | Julie A. Jacko | Computer Science | Springer | Details |
Human-Computer Interaction. Interaction Techniques and Environments | Julie A. Jacko | Computer Science | Springer | Details |
Human-Computer Interaction. Towards Mobile and Intelligent Interaction Environments | Julie A. Jacko | Computer Science | Springer | Details |
Human-Computer Interaction. Users and Applications | Julie A. Jacko | Computer Science | Springer | Details |
Advanced Information Systems Engineering | Haralambos Mouratidis, Colette Rolland | Computer Science | Springer | Details |
System Analysis and Modeling: About Models | Frank Alexander Kraemer, Peter Herrmann | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Applications and Services | Constantine Stephanidis | Computer Science | Springer | Details |
Internationalization, Design and Global Development | P. L. Patrick Rau | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Users Diversity | Constantine Stephanidis | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Context Diversity | Constantine Stephanidis | Computer Science | Springer | Details |
Human Interface and the Management of Information. Interacting with Information | Gavriel Salvendy, Michael J. Smith | Computer Science | Springer | Details |
Universal Access in Human-Computer Interaction. Design for All and eInclusion | Constantine Stephanidis | Computer Science | Springer | Details |
Design, User Experience, and Usability. Theory, Methods, Tools and Practice | Aaron Marcus | Computer Science | Springer | Details |
Typed Lambda Calculi and Applications | Luke Ong | Computer Science | Springer | Details |
Critical Information Infrastructures Security | Christos Xenakis, Stephen Wolthusen | Computer Science | Springer | Details |
Fast Software Encryption | Antoine Joux | Computer Science | Springer | Details |
Design, User Experience, and Usability. Theory, Methods, Tools and Practice | Aaron Marcus | Computer Science | Springer | Details |
Analytical and Stochastic Modeling Techniques and Applications | Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin | Computer Science | Springer | Details |
Ergonomics and Health Aspects of Work with Computers | Michelle M. Robertson | Computer Science | Springer | Details |
Pervasive Computing | Kent Lyons, Jeffrey Hightower, Elaine M. Huang | Computer Science | Springer | Details |
Theory and Practice of Model Transformations | Jordi Cabot, Eelco Visser | 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