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