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
Reset

Formal Systems Specification

Author : Broy 

Springer

Access online

Few Body Systems and Nuclear Forces I

Author : Zingl 

Springer

Access online

Fragmentation in Semi-Arid and Arid Landscapes

Author : Galvin 

Springer

Access online

Finance for Food

Author : Köhn 

Springer

Access online

Formal Algorithmic Elimination for PDEs

Author : Robertz 

Springer

Access online

Financial Cryptography

Author : Wright 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Kutsche 

Springer

Access online

From Fossils to Astrobiology

Author : Seckbach 

Springer

Access online

Foundations of Security

Author : Daswani 

Springer

Access online

Formal Modeling and Analysis of Timed Systems

Author : Cassez 

Springer

Access online

Fourier Integral Operators and Partial Differential Equations

Author : Chazarain 

Springer

Access online

Fourier Series in Control Theory

Author : Komornik 

Springer

Access online

Fuzzy Information Retrieval

Author : Kraft 

Springer

Access online

Functional Molecular Nanostructures

Author : Schlüter 

Springer

Access online

Field Arithmetic

Author : Fried 

Springer

Access online

Free-Radical-Induced DNA Damage and Its Repair

Author : Sonntag 

Springer

Access online

Fabbriche, sistemi, organizzazioni

Author : Gasca 

Springer

Access online

Formal Methods for Eternal Networked Software Systems

Author : Bernardo 

Springer

Access online

Functional Equations and How to Solve Them

Author : Small 

Springer

Access online

Field-Programmable Logic and Applications

Author : Moore 

Springer

Access online

Forest Mensuration

Author : Laar 

Springer

Access online

Foundations in Grammatical Evolution for Dynamic Environments

Author : Dempsey 

Springer

Access online

Formal Grammar 2018

Author : Foret 

Springer

Access online

From Stochastic Calculus to Mathematical Finance

Author : Kabanov 

Springer

Access online

FME 2002:Formal Methods—Getting IT Right

Author : Eriksson 

Springer

Access online

Foundations of Information and Knowledge Systems

Author : Herzig 

Springer

Access online

Formal Methods for Components and Objects

Author : Boer 

Springer

Access online

Fisica solare

Author : Degl’Innocenti 

Springer

Access online

Flood Risk Management in Europe

Author : Begum 

Springer

Access online

Future Data and Security Engineering

Author : Dang 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Thomas 

Springer

Access online

Fault-tolerant Control Systems

Author : Noura 

Springer

Access online

Food Chemistry

Author : Belitz 

Springer

Access online

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Author : Wang 

Springer

Access online

Fuzzy Sets and Systems — IFSA 2003

Author : Bilgiç 

Springer

Access online

Functional and Constraint Logic Programming

Author : Silva 

Springer

Access online

Functional and Logic Programming

Author : Kuchen 

Springer

Access online

Functional and Logic Programming

Author : Schrijvers 

Springer

Access online

From Divergent Power Series to Analytic Functions

Author : Balser 

Springer

Access online

Formal Concept Analysis

Author : Missaoui 

Springer

Access online

Fundamentals of Computation Theory

Author : Csirik 

Springer

Access online

From Theory to Practice in Multi-Agent Systems

Author : Dunin-Keplicz 

Springer

Access online

Formal Methods and Software Engineering

Author : Dong 

Springer

Access online

Frontiers in Algorithmics

Author : Preparata 

Springer

Access online

Fundamentals of Friction and Wear

Author : Gnecco 

Springer

Access online

Fuel Cell Technologies: State and Perspectives

Author : Sammes 

Springer

Access online

Future Data and Security Engineering

Author : Dang 

Springer

Access online

Foundations of Software Technology and Theoretical Computer Science

Author : Maheshwari 

Springer

Access online

Food Powders

Author : Barbosa-Cánovas 

Springer

Access online

Functional Organization of the Plant Nucleus

Author : Meier 

Springer

Access online

Functional Programming, Concurrency, Simulation and Automated Reasoning

Author : Lauer 

Springer

Access online

Functional Surfaces in Biology

Author : Gorb 

