Title | Author | Subject | Publisher | Action |
Foundations of Genetic Algorithms | Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler | Computer Science | Springer | Details |
Pairing-Based Cryptography ? Pairing 2007 | Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto | Computer Science | Springer | Details |
Machine Learning and Data Mining in Pattern Recognition | Petra Perner | Computer Science | Springer | Details |
Business Process Management | Mathias Weske | Computer Science | Springer | Details |
Dependable and Adaptable Networks and Services | Aiko Pras, Marten Sinderen | Computer Science | Springer | Details |
Data and Applications Security XXI | Steve Barker, Gail-Joon Ahn | Computer Science | Springer | Details |
Advances in Spatial and Temporal Databases | Dimitris Papadias, Donghui Zhang, George Kollios | Computer Science | Springer | Details |
Computing and Combinatorics | Guohui Lin | Computer Science | Springer | Details |
Autonomic and Trusted Computing | Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua | Computer Science | Springer | Details |
Ubiquitous Intelligence and Computing | Jadwiga Indulska, Jianhua Ma, Laurence T. Yang, Theo Ungerer, Jiannong Cao | Computer Science | Springer | Details |
Component-Based Software Engineering | Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford | Computer Science | Springer | Details |
Unconventional Computation | Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham | Computer Science | Springer | Details |
Combinatorial Optimization and Applications | Andreas Dress, Yinfeng Xu, Binhai Zhu | Computer Science | Springer | Details |
Abstraction, Reformulation, and Approximation | Ian Miguel, Wheeler Ruml | Computer Science | Springer | Details |
ECOOP 2007 ? Object-Oriented Programming | Erik Ernst | Computer Science | Springer | Details |
Automated Deduction ? CADE-21 | Frank Pfenning | Computer Science | Springer | Details |
Web Engineering | Luciano Baresi, Piero Fraternali, Geert-Jan Houben | Computer Science | Springer | Details |
Artificial Intelligence in Medicine | Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter | Computer Science | Springer | Details |
Detection of Intrusions and Malware, and Vulnerability Assessment | Bernhard Hämmerli, Robin Sommer | Computer Science | Springer | Details |
Embedded Computer Systems: Architectures, Modeling, and Simulation | Stamatis Vassiliadis, Mladen Berekovi?, Timo D. Hämäläinen | Computer Science | Springer | Details |
Learning from Data Streams | João Gama, Mohamed Medhat Gaber | Computer Science | Springer | Details |
Conceptual Structures: Knowledge Architectures for Smart Applications | Uta Priss, Simon Polovina, Richard Hill | Computer Science | Springer | Details |
Modeling Decisions for Artificial Intelligence | Vicenç Torra, Yasuo Narukawa, Yuji Yoshida | Computer Science | Springer | Details |
Advances in Bioinformatics and Computational Biology | Marie-France Sagot, Maria Emilia M. T. Walter | Computer Science | Springer | Details |
A Modern Approach to Intelligent Animation | Yueting Zhuang, Yunhe Pan, Jun Xiao | Computer Science | Springer | Details |
Process Neural Networks | Xingui He, Shaohua Xu | Computer Science | Springer | Details |
Tests and Proofs | Yuri Gurevich, Bertrand Meyer | Computer Science | Springer | Details |
Frontiers in Algorithmics | Franco P. Preparata, Qizhi Fang | Computer Science | Springer | Details |
Recent Advances in Constraints | Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi | Computer Science | Springer | Details |
Mathematics of Surfaces XII | Ralph Martin, Malcolm Sabin, Joab Winkler | Computer Science | Springer | Details |
Inductive Logic Programming | Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad | Computer Science | Springer | Details |
Algebra and Coalgebra in Computer Science | Till Mossakowski, Ugo Montanari, Magne Haveraaen | Computer Science | Springer | Details |
Advanced Data Mining and Applications | Reda Alhajj, Hong Gao, Jianzhong Li, Xue Li, Osmar R. Zaïane | Computer Science | Springer | Details |
Comparative Evaluation of XML Information Retrieval Systems | Norbert Fuhr, Mounia Lalmas, Andrew Trotman | Computer Science | Springer | Details |
Computational Discovery of Scientific Knowledge | Sašo Džeroski, Ljup?o Todorovski | Computer Science | Springer | Details |
Artificial Immune Systems | Leandro Nunes Castro, Fernando José Zuben, Helder Knidel | Computer Science | Springer | Details |
Modelling Distributed Systems | Wan Fokkink | Computer Science | Springer | Details |
Parallel Computing Technologies | Victor Malyshkin | Computer Science | Springer | Details |
Business Intelligence for the Real-Time Enterprises | Christoph Bussler, Malu Castellanos, Umesh Dayal, Sham Navathe | Computer Science | Springer | Details |
Algorithms and Data Structures | Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh | Computer Science | Springer | Details |
Computer Network Security | Vladimir Gorodetsky, Igor Kotenko, Victor A. Skormin | Computer Science | Springer | Details |
Intercultural Collaboration | Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen | Computer Science | Springer | Details |
RoboCup 2006: Robot Soccer World Cup X | Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi | Computer Science | Springer | Details |
Architecting Dependable Systems IV | Rogério Lemos, Cristina Gacek, Alexander Romanovsky | Computer Science | Springer | Details |
Information Retrieval for Music and Motion | Meinard Müller | Computer Science | Springer | Details |
Static Analysis | Hanne Riis Nielson, Gilberto Filé | Computer Science | Springer | Details |
Web Information Systems and Technologies | Joaquim Filipe, José Cordeiro, Vitor Pedrosa | Computer Science | Springer | Details |
Swarm Intelligence | Christian Blum, Daniel Merkle | Computer Science | Springer | Details |
Decision Procedures | Daniel Kroening, Ofer Strichman | Computer Science | Springer | Details |
Logics of Specification Languages | Dines Bjørner, Martin C. Henson | Computer Science | Springer | Details |
Design by Evolution | Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz | Computer Science | Springer | Details |
The Calculus of Computation | Aaron R. Bradley, Zohar Manna | Computer Science | Springer | Details |
Speaker Classification II | Christian Müller | Computer Science | Springer | Details |
Information Hiding | Jan L. Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee | Computer Science | Springer | Details |
Algorithms in Bioinformatics | Raffaele Giancarlo, Sridhar Hannenhalli | Computer Science | Springer | Details |
Model Checking and Artificial Intelligence | Stefan Edelkamp, Alessio Lomuscio | Computer Science | Springer | Details |
Implementation and Application of Functional Languages | Zoltán Horváth, Viktória Zsók, Andrew Butterfield | Computer Science | Springer | Details |
Case-Based Reasoning Research and Development | Rosina O. Weber, Michael M. Richter | Computer Science | Springer | Details |
Advances in Cryptology - CRYPTO 2007 | Alfred Menezes | Computer Science | Springer | Details |
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues | De-Shuang Huang, Laurent Heutte, Marco Loog | Computer Science | Springer | Details |
Stochastic Discrete Event Systems | Armin Zimmermann | Computer Science | Springer | Details |
Energy Minimization Methods in Computer Vision and Pattern Recognition | Alan L. Yuille, Song-Chun Zhu, Daniel Cremers, Yongtian Wang | Computer Science | Springer | Details |
Speaker Classification I | Christian Müller | Computer Science | Springer | Details |
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence | De-Shuang Huang, Laurent Heutte, Marco Loog | Computer Science | Springer | Details |
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques | Moses Charikar, Klaus Jansen, Omer Reingold, José D. P. Rolim | Computer Science | Springer | Details |
Fundamentals of Computation Theory | Erzsébet Csuhaj-Varjú, Zoltán Ésik | Computer Science | Springer | Details |
Algorithmic Methods for Railway Optimization | Frank Geraets, Leo Kroon, Anita Schoebel, Dorothea Wagner, Christos D. Zaroliagis | Computer Science | Springer | Details |
Modeling and Using Context | Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu | Computer Science | Springer | Details |
Image Analysis and Recognition | Mohamed Kamel, Aurélio Campilho | Computer Science | Springer | Details |
Anticipatory Behavior in Adaptive Learning Systems | Martin V. Butz, Olivier Sigaud, Giovanni Pezzulo, Gianluca Baldassarre | Computer Science | Springer | Details |
Computer Analysis of Images and Patterns | Walter G. Kropatsch, Martin Kampel, Allan Hanbury | Computer Science | Springer | Details |
Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques | De-Shuang Huang, Laurent Heutte, Marco Loog | Computer Science | Springer | Details |
Advances in Computer Systems Architecture | Lynn Choi, Yunheung Paek, Sangyeun Cho | Computer Science | Springer | Details |
Recent Advances in Intrusion Detection | Christopher Kruegel, Richard Lippmann, Andrew Clark | Computer Science | Springer | Details |
Software Architecture | Zheng Qin, Xiang Zheng, Jiankuan Xing | 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