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

Current Topics in Artificial Intelligence

Pedro Meseguer - Springer,

Computer Science

Integrated Formal Methods

Dominique Mery - Springer,

Computer Science

Human Error Safety and Systems Development

Philippe Palanque - Springer,

Computer Science

Radio Frequency Identification Security and Privacy Issues

Siddika Berna Ors Yalcin - Springer,

Computer Science

Computational Collective Intelligence Technologies and Applications

Jeng-Shyang Pan - Springer,

Computer Science

Multilingual Information Access Evaluation II Multimedia Experiments

Carol Peters - Springer,

Computer Science

Replication

Bernadette Charron-Bost - Springer,

Computer Science

Formal Aspects in Security and Trust

Pierpaolo Degano - Springer,

Computer Science

Runtime Verification

Howard Barringer - Springer,

Computer Science

Theoretical Aspects of Computing

Ana Cavalcanti - Springer,

Computer Science

Auditory Display

Solvi Ystad - Springer,

Computer Science

Database Systems for Advanced Applications

Hiroyuki Kitagawa - Springer,

Computer Science

Programs Proofs Processes

Fernando Ferreira - Springer,

Computer Science

Stabilization Safety and Security of Distributed Systems

Shlomi Dolev - Springer,

Computer Science

Hybrid Artificial Intelligent Systems Part II

Manuel Grana Romay - Springer,

Computer Science

Traffic Monitoring and Analysis

Fabio Ricciato - Springer,

Computer Science

Developments in Language Theory

Yuan Gao - Springer,

Computer Science

Principles and Practice of Constraint Programming CP

David Cohen - Springer,

Computer Science

Advances in Cryptology ASIACRYPT

Masayuki Abe - Springer,

Computer Science

Current Trends in Web Engineering ICWE Workshops

Florian Daniel - Springer,

Computer Science