Springer

Access online

Functional and Constraint Logic Programming

Author : Hanus 

Springer

Access online

Field-Coupled Nanocomputing

Author : Anderson 

Springer

Access online

Foundation ActionScript 3.0 for Flash and Flex

Author : Richardson 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Hähnle 

Springer

Access online

Formal Approaches to Agent-Based Systems

Author : Hinchey 

Springer

Access online

Financial Cryptography and Data Security

Author : Bracciali 

Springer

Access online

Formal Concept Analysis

Author : Glodeanu 

Springer

Access online

Foundations of Agile Python Development

Author : Younker 

Springer

Access online

Foundations of Fuzzy Logic and Soft Computing

Author : Melin 

Springer

Access online

Frontiers in Algorithmics

Author : Chen 

Springer

Access online

Fundamentals of Electromagnetics 2: Quasistatics and Waves

Author : Voltmer 

Springer

Access online

Formal Methods for Industrial Applications

Author : Abrial 

Springer

Access online

Famine Early Warning Systems and Remote Sensing Data

Author : Brown 

Springer

Access online

Fundamentals of Solid State Engineering

Author : Razeghi 

Springer

Access online

Fast Software Encryption

Author : Biham 

Springer

Access online

Formal Methods in Macro-Biology

Author : Fages 

Springer

Access online

Future Generation Information Technology

Author : Lee 

Springer

Access online

Future Internet - FIS 2010

Author : Berre 

Springer

Access online

Functional Differential Equations and Approximation of Fixed Points

Author : Peitgen 

Springer

Access online

Formal Techniques for Networked and Distributed Sytems — FORTE 2002

Author : Peled 

Springer

Access online

Field Models in Electricity and Magnetism

Author : Barba 

Springer

Access online

From Attention to Goal-Directed Behavior

Author : Aboitiz 

Springer

Access online

Fourier-Transform Spectroscopy Instrumentation Engineering

Author : Saptari, Vidi 

SPIE

Access online

Fundamental Problems in Computing

Author : Ravi 

Springer

Access online

Fundamentals of Business Process Management

Author : Dumas 

Springer

Access online

Formal Grammar

Author : Groote 

Springer

Access online

First Course on Fuzzy Theory and Applications

Author : Lee 

Springer

Access online

Foundations of Health Informatics Engineering and Systems

Author : Liu 

Springer

Access online

Foundations of Health Information Engineering and Systems

Author : Gibbons 

Springer

Access online

Facilitative Glucose Transporters in Articular Chondrocytes

Author : Mobasheri 

Springer

Access online

Fish Bioacoustics

Author : Webb 

Springer

Access online

Formal Methods for Components and Objects

Author : Aichernig 

Springer

Access online

Formal Methods for Industrial Critical Systems

Author : ter Beek 

Springer

Access online

Families of Meromorphic Functions on Compact Riemann Surfaces

Author : Namba 

Springer

Access online

Foundations of Intelligent Systems

Author : Raś 

Springer

Access online

Formal Methods in Computer-Aided Design

Author : Aagaard 

Springer

Access online

Fluctuation Theory for Lévy Processes

Author : DoneyPicard 

Springer

Access online

Foliations and Geometric Structures

Author : Bejancu 

Springer

Access online

Ferroelectric Thin Films

Author : Okuyama 

Springer

Access online

Functional and Constraint Logic Programming

Author : Escobar 

Springer

Access online

Free-Convective Heat Transfer

Author : Martynenko 

Springer

Access online

Field-Programmable Logic Smart Applications, New Paradigms and Compilers

Author : Hartenstein 

Springer

Access online

Feminist IR in Europe

Author : Stern 

Springer

Access online

Functions of α-Bounded Type in the Half-Plane

Author : Jerbashian 

Springer

Access online

Financial Cryptography and Data Security

Author : Zohar 

Springer

Access online

Foundations of Computational Intelligence Volume 3

Author : Abraham 

Springer

Access online

Foundations of Computational Intelligence Volume 4

Author : Abraham 

Springer

Access online

FME 2003: Formal Methods

Author : Araki 

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