43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
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 |
Computational Intelligence and Security | Yuping Wang, Yiu-ming Cheung, Hailin Liu | Computer Science | Springer | Details |
Advanced Data Warehouse Design | Elzbieta Malinowski, Esteban Zimányi | Computer Science | Springer | Details |
CONCUR 2007 ? Concurrency Theory | Luís Caires, Vasco T. Vasconcelos | Computer Science | Springer | Details |
Trust, Privacy and Security in Digital Business | Costas Lambrinoudakis, Günther Pernul, A Min Tjoa | Computer Science | Springer | Details |
Grid Economics and Business Models | Daniel J. Veit, Jörn Altmann | Computer Science | Springer | Details |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Nadine Azémard, Lars Svensson | Computer Science | Springer | Details |
Electronic Government | Maria A. Wimmer, Jochen Scholl, Åke Grönlund | Computer Science | Springer | Details |
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics | Thomas Stützle, Mauro Birattari, Holger H. Hoos | Computer Science | Springer | Details |
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies | Bo Chen, Mike Paterson, Guochuan Zhang | Computer Science | Springer | Details |
Mathematical Foundations of Computer Science 2007 | Lud?k Ku?era, Antonín Ku?era | Computer Science | Springer | Details |
Coordination, Organizations, Institutions, and Norms in Agent Systems II | Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson | Computer Science | Springer | Details |
Selected Areas in Cryptography | Eli Biham, Amr M. Youssef | Computer Science | Springer | Details |
Types for Proofs and Programs | Thorsten Altenkirch, Conor McBride | Computer Science | Springer | Details |
Euro-Par 2007 Parallel Processing | Anne-Marie Kermarrec, Luc Bougé, Thierry Priol | Computer Science | Springer | Details |
Database and Expert Systems Applications | Roland Wagner, Norman Revell, Günther Pernul | 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