43115 Matching Record(s) found
Title | Author | Subject | Publisher | Action |
Logic and Its Applications | Mohua Banerjee, Shankara Narayanan Krishna | Computer Science | Springer | Details |
Algorithms for Sensor Systems | Jie Gao, Alon Efrat, Sándor P. Fekete, Yanyong Zhang | Computer Science | Springer | Details |
SOFSEM 2015: Theory and Practice of Computer Science | Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer | Computer Science | Springer | Details |
Verification, Model Checking, and Abstract Interpretation | Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen | Computer Science | Springer | Details |
On Meaningful Scientific Laws | Jean-Claude Falmagne, Christopher Doble | Computer Science | Springer | Details |
Technology in Education. Transforming Educational Practices with Technology | Kam Cheong Li, Tak-Lam Wong, Simon K. S. Cheung, Jeanne Lam, Kwan Keung Ng | Computer Science | Springer | Details |
Process-Aware Systems | Jian Cao, Lijie Wen, Xiao Liu | Computer Science | Springer | Details |
Agent Technology for Intelligent Mobile Services and Smart Societies | Fernando Koch, Felipe Meneguzzi, Kiran Lakkaraju | Computer Science | Springer | Details |
Intelligent Computation in Big Data Era | Hongzhi Wang, Haoliang Qi, Wanxiang Che, Zhaowen Qiu, Leilei Kong, Zhongyuan Han, Junyu Lin, Zeguang Lu | Computer Science | Springer | Details |
Advances in Web-Based Learning – ICWL 2013 Workshops | Dickson K. W. Chiu, Minhong Wang, Elvira Popescu, Qing Li, Rynson Lau, Timothy K. Shih, Chu-Sing Yang, Demetrios G. Sampson | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII | Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania | Computer Science | Springer | Details |
Ad-hoc Networks and Wireless | Miguel Garcia Pineda, Jaime Lloret, Symeon Papavassiliou, Stefan Ruehrup, Carlos Becker Westphall | Computer Science | Springer | Details |
Fireworks Algorithm | Ying Tan | Computer Science | Springer | Details |
MAC Protocols for Cyber-Physical Systems | Feng Xia, Azizur Rahim | Computer Science | Springer | Details |
Data-Driven Process Discovery and Analysis | Paolo Ceravolo, Rafael Accorsi, Philippe Cudre-Mauroux | Computer Science | Springer | Details |
Public-Key Cryptography -- PKC 2015 | Jonathan Katz | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII | Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link | Computer Science | Springer | Details |
Theory of Cryptography | Yevgeniy Dodis, Jesper Buus Nielsen | Computer Science | Springer | Details |
Theory of Cryptography | Yevgeniy Dodis, Jesper Buus Nielsen | Computer Science | Springer | Details |
Fundamentals of Business Intelligence | Wilfried Grossmann, Stefanie Rinderle-Ma | Computer Science | Springer | Details |
Knowledge Discovery, Knowledge Engineering and Knowledge Management | Ana Fred, Jan L.G. Dietz, Kecheng Liu, Joaquim Filipe | Computer Science | Springer | Details |
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX | Abdelkader Hameurlain, Josef Küng, Roland Wagner, Devis Bianchini, Valeria De Antonellis, Roberto De Virgilio | Computer Science | Springer | Details |
The Semantic Web: ESWC 2012 Satellite Events | Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Raphaël Troncy | Computer Science | Springer | Details |
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 |
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