E- text books

  2. Home
  3. Resources
  4. E-books
  5. E- text books
  6. E books
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
0-9

Formal Approaches to Software Testing and Runtime Verification

Author : Havelund 

Springer

Access online

Optimization and Logistics Challenges in the Enterprise

Author : Chaovalitwongse 

Springer

Access online

New Perspectives in Critical Data Studies

Author : Hepp 

Springer

Access online

Defending Checks and Balances in EU Member States

Author : von Bogdandy 

Springer

Access online

Software Engineering for Resilient Systems

Author : Fantechi 

Springer

Access online

Income Elasticity and Economic Development

Author : HaqueMarquez 

Springer

Access online

The Bionic Human

Author : Johnson 

Springer

Access online

Control and Optimization of Multiscale Process Systems

Author : Christofides 

Springer

Access online

Groupes et algèbres de Lie

Author : Bourbaki 

Springer

Access online

Heterocyclic Supramolecules II

Author : Matsumoto 

Springer

Access online

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Author : Hentenryck 

Springer

Access online

Introduction to Webometrics: Quantitative Web Research for the Social Sciences

Author : Thelwall 

Morgan & Claypool

Access online

Clinical MR Imaging

Author : Reimer 

Springer

Access online

Agents and Peer-to-Peer Computing

Author : Moro 

Springer

Access online

The Testing Network

Author : Henry 

Springer

Access online

Advances in Cryptology – EUROCRYPT 2021

Author : Canteaut 

Springer

Access online

Mountain Ecosystems

Author : Broll 

Springer

Access online

Neuroacanthocytosis Syndromes

Author : Danek 

Springer

Access online

Regional Climate Studies of China

Author : Fu 

Springer

Access online

WALCOM: Algorithms and Computation

Author : Rahman 

Springer

Access online

Quantum Spaces

Author : RivasseauDuplantier 

Springer

Access online

Real World Applications of Computational Intelligence

Author : Negoita 

Springer

Access online

Foundations of Trusted Autonomy

Author : Abbass 

Springer

Access online

Distributed Computing

Author : Herlihy 

Springer

Access online

STACS 2005

Author : Diekert 

Springer

Access online

Acoustical Imaging

Author : Akiyama 

Springer

Access online

Complex Analysis I

Author : Berenstein 

Springer

Access online

Index Structures for Data Warehouses

Author : Jürgens 

Springer

Access online

Systems Far from Equilibrium

Author : Garrido 

Springer

Access online

Formal Concept Analysis

Author : Cristea 

Springer

Access online

Tutorials in Mathematical Biosciences I

Author : Borisyuk 

Springer

Access online

Big Data Analytics and Knowledge Discovery

Author : Ordonez 

Springer

Access online

Tools for Teaching Logic

Author : Blackburn 

Springer

Access online

Internet and Distributed Computing Systems

Author : Fortino 

Springer

Access online

Advances in Swarm Intelligence

Author : Tan 

Springer

Access online

Build Your Own CNC Machine

Author : Hood-Daniel 

Springer

Access online

Risks and Security of Internet and Systems

Author : Kallel 

Springer

Access online

Cyclic Difference Sets

Author : Baumert 

Springer

Access online

Natural Language Processing and Information Systems

Author : Bouzeghoub 

Springer

Access online

SharePoint 2007 User’s Guide

Author : Bates 

Springer

Access online

Eléments de Mathématique. Intégration

Author : Bourbaki 

Springer

Access online

Risks in Modern Society

Author : Bischoff 

Springer

Access online

Real-World Applications of Evolutionary Computing

Author : Cagnoni 

Springer

Access online

Theory of Cryptography

Author : Kalai 

Springer

Access online

Machine Learning for Cyber Security

Author : Chen 

Springer

Access online

Semantic Web Services and Web Process Composition

Author : Cardoso 

Springer

Access online

Software Process Improvement

Author : Richardson 

Springer

Access online

Speaking for Patients and Carers

Author : Baggott 

Springer

Access online

Computational Science – ICCS 2021

Author : Paszynski 

Springer

Access online

Database Systems for Advanced Applications

Author : Kitagawa 

Springer

Access online

Embedded Java Security

Author : Debbabi 

Springer

Access online

Proceedings of the 2007 National Conference on Environmental Science and Technology

Author : Nzewi 

Springer

Access online

Medical Image Computing and Computer Assisted Intervention − MICCAI 2017

Author : Descoteaux 

Springer

Access online

Neurosurgery

Author : Moore 

Springer

Access online

Term Rewriting

Author : Comon 

Springer

