Title | Author | Subject | Publisher | Action |
SOFSEM 2013: Theory and Practice of Computer Science | Peter Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack | Computer Science | Springer | Details |
Formal Aspects of Component Software | Corina S. P?s?reanu, Gwen Salaün | Computer Science | Springer | Details |
Mobile Communication and Power Engineering | Vinu V Das, Yogesh Chaba | Computer Science | Springer | Details |
Job Scheduling Strategies for Parallel Processing | Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn | Computer Science | Springer | Details |
Verification, Model Checking, and Abstract Interpretation | Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni | Computer Science | Springer | Details |
Information Systems, E-learning, and Knowledge Management Research | Miltiadis D. Lytras, Da Ruan, Robert D. Tennyson, Patricia Ordonez De Pablos, Francisco José García Peñalvo, Lazar Rusu | Computer Science | Springer | Details |
Formal Methods for Components and Objects | Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue | Computer Science | Springer | Details |
Data Privacy Management and Autonomous Spontaneous Security | Roberto Pietro, Javier Herranz, Ernesto Damiani, Radu State | Computer Science | Springer | Details |
Facing the Multicore-Challenge III | Rainer Keller, David Kramer, Jan-Philipp Weiss | Computer Science | Springer | Details |
Computer Engineering and Technology | Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang | Computer Science | Springer | Details |
Uncertainty Reasoning for the Semantic Web II | Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool | Computer Science | Springer | Details |
Modern Probabilistic Methods for Analysis of Telecommunication Networks | Alexander Dudin, Valentina Klimenok, Gennadiy Tsarenkov, Sergey Dudin | Computer Science | Springer | Details |
Generative and Transformational Techniques in Software Engineering IV | Ralf Lämmel, João Saraiva, Joost Visser | Computer Science | Springer | Details |
Selected Areas in Cryptography | Lars R. Knudsen, Huapeng Wu | Computer Science | Springer | Details |
Semantics in Data and Knowledge Bases | Klaus-Dieter Schewe, Bernhard Thalheim | Computer Science | Springer | Details |
Languages and Compilers for Parallel Computing | Sanjay Rajopadhye, Michelle Mills Strout | Computer Science | Springer | Details |
Logic and Its Applications | Kamal Lodaya | Computer Science | Springer | Details |
Mathematical and Engineering Methods in Computer Science | Antonín Ku?era, Thomas A. Henzinger, Jaroslav Nešet?il, Tomáš Vojnar, David Antoš | Computer Science | Springer | Details |
Software Engineering | Andrea Lucia, Filomena Ferrucci | Computer Science | Springer | Details |
System Modeling and Optimization | Dietmar Hömberg, Fredi Tröltzsch | Computer Science | Springer | Details |
WALCOM: Algorithms and Computation | Subir Kumar Ghosh, Takeshi Tokuyama | Computer Science | Springer | Details |
Distributed Computing and Internet Technology | Chittaranjan Hota, Pradip K. Srimani | Computer Science | Springer | Details |
Citizen in Sensor Networks | Jordi Nin, Daniel Villatoro | Computer Science | Springer | Details |
Software Language Engineering | Krzysztof Czarnecki, Görel Hedin | Computer Science | Springer | Details |
Algorithms for Sensor Systems | Amotz Bar-Noy, Magnús M. Halldórsson | Computer Science | Springer | Details |
Topics in Cryptology – CT-RSA 2013 | Ed Dawson | Computer Science | Springer | Details |
Computer and Computing Technologies in Agriculture VI | Daoliang Li, Yingyi Chen | Computer Science | Springer | Details |
Construction and Evolution of Code Generators | Sven Jörges | Computer Science | Springer | Details |
Computer and Computing Technologies in Agriculture VI | Daoliang Li, Yingyi Chen | Computer Science | Springer | Details |
Radio Frequency Identification. Security and Privacy Issues | Jaap-Henk Hoepman, Ingrid Verbauwhede | Computer Science | Springer | Details |
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | José L. Ayala, Delong Shang, Alex Yakovlev | Computer Science | Springer | Details |
Software and Data Technologies | María José Escalona, José Cordeiro, Boris Shishkov | Computer Science | Springer | Details |
Security Protocols XVII | Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe | Computer Science | Springer | Details |
Enterprise Applications and Services in the Finance Industry | Fethi A. Rabhi, Peter Gomber | Computer Science | Springer | Details |
Assurances for Self-Adaptive Systems | Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes | Computer Science | Springer | Details |
Advances in Wireless Sensor Networks | Ruchuan Wang, Fu Xiao | Computer Science | Springer | Details |
Handbook of Data Quality | Shazia Sadiq | Computer Science | Springer | Details |
Business Process Management Workshops | Marcello Rosa, Pnina Soffer | Computer Science | Springer | Details |
Agents and Data Mining Interaction | Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Philip S. Yu, Munindar P Singh | Computer Science | Springer | Details |
Reversible Computation | Robert Glück, Tetsuo Yokoyama | Computer Science | Springer | Details |
Business Intelligence | Marie-Aude Aufaure, Esteban Zimányi | Computer Science | Springer | Details |
Advances in Computing, Communication, and Control | Srija Unnikrishnan, Sunil Surve, Deepak Bhoir | Computer Science | Springer | Details |
Pairing-Based Cryptography – Pairing 2012 | Michel Abdalla, Tanja Lange | Computer Science | Springer | Details |
Chinese Lexical Semantics | Donghong Ji, Guozheng Xiao | Computer Science | Springer | Details |
Exploring Services Science | João Falcão e Cunha, Mehdi Snene, Henriqueta Nóvoa | Computer Science | Springer | Details |
Public-Key Cryptography – PKC 2013 | Kaoru Kurosawa, Goichiro Hanaoka | Computer Science | Springer | Details |
Information Hiding | Matthias Kirchner, Dipak Ghosal | Computer Science | Springer | Details |
SmartShadow: Models and Methods for Pervasive Computing | Zhaohui Wu, Gang Pan | Computer Science | Springer | Details |
Semantic Mashups | Brigitte Endres-Niggemeyer | Computer Science | Springer | Details |
Information Retrieval Meets Information Visualization | Maristella Agosti, Nicola Ferro, Pamela Forner, Henning Müller, Giuseppe Santucci | Computer Science | Springer | Details |
Architecture of Computing Systems – ARCS 2013 | Hana Kubátová, Christian Hochberger, Martin Dan?k, Bernhard Sick | Computer Science | Springer | Details |
Process Support and Knowledge Representation in Health Care | Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, David Riaño, Annette Teije | Computer Science | Springer | Details |
Cognitive Agents for Virtual Environments | Frank Dignum, Cyril Brom, Koen Hindriks, Martin Beer, Deborah Richards | Computer Science | Springer | Details |
Transactions on Rough Sets XVI | James F. Peters, Andrzej Skowron, Sheela Ramanna, Zbigniew Suraj, Xin Wang | Computer Science | Springer | Details |
Wireless Network Security | Lei Chen, Jiahuang Ji, Zihong Zhang | Computer Science | Springer | Details |
Passive and Active Measurement | Matthew Roughan, Rocky Chang | Computer Science | Springer | Details |
Intelligent Information and Database Systems | Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron | Computer Science | Springer | Details |
Intelligent Information and Database Systems | Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron | Computer Science | Springer | Details |
Engineering Secure Software and Systems | Jan Jürjens, Benjamin Livshits, Riccardo Scandariato | Computer Science | Springer | Details |
Learning C# by Programming Games | Arjan Egges, Jeroen D. Fokker, Mark H. Overmars | Computer Science | Springer | Details |
Systems and Software Variability Management | Rafael Capilla, Jan Bosch, Kyo-Chul Kang | Computer Science | Springer | Details |
Theory of Cryptography | Amit Sahai | Computer Science | Springer | Details |
Web Information Systems and Technologies | José Cordeiro, Karl-Heinz Krempels | Computer Science | Springer | Details |
Enterprise Information Systems of the Future | Geert Poels | Computer Science | Springer | Details |
Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages | Ira Diethelm, Roland T. Mittermeir | Computer Science | Springer | Details |
Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging | Bjoern H. Menze, Georg Langs, Le Lu, Albert Montillo, Zhuowen Tu, Antonio Criminisi | Computer Science | Springer | Details |
Mobile Computing, Applications, and Services | David Uhler, Khanjan Mehta, Jennifer L. Wong | Computer Science | Springer | Details |
Context-Aware Systems and Applications | Phan Cong Vinh, Nguyen Manh Hung, Nguyen Thanh Tung, Junichi Suzuki | Computer Science | Springer | Details |
Domain Engineering | Iris Reinhartz-Berger, Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin | Computer Science | Springer | Details |
Mobile Wireless Middleware, Operating Systems, and Applications | Cristian Borcea, Paolo Bellavista, Carlo Giannelli, Thomas Magedanz, Florian Schreiner | Computer Science | Springer | Details |
Intelligent Science and Intelligent Data Engineering | Jian Yang, Fang Fang, Changyin Sun | Computer Science | Springer | Details |
Wireless Sensor Networks | Piet Demeester, Ingrid Moerman, Andreas Terzis | Computer Science | Springer | Details |
Automated Reasoning and Mathematics | Maria Paola Bonacina, Mark E. Stickel | Computer Science | Springer | Details |
Medical Content-Based Retrieval for Clinical Decision Support | Hayit Greenspan, Henning Müller, Tanveer Syeda-Mahmood | Computer Science | Springer | Details |
Integer Programming and Combinatorial Optimization | Michel Goemans, José Correa | 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