E-book Catalogue

43115 Matching Record(s) found

Title Author Subject Publisher Action
Transactions on Petri Nets and Other Models of Concurrency VII Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf Computer Science Springer Details
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Bob Coecke, Luke Ong, Prakash Panangaden Computer Science Springer Details
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Carla Gomes, Meinolf Sellmann Computer Science Springer Details
Logic-Based Program Synthesis and Transformation Elvira Albert Computer Science Springer Details
Wireless Multimedia Sensor Networks on Reconfigurable Hardware Li-minn Ang, Kah Phooi Seng, Li Wern Chew, Lee Seng Yeong, Wai Chong Chia Computer Science Springer Details
Model-Based Methodologies for Pervasive and Embedded Software Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck Computer Science Springer Details
Belief-based Stability in Coalition Formation with Uncertainty Chi-kong Chan, Ho-fung Leung Computer Science Springer Details
Graph-Based Representations in Pattern Recognition Walter G. Kropatsch, Nicole M. Artner, Yll Haxhimusa, Xiaoyi Jiang Computer Science Springer Details
Advanced Infocomm Technology Vincent Guyot Computer Science Springer Details
Web Services and Formal Methods Maurice H. Beek, Niels Lohmann Computer Science Springer Details
Algorithms and Complexity Paul G. Spirakis, Maria Serna Computer Science Springer Details
Theory and Applications of Models of Computation T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan Computer Science Springer Details
Computer Vision, Imaging and Computer Graphics. Theory and Application Gabriela Csurka, Martin Kraus, Robert S. Laramee, Paul Richard, José Braz Computer Science Springer Details
Web Dynpro ABAP for Practitioners Ulrich Gellert, Ana Daniela Cristea Computer Science Springer Details
Optical Supercomputing Shlomi Dolev, Mihai Oltean Computer Science Springer Details
Biomedical Engineering Systems and Technologies Joaquim Gabriel, Jan Schier, Sabine Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa Computer Science Springer Details
Scale Space and Variational Methods in Computer Vision Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof Computer Science Springer Details
Modeling and Simulation in Engineering, Economics, and Management María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León Computer Science Springer Details
The Semantic Web: Semantics and Big Data Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph Computer Science Springer Details
Mathematical Morphology and Its Applications to Signal and Image Processing Cris L. Luengo Hendriks, Gunilla Borgefors, Robin Strand Computer Science Springer Details
Agile Processes in Software Engineering and Extreme Programming Hubert Baumeister, Barbara Weber Computer Science Springer Details
Formal Concept Analysis Peggy Cellier, Felix Distel, Bernhard Ganter Computer Science Springer Details
Trust Management VII Carmen Fernández-Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo Computer Science Springer Details
Artificial Intelligence in Medicine Niels Peek, Roque Marín Morales, Mor Peleg Computer Science Springer Details
Web Information Systems Engineering – WISE 2011 and 2012 Workshops Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-young Paik, Quan Z. Sheng Computer Science Springer Details
Computational Intelligence Methods for Bioinformatics and Biostatistics Leif E. Peterson, Francesco Masulli, Giuseppe Russo Computer Science Springer Details
Advances in Cryptology – EUROCRYPT 2013 Thomas Johansson, Phong Q. Nguyen Computer Science Springer Details
Business Information Systems Witold Abramowicz Computer Science Springer Details
Information Systems: Methods, Models, and Applications Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige Computer Science Springer Details
Wired/Wireless Internet Communication Vassilis Tsaoussidis, Andreas J. Kassler, Yevgeni Koucheryavy, Abdelhamid Mellouk Computer Science Springer Details
Next Generation of Information Technology in Educational Management Don Passey, Andreas Breiter, Adrie Visscher Computer Science Springer Details
Advances in Artificial Intelligence Osmar R. Zaïane, Sandra Zilles Computer Science Springer Details
Enterprise, Business-Process and Information Systems Modeling Selmin Nurcan, Henderik A. Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry Halpin, Ilia Bider Computer Science Springer Details
Advanced Information Systems Engineering Workshops Xavier Franch, Pnina Soffer Computer Science Springer Details
Coordination Models and Languages Rocco Nicola, Christine Julien Computer Science Springer Details
Transactions on Computational Collective Intelligence X Ngoc-Thanh Nguyen, Joanna Ko?odziej, Tadeusz Burczy?ski, Marenglen Biba Computer Science Springer Details
Hybrid Metaheuristics María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels Computer Science Springer Details
Information Security and Cryptology Miros?aw Kuty?owski, Moti Yung Computer Science Springer Details
Experimental Algorithms Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela Computer Science Springer Details
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems Lorenzo Cavallaro, Dieter Gollmann Computer Science Springer Details
Computer Science – Theory and Applications Andrei A. Bulatov, Arseny M. Shur Computer Science Springer Details
Distributed Applications and Interoperable Systems Jim Dowling, François Taïani Computer Science Springer Details
Progress in Cryptology – AFRICACRYPT 2013 Amr Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien Computer Science Springer Details
Multimedia Communications, Services and Security Andrzej Dziech, Andrzej Czy?ewski Computer Science Springer Details
Web-Age Information Management Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou Computer Science Springer Details
Information Processing in Computer-Assisted Interventions Dean Barratt, Stéphane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab Computer Science Springer Details
Software Product Quality Control Stefan Wagner Computer Science Springer Details
Automated Deduction – CADE-24 Maria Paola Bonacina Computer Science Springer Details
Recent Trends in Applied Artificial Intelligence Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur Computer Science Springer Details
Formal Techniques for Distributed Systems Dirk Beyer, Michele Boreale Computer Science Springer Details
Reliable Software Technologies – Ada-Europe 2013 Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk Computer Science Springer Details
Business Process Models. Change Management Christian Gerth Computer Science Springer Details
Artificial Intelligence and Soft Computing Leszek Rutkowski, Marcin Korytkowski, Rafa? Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada Computer Science Springer Details
Integrated Formal Methods Einar Broch Johnsen, Luigia Petre Computer Science Springer Details
Post-Quantum Cryptography Philippe Gaborit Computer Science Springer Details
Natural and Artificial Computation in Engineering and Medical Applications José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo Computer Science Springer Details
Pattern Recognition and Image Analysis João M. Sanches, Luisa Micó, Jaime S. Cardoso Computer Science Springer Details
Network and System Security Javier Lopez, Xinyi Huang, Ravi Sandhu Computer Science Springer Details
Language Processing and Intelligent Information Systems Mieczys?aw A. K?opotek, Jacek Koronacki, Ma?gorzata Marciniak, Agnieszka Mykowiecka, S?awomir T. Wierzcho? Computer Science Springer Details
Natural and Artificial Models in Computation and Biology José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo Computer Science Springer Details
Aspect-Oriented Requirements Engineering Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid Computer Science Springer Details
Artificial Intelligence and Soft Computing Leszek Rutkowski, Marcin Korytkowski, Rafa? Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada Computer Science Springer Details
Benchmarking Peer-to-Peer Systems Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe Computer Science Springer Details
Transactions on Pattern Languages of Programming III James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford Computer Science Springer Details
Advances in Computational Intelligence Ignacio Rojas, Gonzalo Joya, Joan Gabestany Computer Science Springer Details
Advances in Computational Intelligence Ignacio Rojas, Gonzalo Joya, Joan Cabestany Computer Science Springer Details
Application and Theory of Petri Nets and Concurrency José-Manuel Colom, Jörg Desel Computer Science Springer Details
Programming Multi-Agent Systems Mehdi Dastani, Jomi F. Hübner, Brian Logan Computer Science Springer Details
Advances in Swarm Intelligence Ying Tan, Yuhui Shi, Hongwei Mo Computer Science Springer Details
End-User Development Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles Computer Science Springer Details
Advanced Information Systems Engineering Camille Salinesi, Moira C. Norrie, Óscar Pastor Computer Science Springer Details
Advances in Swarm Intelligence Ying Tan, Yuhui Shi, Hongwei Mo Computer Science Springer Details
High Performance Computing for Computational Science - VECPAR 2012 Michel Daydé, Osni Marques, Kengo Nakajima Computer Science Springer Details
Ontology Matching Jérôme Euzenat, Pavel Shvaiko Computer Science Springer Details
Supercomputing Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer Computer Science Springer Details

library locations

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