Title | Author | Subject | Publisher | Action |
Technologies for Interactive Digital Storytelling and Entertainment | Stefan Göbel, Rainer Malkewitz, Ido Iurgel | Computer Science | Springer | Details |
Principles of Distributed Systems | Mariam Momenzadeh Alexander A. Shvartsman | Computer Science | Springer | Details |
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | S. Arun-Kumar, Naveen Garg | Computer Science | Springer | Details |
Practical Aspects of Knowledge Management | Ulrich Reimer, Dimitris Karagiannis | Computer Science | Springer | Details |
High Performance Computing - HiPC 2006 | Yves Robert, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna | Computer Science | Springer | Details |
Biological and Medical Data Analysis | Nicos Maglaveras, Ioanna Chouvarda, Vassilis Koutkias, Rüdiger Brause | Computer Science | Springer | Details |
Parallel and Distributed Processing and Applications | Minyi Guo, Laurence T. Yang, Beniamino Martino, Hans P. Zima, Jack Dongarra, Feilong Tang | Computer Science | Springer | Details |
High Confidence Software Reuse in Large Systems | Hong Mei | Computer Science | Springer | Details |
Advances in Grid and Pervasive Computing | Song Wu, Laurence T. Yang, Tony Li Xu | Computer Science | Springer | Details |
Types for Proofs and Programs | Marino Miculan, Ivan Scagnetto, Furio Honsell | Computer Science | Springer | Details |
Parallel Processing and Applied Mathematics | Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski | Computer Science | Springer | Details |
Foundations of Intelligent Systems | Aijun An, Stan Matwin, Zbigniew W. Ra?, Dominik ?l?zak | Computer Science | Springer | Details |
Advances in Knowledge Discovery and Data Mining | Takashi Washio, Einoshin Suzuki, Kai Ming Ting, Akihiro Inokuchi | Computer Science | Springer | Details |
Service Availability | Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek | Computer Science | Springer | Details |
Formal Correctness of Security Protocols | Giampaolo Bella | Computer Science | Springer | Details |
Distributed Computing and Networking | Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura | Computer Science | Springer | Details |
Internet and Network Economics | Paul Spirakis, Marios Mavronicolas, Spyros Kontogiannis | Computer Science | Springer | Details |
Agent Communication II | Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores | Computer Science | Springer | Details |
Service-Oriented Computing ? ICSOC 2006 | Asit Dan, Winfried Lamersdorf | Computer Science | Springer | Details |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | Laurent Perron, Michael A. Trick | Computer Science | Springer | Details |
Progress in Cryptology ? AFRICACRYPT 2008 | Serge Vaudenay | Computer Science | Springer | Details |
Modeling Semantic Web Services | Jos Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna | Computer Science | Springer | Details |
Wiki | Anja Ebersbach, Markus Glaser, Richard Heigl, Alexander Warta | Computer Science | Springer | Details |
The IT Measurement Compendium | Manfred Bundschuh, Carol Dekkers | Computer Science | Springer | Details |
Software Engineering Education in the Modern Age | Paola Inverardi, Mehdi Jazayeri | Computer Science | Springer | Details |
The Semantic Web: Research and Applications | Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis | Computer Science | Springer | Details |
FM 2008: Formal Methods | Jorge Cuellar, Tom Maibaum, Kaisa Sere | Computer Science | Springer | Details |
Agile Processes in Software Engineering and Extreme Programming | Pekka Abrahamsson, Richard Baskerville, Kieran Conboy, Brian Fitzgerald, Lorraine Morgan, Xiaofeng Wang | Computer Science | Springer | Details |
Middleware 2006 | Maarten Steen, Michi Henning | Computer Science | Springer | Details |
Web Information Systems and Technologies | Joaquim Filipe, José Cordeiro | Computer Science | Springer | Details |
Coordination Models and Languages | Doug Lea, Gianluigi Zavattaro | Computer Science | Springer | Details |
Advances in Image and Video Technology | Long-Wen Chang, Wen-Nung Lie | Computer Science | Springer | Details |
Computer Vision, Graphics and Image Processing | Prem K. Kalra, Shmuel Peleg | Computer Science | Springer | Details |
New Stream Cipher Designs | Matthew Robshaw, Olivier Billet | Computer Science | Springer | Details |
System Analysis and Modeling: Language Profiles | Reinhard Gotzhein, Rick Reed | Computer Science | Springer | Details |
Distributed Computing and Internet Technology | Sanjay K. Madria, Kajal T. Claypool, Rajgopal Kannan, Prem Uppuluri, Manoj Madhava Gore | Computer Science | Springer | Details |
Formal Methods in Systems Biology | Jasmin Fisher | Computer Science | Springer | Details |
Mining Complex Data | Zbigniew W. Ra?, Shusaku Tsumoto, Djamel Zighed | Computer Science | Springer | Details |
DNA Computing | Chengde Mao, Takashi Yokomori | Computer Science | Springer | Details |
Heterogeneous Objects Modelling and Applications | Alexander Pasko, Valery Adzhiev, Peter Comninos | Computer Science | Springer | Details |
Requirements Management | Colin Hood, Simon Wiedemann, Stefan Fichtinger, Urte Pautz | Computer Science | Springer | Details |
Persuasive Technology | Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm | Computer Science | Springer | Details |
Advances in Web Based Learning ? ICWL 2006 | Wenyin Liu, Qing Li, Rynson W.H. Lau | Computer Science | Springer | Details |
Testing of Software and Communicating Systems | Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa | Computer Science | Springer | Details |
Experimental Algorithms | Catherine C. McGeoch | Computer Science | Springer | Details |
OpenMP Shared Memory Parallel Programming | Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss | Computer Science | Springer | Details |
Tools for High Performance Computing | Michael Resch, Rainer Keller, Valentin Himmler, Bettina Krammer, Alexander Schulz | Computer Science | Springer | Details |
Multimodal Technologies for Perception of Humans | Rainer Stiefelhagen, Rachel Bowers, Jonathan Fiscus | Computer Science | Springer | Details |
Reliable Software Technologies ? Ada-Europe 2008 | Fabrice Kordon, Tullio Vardanega | Computer Science | Springer | Details |
Temporal Logic and State Systems | Fred Kröger, Stephan Merz | Computer Science | Springer | Details |
Information Retrieval Technology | Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou | Computer Science | Springer | Details |
Distributed Applications and Interoperable Systems | René Meier, Sotirios Terzis | Computer Science | Springer | Details |
Advances in Enterprise Engineering I | Jan L. G. Dietz, Antonia Albani, Joseph Barjis | Computer Science | Springer | Details |
Artificial General Intelligence | Ben Goertzel, Cassio Pennachin | Computer Science | Springer | Details |
Concurrency, Graphs and Models | Pierpaolo Degano, Rocco Nicola, José Meseguer | Computer Science | Springer | Details |
Literature-based Discovery | Peter Bruza, Marc Weeber | Computer Science | Springer | Details |
Service Availability | Dave Penkler, Manfred Reitenspiess, Francis Tam | Computer Science | Springer | Details |
Applications and Theory of Petri Nets | Kees M. Hee, Rüdiger Valk | Computer Science | Springer | Details |
PEACH - Intelligent Interfaces for Museum Visits | Oliviero Stock, Massimo Zancanaro | Computer Science | Springer | Details |
B 2007: Formal Specification and Development in B | Jacques Julliand, Olga Kouchnarenko | Computer Science | Springer | Details |
Modeling Decisions | Vicenç Torra, Yasuo Narukawa | Computer Science | Springer | Details |
Privacy Enhancing Technologies | George Danezis, Philippe Golle | Computer Science | Springer | Details |
Toward Category-Level Object Recognition | Jean Ponce, Martial Hebert, Cordelia Schmid, Andrew Zisserman | Computer Science | Springer | Details |
Progress in Cryptology - VIETCRYPT 2006 | Phong Q. Nguyen | Computer Science | Springer | Details |
Neural Preprocessing and Control of Reactive Walking Machines | Poramate Manoonpong | Computer Science | Springer | Details |
Finite Model Theory and Its Applications | Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein | Computer Science | Springer | Details |
Wired/Wireless Internet Communications | Jarmo Harju, Geert Heijenk, Peter Langendörfer, Vasilios A. Siris | Computer Science | Springer | Details |
Advances in Artificial Intelligence | Sabine Bergler | Computer Science | Springer | Details |
RoboCup 2007: Robot Soccer World Cup XI | Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert | Computer Science | Springer | Details |
Formal Techniques for Networked and Distributed Systems ? FORTE 2008 | Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih | Computer Science | Springer | Details |
Logical and Relational Learning | Luc De Raedt | Computer Science | Springer | Details |
Computational Intelligence: Research Frontiers | Jacek M. Zurada, Gary G. Yen, Jun Wang | Computer Science | Springer | Details |
Formal Methods for Open Object-Based Distributed Systems | Gilles Barthe, Frank S. Boer | Computer Science | Springer | Details |
Cognitive Reasoning | Tamás Gergely, Oleg M. Anshakov | Computer Science | Springer | Details |
Algorithmic Aspects in Information and Management | Rudolf Fleischer, Jinhui Xu | 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