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

Model Checking Software

Author : Pol 

Springer

Access online

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives

Author : Dershowitz 

Springer

Access online

Numerical Computations: Theory and Algorithms

Author : Sergeyev 

Springer

Access online

Financial Privacy

Author : Jentzsch 

Springer

Access online

Verification, Model Checking, and Abstract Interpretation

Author : Finkbeiner 

Springer

Access online

Computer Safety, Reliability, and Security

Author : Ortmeier 

Springer

Access online

Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems

Author : Schmorrow 

Springer

Access online

Basic Concepts of Molecular Pathology

Author : Allen 

Springer

Access online

Embedded Processor Design Challenges

Author : Deprettere 

Springer

Access online

Logical Foundations of Computer Science

Author : Artemov 

Springer

Access online

Specification and Design of Software Systems

Author : Knuth 

Springer

Access online

Complex Intracellular Structures in Prokaryotes

Author : Shively 

Springer

Access online

Intelligent Tutoring Systems

Author : Aleven 

Springer

Access online

Cartography of the Sun and the Stars

Author : Rozelot 

Springer

Access online

Error Control, Cryptology, and Speech Compression

Author : Chmora 

Springer

Access online

Fundamentals of Computation Theory

Author : Csuhaj-Varjú 

Springer

Access online

Evolutionary Equations with Applications in Natural Sciences

Author : Banasiak 

Springer

Access online

Critical Pedagogy and Teacher Education in the Neoliberal Era

Author : Groenke 

Springer

Access online

Inductive Logic Programming

Author : Muggleton 

Springer

Access online

Engineering Secure Future Internet Services and Systems

Author : Heisel 

Springer

Access online

Intelligent Agent Systems Theoretical and Practical Issues

Author : Cavedon 

Springer

Access online

Lectures on Formal and Rigid Geometry

Author : Bosch 

Springer

Access online

A Review of Ada Tasking

Author : Burns 

Springer

Access online

Espaces de Poisson des Groupes Localement Compacts

Author : Azencott 

Springer

Access online

BioNanotechnology

Author : Papazoglou 

Springer

Access online

Finiteness Properties of Arithmetic Groups Acting on Twin Buildings

Author : Witzel 

Springer

Access online

Advances in Database Technology—EDBT '88

Author : Schmidt 

Springer

Access online

Pattern Recognition in Bioinformatics

Author : Rajapakse 

Springer

Access online

Relativistic Action at a Distance: Classical and Quantum Aspects

Author : Llosa 

Springer

Access online

Emergencies in Urology

Author : Hohenfellner 

Springer

Access online

Advanced Information Systems Engineering

Author : Andersen 

Springer

Access online

HCI International 2020 - Late Breaking Papers: User Experience Design and Case Studies

Author : Stephanidis 

Springer

Access online

Innovative Comparative Methods for Policy Analysis

Author : Rihoux 

Springer

Access online

New Aspects of Zirconium Containing Organic Compounds

Author :  

Springer

Access online

Computational Logistics

Author : González-Ramírez 

Springer

Access online

Organometallic Chemistry and Catalysis

Author : Astruc 

Springer

Access online

Assessing Emotional Intelligence

Author : Parker 

Springer

Access online

Multi-Wave Mixing Processes

Author : Zhang 

Springer

Access online

Evolutionary and Biologically Inspired Music, Sound, Art and Design

Author : Machado 

Springer

Access online

The Welfare of Horses

Author : Waran 

Springer

Access online

Haptic and Audio Interaction Design

Author : McGookin 

Springer

Access online

Lectures on Probability Theory and Statistics

Author : GinéBernard 

Springer

Access online

Séminaire de Probabilités XLIX

Author : Donati-Martin 

Springer

Access online

Central Bank Policy Mix: Issues, Challenges, and Policy Responses

Author : Warjiyo 

Springer

Access online

Perspectives on Nuclear Medicine for Molecular Diagnosis and Integrated Therapy

Author : Kuge 

Springer

Access online

Advances in Databases and Information Systems

Author : Manolopoulos 

Springer

Access online

Buy-outs in Family Businesses

Author : Klöckner 

Springer

Access online

Formal Methods for Industrial Applications

Author : Abrial 

Springer

Access online

The Limits of Art

Author : Benovsky 

Springer

Access online

Orthogonal Polynomials and Special Functions

