Library is closed due to Republic Day (H)
Tuesday:
09:00 AM - 12:00 AM
Wednesday:
11:30 AM - 02:30 PM
Thursday:
09:00 AM - 06:00 PM
e-Books

e-Books

Web Services and Formal Methods

Cosimo Laneve - Springer,

Computer Science

Theory of Cryptography

Daniele Micciancio - Springer,

Computer Science

Recent Trends and Developments in Social Software

John G Breslin - Springer,

Computer Science

Incentives Overlays and Economic Traffic Control

Burkhard Stiller - Springer,

Computer Science

Computer Science Logic

Anuj Dawar - Springer,

Computer Science

WALCOM Algorithms and Computation

Md. Saidur Rahman - Springer,

Computer Science

Wireless Algorithms Systems and Applications

Gopal Pandurangan - Springer,

Computer Science

Computational Logic in MultiAgent Systems

Jürgen Dix - Springer,

Computer Science

Medical Biometrics

David Zhang - Springer,

Computer Science

Graph Transformations

Hartmut Ehrig - Springer,

Computer Science

Comparative Genomics

Eric Tannier - Springer,

Computer Science

Neural Information Processing Models and Applications

Kevin K.W. Wong - Springer,

Computer Science

Algorithmic Learning Theory

Marcus Hutter - Springer,

Computer Science

Computer Vision ECCV

Kostas Daniilidis - Springer,

Computer Science

Economics of Grids Clouds Systems and Services

Jörn Altmann - Springer,

Computer Science

Formal Methods for Quantitative Aspects of Programming Languages

Alessandro Aldini - Springer,

Computer Science

Computer Vision ECCV

Kostas Daniilidis - Springer,

Computer Science

PostQuantum Cryptography

Nicolas Sendrier - Springer,

Computer Science

The Semantic Web ISWC

Peter F. Patel-Schneider - Springer,

Computer Science

MultiAgentBased Simulation X

Gennaro Di Tosto - Springer,

Computer Science