Access online

S-BPM in the Wild

Author : Fleischmann 

Springer

Access online

Geometric Topology

Author : Glaser 

Springer

Access online

Intelligence and Security Informatics

Author : Chen 

Springer

Access online

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015

Author : Navab 

Springer

Access online

When Puberty is Precocious

Author : Pescovitz 

Springer

Access online

Land Tenure Security and Sustainable Development

Author : Holland 

Springer

Access online

Geometric and Quantum Aspects of Integrable Systems

Author : Helminck 

Springer

Access online

Land Use Cover Datasets and Validation Tools

Author : García-Álvarez 

Springer

Access online

DNA Computing

Author : Garzon 

Springer

Access online

Typed Lambda Calculi and Applications

Author : Ong 

Springer

Access online

The Future of Software Quality Assurance

Author : Goericke 

Springer

Access online

Lectures on Choquet’s Theorem

Author : Phelps 

Springer

Access online

Saving and Investment in the Twenty-First Century

Author : von Weizsäcker 

Springer

Access online

Embedded Systems

Author : Kündig 

Springer

Access online

Surgical Anatomy and Technique

Author : Skandalakis 

Springer

Access online

Engineering Psychology and Cognitive Ergonomics: Cognition and Design

Author : Harris 

Springer

Access online

Semantics, Applications, and Implementation of Program Generation

Author : Taha 

Springer

Access online

Bio-inspired Modeling of Cognitive Tasks

Author : Mira 

Springer

Access online

Intelligence in Communication Systems

Author : Glitho 

Springer

Access online

Semantics, Logics, and Calculi

Author : Probst 

Springer

Access online

Formal Methods and Software Engineering

Author : George 

Springer

Access online

High Performance Computing - HiPC 2004

Author : Bougé 

Springer

Access online

Parenting and Work in Poland

Author : Suwada 

Springer

Access online

Basics of Thermal Field Theory

Author : Laine 

Springer

Access online

Co-Existence and Co-Release of Classical Neurotransmitters

Author : Gutierrez 

Springer

Access online

Pragmatic Logic

Author : Eccles 

Springer

Access online

Global History and New Polycentric Approaches

Author : Perez Garcia 

Springer

Access online

Advanced Information Systems Engineering

Author : Dittrich 

Springer

Access online

Applied Parallel Computing Industrial Computation and Optimization

Author : Waśniewski 

Springer

Access online

Biotechnological Applications of Photosynthetic Proteins: Biochips, Biosensors and Biodevices

Author : Giardi 

Springer

Access online

Intensive Care Medicine

Author : Vincent 

Springer

Access online

.NET 2.0 Interoperability Recipes

Author : Bukovics 

Springer

Access online

Robotic Welding, Intelligence and Automation

Author : Tarn 

Springer

Access online

The Salton Sea Centennial Symposium

Author : Hurlbert 

Springer

Access online

Waves in Geophysical Fluids

Author : Grue 

Springer

Access online

Waves in Nonlinear Pre-Stressed Materials

Author : Destrade 

Springer

Access online

The Heterogeneity of Cancer Metabolism

Author : Le 

Springer

Access online

Parallel Processing

Author : Feng 

Springer

Access online

Business Process Management

Author : Dumas 

Springer

Access online

Transactions on Computational Science XXXIII

Author : Gavrilova 

Springer

Access online

Parallel Processing and Applied Mathematics

Author : Wyrzykowski 

Springer

Access online

Progress in Pattern Recognition, Image Analysis and Applications

Author : Ruiz-Shulcloper 

Springer

Access online

Computational Logistics

Author : Corman 

Springer

Access online

Fundamentals of Magnetism

Author : Getzlaff 

Springer

Access online

Resource Allocation in Project Management

Author : Schwindt 

Springer

Access online

Image
P K Kelkar Library
Indian Institute of Technology Kanpur
Kanpur, U P 208016 India
E-mail: librarian@iitk.ac.in
Ph.: +91 512 259-7698 (Professor I/c, Library)
Ph.: +91 512 259-7233 (Circulation)
 
Downloads
+ Forms
Useful Links
+ IITs /IISc Libraries
+ Open Access Resources
Guidelines/Help
+ E-Resources Access
+ Thesis Submission
+ Library Rules
+ E-resources (Off-Campus)
+ SciFinder 

Opening Hours

Monday - Friday

08:00 am - 12:00 Midnight

Saturday

09:00 am - 12:00 Midnight

Sunday & Gazetted Holidays

09:00 am - 05:30 pm

Examination days:  Round the clock
Library Catalog