Title | Author | Subject | Publisher | Action |
Compiler Construction | Björn Franke | Computer Science | Springer | Details |
Principles of Security and Trust | Riccardo Focardi, Andrew Myers | Computer Science | Springer | Details |
Programming Languages and Systems | Jan Vitek | Computer Science | Springer | Details |
Fundamental Approaches to Software Engineering | Alexander Egyed, Ina Schaefer | Computer Science | Springer | Details |
Foundations of Software Science and Computation Structures | Andrew Pitts | Computer Science | Springer | Details |
Tools and Algorithms for the Construction and Analysis of Systems | Christel Baier, Cesare Tinelli | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XX | Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sherif Sakr, Lizhe Wang, Albert Zomaya | Computer Science | Springer | Details |
Fast Software Encryption | Carlos Cid, Christian Rechberger | Computer Science | Springer | Details |
Transactions on Aspect-Oriented Software Development XII | Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld | Computer Science | Springer | Details |
Transactions on Data Hiding and Multimedia Security X | Yun Q. Shi | Computer Science | Springer | Details |
Intelligence in the Era of Big Data | Rolly Intan, Chi-Hung Chi, Henry N. Palit, Leo W. Santoso | Computer Science | Springer | Details |
Advances in Cryptology -- EUROCRYPT 2015 | Elisabeth Oswald, Marc Fischlin | Computer Science | Springer | Details |
Advances in Cryptology - EUROCRYPT 2015 | Elisabeth Oswald, Marc Fischlin | Computer Science | Springer | Details |
Perspectives of System Informatics | Andrei Voronkov, Irina Virbitskaite | Computer Science | Springer | Details |
Frontiers in Internet Technologies | Shiyong Zhang, Ke Xu, Mingwei Xu, Jie Wu, Chengrong Wu, Yiping Zhong | Computer Science | Springer | Details |
Enabling Real-Time Business Intelligence | Malu Castellanos, Umeshwar Dayal, Torben Bach Pedersen, Nesime Tatbul | Computer Science | Springer | Details |
Logic, Language, and Computation | Martin Aher, Daniel Hole, Emil Je?ábek, Clemens Kupke | Computer Science | Springer | Details |
Advances in Wireless Sensor Networks | Limin Sun, Huadong Ma, Dingyi Fang, Jinping Niu, Wei Wang | Computer Science | Springer | Details |
Transactions on Computational Science XXV | Marina L. Gavrilova, C.J. Kenneth Tan, Khalid Saeed, Nabendu Chaki, Soharab Hossain Shaikh | Computer Science | Springer | Details |
Enterprise Interoperability | Marten van Sinderen, Vincent Chapurlat | Computer Science | Springer | Details |
Industrial Engineering, Management Science and Applications 2015 | Mitsuo Gen, Kuinam J. Kim, Xiaoxia Huang, Yabe Hiroshi | Computer Science | Springer | Details |
Cellular Automata and Discrete Complex Systems | Jarkko Kari | Computer Science | Springer | Details |
Quality-aware Scheduling for Key-value Data Stores | Chen Xu, Aoying Zhou | Computer Science | Springer | Details |
Computer-Aided Architectural Design Futures. The Next City - New Technologies and the Future of the Built Environment | Gabriela Celani, David Moreno Sperling, Juarez Moara Santos Franco | Computer Science | Springer | Details |
Trustworthy Computing and Services | Lu Yueming, Wu Xu, Zhang Xi | Computer Science | Springer | Details |
Automata, Languages, and Programming | Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann | Computer Science | Springer | Details |
Automata, Languages, and Programming | Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann | Computer Science | Springer | Details |
Logic, Language, Information, and Computation | Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira | Computer Science | Springer | Details |
The Mobility Revolution in the Automotive Industry | Dr. Sebastian Wedeniwski | Computer Science | Springer | Details |
Advances in Image and Graphics Technologies | Tieniu Tan, Qiuqi Ruan, Shengjin Wang, Huimin Ma, Kaichang Di | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI | Abdelkader Hameurlain, Josef Küng, Roland Wagner, Alfredo Cuzzocrea, Umeshwar Dayal | Computer Science | Springer | Details |
Real-Time C++ | Christopher Kormanyos | Computer Science | Springer | Details |
Transactions on Rough Sets XIX | James F. Peters, Andrzej Skowron, Dominik ?l?zak, Hung Son Nguyen, Jan G. Bazan | Computer Science | Springer | Details |
Financial Cryptography and Data Security | Rainer Böhme, Tatsuaki Okamoto | Computer Science | Springer | Details |
Petri Net Synthesis | Eric Badouel, Luca Bernardinello, Philippe Darondeau | Computer Science | Springer | Details |
Introduction to Cryptography | Hans Delfs, Helmut Knebl | Computer Science | Springer | Details |
Graph and Model Transformation | Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann | Computer Science | Springer | Details |
Advances in Cryptology -- CRYPTO 2015 | Rosario Gennaro, Matthew Robshaw | Computer Science | Springer | Details |
Higher-Order Computability | John Longley, Dag Normann | Computer Science | Springer | Details |
Advances in Cryptology -- CRYPTO 2015 | Rosario Gennaro, Matthew Robshaw | Computer Science | Springer | Details |
Financial Cryptography and Data Security | Michael Brenner, Nicolas Christin, Benjamin Johnson, Kurt Rohloff | Computer Science | Springer | Details |
Mathematical Foundations of Computer Science 2015 | Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella | Computer Science | Springer | Details |
Mathematical Foundations of Computer Science 2015 | Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella | Computer Science | Springer | Details |
Carl Adam Petri | Einar Smith | Computer Science | Springer | Details |
Euro-Par 2015: Parallel Processing | Jesper Larsson Träff, Sascha Hunold, Francesco Versaci | Computer Science | Springer | Details |
Fast Software Encryption | Gregor Leander | Computer Science | Springer | Details |
New Frontiers in Artificial Intelligence | Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki | Computer Science | Springer | Details |
Robotics | Fernando S. Osório, Denis Fernando Wolf, Kalinka Castelo Branco, Valdir Grassi Jr., Marcelo Becker, Roseli A. Francelin Romero | Computer Science | Springer | Details |
Transactions on Computational Collective Intelligence XVIII | Ngoc Thanh Nguyen | Computer Science | Springer | Details |
Algorithms in Bioinformatics | Mihai Pop, Hélène Touzet | Computer Science | Springer | Details |
Transactions on Edutainment XI | Zhigeng Pan, Adrian David Cheok, Wolfgang Mueller, Mingmin Zhang | Computer Science | Springer | Details |
Static Analysis | Sandrine Blazy, Thomas Jensen | Computer Science | Springer | Details |
Introduction to Information Retrieval and Quantum Mechanics | Massimo Melucci | Computer Science | Springer | Details |
Multidisciplinary Social Networks Research | Leon Wang, Shiro Uesugi, I-Hsien Ting, Koji Okuhara, Kai Wang | Computer Science | Springer | Details |
Cryptographic Hardware and Embedded Systems -- CHES 2015 | Tim Güneysu, Helena Handschuh | Computer Science | Springer | Details |
Algorithms - ESA 2015 | Nikhil Bansal, Irene Finocchi | Computer Science | Springer | Details |
CryptoSchool | Joachim von zur Gathen | Computer Science | Springer | Details |
Algorithmic Game Theory | Martin Hoefer | Computer Science | Springer | Details |
Spatial Data Mining | Deren Li, Shuliang Wang, Deyi Li | Computer Science | Springer | Details |
Models of Strategic Reasoning | Johan van Benthem, Sujata Ghosh, Rineke Verbrugge | Computer Science | Springer | Details |
Computer Vision | Hongbin Zha, Xilin Chen, Liang Wang, Qiguang Miao | Computer Science | Springer | Details |
Logic, Rationality, and Interaction | Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII | Abdelkader Hameurlain, Josef Küng, Roland Wagner | Computer Science | Springer | Details |
Computer Vision | Hongbin Zha, Xilin Chen, Liang Wang, Qiguang Miao | Computer Science | Springer | Details |
Clustering High--Dimensional Data | Francesco Masulli, Alfredo Petrosino, Stefano Rovetta | Computer Science | Springer | Details |
Service-Oriented Computing | Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam | Computer Science | Springer | Details |
Requirements Engineering in the Big Data Era | Lin Liu, Mikio Aoyama | Computer Science | Springer | Details |
ICTs for Improving Patients Rehabilitation Research Techniques | Habib M. Fardoun, Victor M R. Penichet, Daniyal M. Alghazzawi | Computer Science | Springer | Details |
Transactions on Petri Nets and Other Models of Concurrency X | Maciej Koutny, Jörg Desel, Serge Haddad | Computer Science | Springer | Details |
Distributed Computing | Yoram Moses | Computer Science | Springer | Details |
Applications and Techniques in Information Security | Wenjia Niu, Gang Li, Jiqiang Liu, Jianlong Tan, Li Guo, Zhen Han, Lynn Batten | Computer Science | Springer | Details |
Advances in Cryptology -- ASIACRYPT 2015 | Tetsu Iwata, Jung Hee Cheon | Computer Science | Springer | Details |
Advances in Cryptology – ASIACRYPT 2015 | Tetsu Iwata, Jung Hee Cheon | Computer Science | Springer | Details |
Logic for Programming, Artificial Intelligence, and Reasoning | Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov | Computer Science | Springer | Details |
Algorithms and Computation | Khaled Elbassioni, Kazuhisa Makino | 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