10063 Matching Record(s) found
| Title | Author | Subject | Publisher | Action | 
| 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 | 
| Computational Science and Its Applications ? ICCSA 2007 | Osvaldo Gervasi, Marina L. Gavrilova | Computer Science | Springer | Details | 
| Computational Science and Its Applications ? ICCSA 2007 | Osvaldo Gervasi, Marina L. Gavrilova | Computer Science | Springer | Details | 
| Holonic and Multi-Agent Systems for Manufacturing | Vladimír Ma?ík, Valeriy Vyatkin, Armando W. Colombo | Computer Science | Springer | Details | 
| Computational Science and Its Applications ? ICCSA 2007 | Osvaldo Gervasi, Marina L. Gavrilova | Computer Science | Springer | Details | 
| Independent Component Analysis and Signal Separation | Mike E. Davies, Christopher J. James, Samer A. Abdallah, Mark D Plumbley | Computer Science | Springer | Details | 
| Computer Science ? Theory and Applications | Volker Diekert, Mikhail V. Volkov, Andrei Voronkov | Computer Science | Springer | Details | 
| Advances in Biometrics | Seong-Whan Lee, Stan Z. Li | Computer Science | Springer | Details | 
| Data Warehousing and Knowledge Discovery | Il Yeal Song, Johann Eder, Tho Manh Nguyen | Computer Science | Springer | Details | 
| E-Commerce and Web Technologies | Giuseppe Psaila, Roland Wagner | Computer Science | Springer | Details | 
| KI 2007: Advances in Artificial Intelligence | Joachim Hertzberg, Michael Beetz, Roman Englert | Computer Science | Springer | Details | 
| Network-Based Information Systems | Tomoya Enokido, Leonard Barolli, Makoto Takizawa | Computer Science | Springer | Details | 
| Advances in Computation and Intelligence | Lishan Kang, Yong Liu, Sanyou Zeng | Computer Science | Springer | Details | 
| Theorem Proving in Higher Order Logics | Klaus Schneider, Jens Brandt | Computer Science | Springer | Details | 
| Machines, Computations, and Universality | Jérôme Durand-Lose, Maurice Margenstern | Computer Science | Springer | Details | 
| Advanced Concepts for Intelligent Vision Systems | Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders | Computer Science | Springer | Details | 
| Logic Programming | Véronica Dahl, Ilkka Niemelä | Computer Science | Springer | Details | 
| Reasoning Web | Grigoris Antoniou, Uwe Aßmann, Cristina Baroglio, Stefan Decker, Nicola Henze, Paula-Lavinia Patranjan, Robert Tolksdorf | Computer Science | Springer | Details | 
| Fast Software Encryption | Alex Biryukov | Computer Science | Springer | Details | 
| Frontiers of Combining Systems | Boris Konev, Frank Wolter | Computer Science | Springer | Details | 
| Evolvable Systems: From Biology to Hardware | Lishan Kang, Yong Liu, Sanyou Zeng | Computer Science | Springer | Details | 
| Text, Speech and Dialogue | Václav Matoušek, Pavel Mautner | 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