Author : Koelink 

Springer

Access online

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence

Author : Huang 

Springer

Access online

High Performance Computing – HiPC 2007

Author : Aluru 

Springer

Access online

Masonry Constructions: Mechanical Models and Numerical Applications

Author : Lucchesi 

Springer

Access online

Model-Driven Testing

Author : Baker 

Springer

Access online

EAES Guidelines for Endoscopic Surgery

Author : Neugebauer 

Springer

Access online

Ant Colony Optimization and Swarm Intelligence

Author : Dorigo 

Springer

Access online

High Performance Computing — HiPC 2002

Author : Sahni 

Springer

Access online

Modulated Temperature Differential Scanning Calorimetry

Author : Reading 

Springer

Access online

Emerging Technologies for Authorization and Authentication

Author : Saracino 

Springer

Access online

Low-Cost Approaches to Promote Physical and Mental Health

Author : L’Abate 

Springer

Access online

Statistics Applied to Clinical Trials

Author : Cleophas 

Springer

Access online

Design Requirements Engineering: A Ten-Year Perspective

Author : Lyytinen 

Springer

Access online

Emerging Technologies for Education

Author : Popescu 

Springer

Access online

Engineering the Guitar

Author : French 

Springer

Access online

Automated Reasoning

Author : Blanchette 

Springer

Access online

Einstein’s Field Equations and Their Physical Implications

Author : Schmidt 

Springer

Access online

Root Physiology: from Gene to Function

Author : Lambers 

Springer

Access online

Rethinking Scientific Change and Theory Comparison

Author : Soler 

Springer

Access online

Pluralistic Struggles in Gender, Sexuality and Coloniality

Author : Alm 

Springer

Access online

ECOOP 2002 — Object-Oriented Programming

Author : Magnusson 

Springer

Access online

Recent Advances in Parallel Virtual Machine and Message Passing Interface

Author : Mohr 

Springer

Access online

The Decomposition of Primes in Torsion Point Fields

Author : Adelmann 

Springer

Access online

Mathematics of Program Construction

Author : Backhouse 

Springer

Access online

Structure and Bonding

Author :  

Springer

Access online

Simulated Evolution and Learning

Author : Yao 

Springer

Access online

Compositionality: The Significant Difference

Author : Roever 

Springer

Access online

Parameterized Complexity in the Polynomial Hierarchy

Author : de Haan 

Springer

Access online

The Semantic Web - ISWC 2015

Author : Arenas 

Springer

Access online

Intelligent Computing Theories and Application

Author : Huang 

Springer

Access online

The Semantic Web – ASWC 2006

Author : Mizoguchi 

Springer

Access online

Applied Stratigraphy

Author : Koutsoukos 

Springer

Access online

Transactions on High-Performance Embedded Architectures and Compilers III

Author : Stenström 

Springer

Access online

Social and Political Dimensions of Mathematics Education

Author : Jurdak 

Springer

Access online

Séminaire de probabilités 1967 - 1980

Author : Émery 

Springer

Access online

Chromatin and Disease

Author : Kundu 

Springer

Access online

Swarm Intelligent Systems

Author : Nedjah 

Springer

Access online

Modeling Decisions for Artificial Intelligence

Author : Torra 

Springer

Access online

The Grand Challenge for the Future

Author : Kaufmann 

Springer

Access online

Socio-Life Science and the COVID-19 Outbreak

Author : Yano 

Springer

Access online

Informatics in Control, Automation and Robotics

Author : Cetto 

Springer

Access online

Adaptive High-Resolution Sensor Waveform Design for Tracking

Author : Kyriakides 

Springer

Access online

Operations and Management in IP-Based Networks

Author : Magedanz 

Springer

Access online

Pediatric Ophthalmology, Neuro-Ophthalmology, Genetics

Author : Lorenz 

Springer

Access online

Owls (Strigiformes)

Author : Weick 

Springer

Access online

Coordination Models and Languages

Author : Field 

Springer

Access online

Immigration Policy and the Labor Market

Author : Zimmermann 

Springer

Access online

Pro LINQ

Author : Rattz 

Springer

Access online

Coordination Models and Languages

Author : Clarke 

Springer

Access online

Discovery Science

Author : Hoffmann 

Springer

Access online

Parkinson’s Disease and Related Disorders

Author : Riederer 

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