Title | Author | Subject | Publisher | Action |
Evolutionary Multi-Criterion Optimization | Shigeru Obayashi, Kalyanmoy Deb, Carlo Poloni, Tomoyuki Hiroyasu, Tadahiko Murata | Computer Science | Springer | Details |
Model-Driven Development of Reliable Automotive Services | Manfred Broy, Ingolf H. Krüger, Michael Meisinger | Computer Science | Springer | Details |
Dynamical Vision | René Vidal, Anders Heyden, Yi Ma | Computer Science | Springer | Details |
Cognitive Systems | Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich | Computer Science | Springer | Details |
Theory of Cryptography | Salil P. Vadhan | Computer Science | Springer | Details |
Computational Linguistics and Intelligent Text Processing | Alexander Gelbukh | Computer Science | Springer | Details |
Numerical Methods and Applications | Todor Boyanov, Stefka Dimova, Krassimir Georgiev, Geno Nikolov | Computer Science | Springer | Details |
Agent-Oriented Software Engineering VII | Lin Padgham, Franco Zambonelli | Computer Science | Springer | Details |
Formal Methods: Applications and Technology | Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol | Computer Science | Springer | Details |
Information Visualization | Andreas Kerren, John T. Stasko, Jean-Daniel Fekete, Chris North | Computer Science | Springer | Details |
Semantic Web, Ontologies and Databases | Vassilis Christophides, Martine Collard, Claudio Gutierrez | Computer Science | Springer | Details |
Wireless Systems and Mobility in Next Generation Internet | Jorge García-Vidal, Llorenç Cerdà-Alabern | Computer Science | Springer | Details |
Adaptive Hypermedia and Adaptive Web-Based Systems | Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Akito Sakurai, Kôiti Hasida, Katsumi Nitta | Computer Science | Springer | Details |
Universal Access in Ambient Intelligence Environments | Constantine Stephanidis, Michael Pieper | Computer Science | Springer | Details |
Pixelization Paradigm | Pierre P Lévy, Bénédicte Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert | Computer Science | Springer | Details |
Job Scheduling Strategies for Parallel Processing | Eitan Frachtenberg, Uwe Schwiegelshohn | Computer Science | Springer | Details |
Knowledge Discovery and Emergent Complexity in Bioinformatics | Karl Tuyls, Ronald Westra, Yvan Saeys, Ann Nowé | Computer Science | Springer | Details |
Fast Software Encryption | Kaisa Nyberg | Computer Science | Springer | Details |
Theorem Proving in Higher Order Logics | Otmane Ait Mohamed, César Muñoz, Sofiène Tahar | Computer Science | Springer | Details |
Automated Reasoning | Alessandro Armando, Peter Baumgartner, Gilles Dowek | Computer Science | Springer | Details |
Visual Data Mining | Simeon J. Simoff, Michael H. Böhlen, Arturas Mazeika | Computer Science | Springer | Details |
Information Security Applications | Jae Kwang Lee, Okyeon Yi, Moti Yung | Computer Science | Springer | Details |
Environments for Multi-Agent Systems III | Danny Weyns, H. Van Dyke Parunak, Fabien Michel | Computer Science | Springer | Details |
Reliable Systems on Unreliable Networked Platforms | Fabrice Kordon, Janos Sztipanovits | Computer Science | Springer | Details |
Transactions on Rough Sets VI | James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy Grzyma?a-Busse, Ewa Or?owska, Lech Polkowski | Computer Science | Springer | Details |
Tools and Algorithms for the Construction and Analysis of Systems | Orna Grumberg, Michael Huth | Computer Science | Springer | Details |
Compiler Construction | Shriram Krishnamurthi, Martin Odersky | Computer Science | Springer | Details |
Learning Classifier Systems | Tim Kovacs, Xavier Llorà, Keiki Takadama, Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson | Computer Science | Springer | Details |
Bioinformatics Research and Development | Sepp Hochreiter, Roland Wagner | Computer Science | Springer | Details |
Architecture of Computing Systems - ARCS 2007 | Paul Lukowicz, Lothar Thiele, Gerhard Tröster | Computer Science | Springer | Details |
Fundamental Approaches to Software Engineering | Matthew B. Dwyer, Antónia Lopes | Computer Science | Springer | Details |
Empirical Software Engineering Issues. Critical Assessment and Future Directions | Victor R. Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard W. Selby | Computer Science | Springer | Details |
Programming Languages and Systems | Rocco Nicola | Computer Science | Springer | Details |
Program Analysis and Compilation, Theory and Practice | Thomas Reps, Mooly Sagiv, Jörg Bauer | Computer Science | Springer | Details |
High Performance Computing for Computational Science - VECPAR 2006 | Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes | Computer Science | Springer | Details |
Foundations of Software Science and Computational Structures | Helmut Seidl | Computer Science | Springer | Details |
Logic-Based Program Synthesis and Transformation | Germán Puebla | Computer Science | Springer | Details |
Anaphora: Analysis, Algorithms and Applications | António Branco | Computer Science | Springer | Details |
Reconfigurable Computing: Architectures, Tools and Applications | Pedro C. Diniz, Eduardo Marques, Koen Bertels, Marcio Merino Fernandes, João M. P. Cardoso | Computer Science | Springer | Details |
Software Product Lines in Action | Frank Linden, Klaus Schmid, Eelco Rommes | Computer Science | Springer | Details |
Computer Vision/Computer Graphics Collaboration Techniques | André Gagalowicz, Wilfried Philips | Computer Science | Springer | Details |
Hybrid Systems: Computation and Control | Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo | Computer Science | Springer | Details |
Advances in Information Retrieval | Giambattista Amati, Claudio Carpineto, Giovanni Romano | Computer Science | Springer | Details |
Active Networks | Gary J. Minden, Kenneth L. Calvert, Marcin Solarski, Miki Yamamoto | Computer Science | Springer | Details |
Progress in Nonlinear Speech Processing | Yannis Stylianou, Marcos Faundez-Zanuy, Anna Esposito | Computer Science | Springer | Details |
Transactions on High-Performance Embedded Architectures and Compilers I | Per Stenström | Computer Science | Springer | Details |
Swarm Robotics | Erol ?ahin, William M. Spears, Alan F. T. Winfield | Computer Science | Springer | Details |
Adaptive Multimedia Retrieval: User, Context, and Feedback | Stéphane Marchand-Maillet, Eric Bruno, Andreas Nürnberger, Marcin Detyniecki | Computer Science | Springer | Details |
Intelligence and Security Informatics | Christopher C. Yang, Daniel Zeng, Michael Chau, Kuiyu Chang, Qing Yang, Xueqi Cheng, Jue Wang, Fei-Yue Wang, Hsinchun Chen | Computer Science | Springer | Details |
Successfully Implementing Microsoft Dynamics? | Reinder Koop, Esther Muris | Computer Science | Springer | Details |
Genetic Programming | Marc Ebner, Michael O’Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Isabel Esparcia-Alcázar | Computer Science | Springer | Details |
Evolutionary Computation in Combinatorial Optimization | Carlos Cotta, Jano Hemert | Computer Science | Springer | Details |
Passive and Active Network Measurement | Steve Uhlig, Konstantina Papagiannaki, Olivier Bonaventure | Computer Science | Springer | Details |
Adaptive and Natural Computing Algorithms | Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro | Computer Science | Springer | Details |
Adaptive and Natural Computing Algorithms | Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro | Computer Science | Springer | Details |
Networked RFID Systems and Lightweight Cryptography | Peter H. Cole, Damith C. Ranasinghe | Computer Science | Springer | Details |
Software Measurement | Christof Ebert, Reiner Dumke | Computer Science | Springer | Details |
Databases, Information Systems, and Peer-to-Peer Computing | Gianluca Moro, Sonia Bergamaschi, Sam Joseph, Jean-Henry Morin, Aris M. Ouksel | Computer Science | Springer | Details |
Transactions on Rough Sets VII | James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Or?owska, Roman S?owi?ski, Wojciech Ziarko | Computer Science | Springer | Details |
Public Key Cryptography ? PKC 2007 | Tatsuaki Okamoto, Xiaoyun Wang | Computer Science | Springer | Details |
Research in Computational Molecular Biology | Terry Speed, Haiyan Huang | Computer Science | Springer | Details |
Advances in Knowledge Discovery and Data Mining | Zhi-Hua Zhou, Hang Li, Qiang Yang | Computer Science | Springer | Details |
Advances in Databases: Concepts, Systems and Applications | Ramamohanarao Kotagiri, P. Radha Krishna, Mukesh Mohania, Ekawit Nantajeewarawat | Computer Science | Springer | Details |
Anti-Spam Measures | Guido Schryen | Computer Science | Springer | Details |
Markov Models for Pattern Recognition | Gernot A. Fink | Computer Science | Springer | Details |
Object-Oriented Technology. ECOOP 2006 Workshop Reader | Mario Südholt, Charles Consel | Computer Science | Springer | Details |
Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics | Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse | Computer Science | Springer | Details |
Ubiquitous Convergence Technology | Frank Stajano, Hyoung Joong Kim, Jong-Suk Chae, Seong-Dong Kim | Computer Science | Springer | Details |
Applications of Evolutionary Computing | Mario Giacobini | Computer Science | Springer | Details |
Advances in Smalltalk | Wolfgang Meuter | Computer Science | Springer | Details |
Model-Driven Architecture in Practice | Oscar Pastor, Juan Carlos Molina | Computer Science | Springer | Details |
Rapid Integration of Software Engineering Techniques | Nicolas Guelfi, Didier Buchs | Computer Science | Springer | Details |
Cooperative Bug Isolation | Ben Liblit | Computer Science | Springer | Details |
Algorithmic Aspects of Bioinformatics | Hans-Joachim Böckenhauer, Dirk Bongartz | 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