E-book Catalogue

Refresh

43115 Matching Record(s) found

Title Author Subject Publisher Action
Nature Inspired Problem-Solving Methods in Knowledge Engineering José Mira, José R. Álvarez Computer Science Springer Details
Systems Biology and Computational Proteomics Trey Ideker, Vineet Bafna Computer Science Springer Details
Testing of Software and Communicating Systems Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp Computer Science Springer Details
Arithmetic of Finite Fields Claude Carlet, Berk Sunar Computer Science Springer Details
User Modeling 2007 Cristina Conati, Kathleen McCoy, Georgios Paliouras Computer Science Springer Details
Towards Mechanized Mathematical Assistants Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger Computer Science Springer Details
Distributed Computing in Sensor Systems James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden Computer Science Springer Details
Transactions on Data Hiding and Multimedia Security II Yun Q. Shi Computer Science Springer Details
Petri Nets and Other Models of Concurrency ? ICATPN 2007 Jetty Kleijn, Alex Yakovlev Computer Science Springer Details
Automated Reasoning with Analytic Tableaux and Related Methods Nicola Olivetti Computer Science Springer Details
Agile Processes in Software Engineering and Extreme Programming Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi Computer Science Springer Details
Human-Computer Interaction. Interaction Design and Usability Julie A. Jacko Computer Science Springer Details
Human-Computer Interaction. Interaction Platforms and Techniques Julie A. Jacko Computer Science Springer Details
Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments Julie A. Jacko Computer Science Springer Details
Human-Computer Interaction. HCI Applications and Services Julie A. Jacko Computer Science Springer Details
Software Engineering for Multi-Agent Systems V Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky Computer Science Springer Details
Statistical Network Analysis: Models, Issues, and New Directions Edoardo Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng Computer Science Springer Details
Ruby on Rails for PHP and Java Developers Deepak Vohra Computer Science Springer Details
Rewriting, Computation and Proof Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner Computer Science Springer Details
Formal Techniques for Networked and Distributed Systems ? FORTE 2007 John Derrick, Jüri Vain Computer Science Springer Details
Developments in Language Theory Tero Harju, Juhani Karhumäki, Arto Lepistö Computer Science Springer Details
Integrated Formal Methods Jim Davies, Jeremy Gibbons Computer Science Springer Details
Smart Graphics Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Shigeru Owada Computer Science Springer Details
Foundations of Augmented Cognition Dylan D. Schmorrow, Leah M. Reeves Computer Science Springer Details
Typed Lambda Calculi and Applications Simona Ronchi Rocca Computer Science Springer Details
Reliable Software Technologies ? Ada Europe 2007 Nabil Abdennadher, Fabrice Kordon Computer Science Springer Details
Neural-Symbolic Cognitive Reasoning Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay Computer Science Springer Details
Data Integration in the Life Sciences Sarah Cohen-Boulakia, Val Tannen Computer Science Springer Details
Online Communities and Social Computing Douglas Schuler Computer Science Springer Details
Metalearning Pavel Brazdil, Christophe Giraud-Carrier, Carlos Soares, Ricardo Vilalta Computer Science Springer Details
Information Processing in Medical Imaging Nico Karssemeijer, Boudewijn Lelieveldt Computer Science Springer Details
Security and Privacy in Ad-hoc and Sensor Networks Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore Computer Science Springer Details
Universal Acess in Human Computer Interaction. Coping with Diversity Constantine Stephanidis Computer Science Springer Details
Universal Access in Human-Computer Interaction. Ambient Interaction Constantine Stephanidis Computer Science Springer Details
Universal Access in Human-Computer Interaction. Applications and Services Constantine Stephanidis Computer Science Springer Details
Usability and Internationalization. HCI and Culture Nuray Aykin Computer Science Springer Details
Usability and Internationalization. Global and Local User Interfaces Nuray Aykin Computer Science Springer Details
Digital Human Modeling Vincent G. Duffy Computer Science Springer Details
New Trends in Applied Artificial Intelligence Hiroshi G. Okuno, Moonis Ali Computer Science Springer Details
Engineering Psychology and Cognitive Ergonomics Don Harris Computer Science Springer Details
Ergonomics and Health Aspects of Work with Computers Marvin J. Dainoff Computer Science Springer Details
Virtual Reality Randall Shumaker Computer Science Springer Details
Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design Michael J. Smith, Gavriel Salvendy Computer Science Springer Details
Natural Language Processing and Information Systems Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui Computer Science Springer Details
Human Interface and the Management of Information. Interacting in Information Environments Michael J. Smith, Gavriel Salvendy Computer Science Springer Details
Computer Aided Verification Werner Damm, Holger Hermanns Computer Science Springer Details
Model Checking Software Dragan Bošna?ki, Stefan Edelkamp Computer Science Springer Details
Data Management. Data, Data Everywhere Richard Cooper, Jessie Kennedy Computer Science Springer Details
Applications of Fuzzy Sets Theory Francesco Masulli, Sushmita Mitra, Gabriella Pasi Computer Science Springer Details
Public Key Infrastructure Javier Lopez, Pierangela Samarati, Josep L. Ferrer Computer Science Springer Details
Multimedia Content Analysis and Mining Nicu Sebe, Yuncai Liu, Yueting Zhuang, Thomas S. Huang Computer Science Springer Details
Automata, Languages and Programming Lars Arge, Christian Cachin, Tomasz Jurdzi?ski, Andrzej Tarlecki Computer Science Springer Details
Algebraic Biology Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia Computer Science Springer Details
Advances in Data Mining. Theoretical Aspects and Applications Petra Perner Computer Science Springer Details
Combinatorial Pattern Matching Bin Ma, Kaizhong Zhang Computer Science Springer Details
Logic, Language, Information and Computation Daniel Leivant, Ruy Queiroz Computer Science Springer Details
Term Rewriting and Applications Franz Baader Computer Science Springer Details
Rough Sets and Intelligent Systems Paradigms Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron Computer Science Springer Details
Information Security and Privacy Josef Pieprzyk, Hossein Ghodosi, Ed Dawson Computer Science Springer Details
Product-Focused Software Process Improvement Jürgen Münch, Pekka Abrahamsson Computer Science Springer Details
Foundations of Genetic Algorithms Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler Computer Science Springer Details
Pairing-Based Cryptography ? Pairing 2007 Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto Computer Science Springer Details
Machine Learning and Data Mining in Pattern Recognition Petra Perner Computer Science Springer Details
Business Process Management Mathias Weske Computer Science Springer Details
Dependable and Adaptable Networks and Services Aiko Pras, Marten Sinderen Computer Science Springer Details
Data and Applications Security XXI Steve Barker, Gail-Joon Ahn Computer Science Springer Details
Advances in Spatial and Temporal Databases Dimitris Papadias, Donghui Zhang, George Kollios Computer Science Springer Details
Computing and Combinatorics Guohui Lin Computer Science Springer Details
Autonomic and Trusted Computing Bin Xiao, Laurence T. Yang, Jianhua Ma, Christian Muller-Schloer, Yu Hua Computer Science Springer Details
Ubiquitous Intelligence and Computing Jadwiga Indulska, Jianhua Ma, Laurence T. Yang, Theo Ungerer, Jiannong Cao Computer Science Springer Details
Component-Based Software Engineering Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford Computer Science Springer Details
Unconventional Computation Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham Computer Science Springer Details
Combinatorial Optimization and Applications Andreas Dress, Yinfeng Xu, Binhai Zhu Computer Science Springer Details
Abstraction, Reformulation, and Approximation Ian Miguel, Wheeler Ruml Computer Science Springer Details
ECOOP 2007 ? Object-Oriented Programming Erik Ernst 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