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 Methods for Components and Objects

Author : Giachino 

Springer

Access online

Factors and Factorizations of Graphs

Author : Akiyama 

Springer

Access online

Foundations of Intelligent Systems

Author : Andreasen 

Springer

Access online

Formal Methods for Industrial Critical Systems

Author : Kowalewski 

Springer

Access online

Fas Signaling

Author : Wajant 

Springer

Access online

Flexible Query Answering Systems

Author : Larsen 

Springer

Access online

Fundamentals of Virtual Colonoscopy

Author : Dachman 

Springer

Access online

Flow and Combustion in Reciprocating Engines

Author : Arcoumanis 

Springer

Access online

Future Data and Security Engineering

Author : Dang 

Springer

Access online

Fast, Efficient and Predictable Memory Accesses

Author : Wehmeyer 

Springer

Access online

Future Directions in Distributed Computing

Author : Schiper 

Springer

Access online

Fun with Algorithms

Author : Crescenzi 

Springer

Access online

Future Interaction Design II

Author : Isomäki 

Springer

Access online

Future Internet – FIS 2008

Author : Domingue 

Springer

Access online

Fault-tolerant Flight Control and Guidance Systems

Author : Ducard 

Springer

Access online

Future and Emergent Trends in Language Technology

Author : Quesada 

Springer

Access online

Feedback Shift Registers

Author : Ronse 

Springer

Access online

Formal Techniques for Computer Systems and Business Processes

Author : Bravetti 

Springer

Access online

Functional Imaging and Modeling of the Heart

Author : Katila 

Springer

Access online

Food Safety

Author : McElhatton 

Springer

Access online

Field Emission in Vacuum Microelectronics

Author : FurseyBrodie 

Springer

Access online

Field Matter Interactions in Thermoelastic Solids

Author : Hutter 

Springer

Access online

Fuzzy Systems and Knowledge Discovery

Author : Wang 

Springer

Access online

Forensic Pathology Reviews

Author : Tsokos 

Springer

Access online

Forest Ecology

Author : Valk 

Springer

Access online

Feeling Political

Author : Frevert 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Russo 

Springer

Access online

Financial Cryptography

Author : Hirschfeld 

Springer

Access online

Financial Cryptography

Author : Hirchfeld 

Springer

Access online

Financial Cryptography and Data Security

Author : Sion 

Springer

Access online

Fundamental Networking in Java

Author : Pitt 

Springer

Access online

Fundamental Questions in Astrophysics: Guidelines for Future UV Observatories

Author : Gómez de Castro 

Springer

Access online

Formal Concept Analysis

Author : Domenach 

Springer

Access online

Foundations of Augmented Cognition

Author : Schmorrow 

Springer

Access online

From Programs to Systems. The Systems perspective in Computing

Author : Bensalem 

Springer

Access online

Fundamentals of Computation Theory

Author : Gąsieniec 

Springer

Access online

From Reaction to Cognition

Author : Castelfranchi 

Springer

Access online

Fundamentals of Computation Theory

Author : Csuhaj-Varjú 

Springer

Access online

Finite Translation Planes

Author : Ostrom 

Springer

Access online

Formal Methods and Software Engineering

Author : Qin 

Springer

Access online

Facing the Limits of the Law

Author : Keirsbilck 

Springer

Access online

Factorization Method in Quantum Mechanics

Author : Dong 

Springer

Access online

Frontiers in Research of the Renin-Angiotensin System on Human Disease

Author : Leung 

Springer

Access online

Foundations of Intelligent Systems

Author : Esposito 

Springer

Access online

Formal Methods for Industrial Critical Systems

Author : Larsen 

Springer

Access online

Foundations of Object-Oriented Languages

Author : Bakker 

Springer

Access online

Formal Methods for Open Object-Based Distributed Systems

Author : Bonsangue 

Springer

Access online

Flexible and Efficient Information Handling

Author : Bell 

Springer

Access online

Fundamentals of Thermodynamics and Applications

Author : Müller 

Springer

Access online

Frozen Section Library: Lung

Author : Allen 

Springer

Access online

Fast Software Encryption

Author : Canteaut 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Baier 

Springer

Access online

Funtional Programming Languages in Education

Author : Hartel 

Springer

Access online

Fun with Algorithms

Author : Ferro 

Springer

Access online

Fault Diagnosis of Analog Integrated Circuits

Author : Kabisatpathy 

Springer

Access online

Formal Moduli of Algebraic Structures

Author : Laudal 

Springer

Access online

Fuzzy Control

Author : Michels 

Springer

Access online

Fuzzy Database Modeling of Imprecise and Uncertain Engineering Information

Author : Ma 

Springer

Access online

Fiber Based Dispersion Compensation

Author : Ramachandran 

Springer

Access online

Fuzzy Logic in Action: Applications in Epidemiology and Beyond

Author : Massad 

Springer

Access online

Formal Techniques in Real-Time and Fault-Tolerant Systems

Author : Vytopil 

Springer

Access online

Formal Techniques in Real-Time and Fault-Tolerant Systems

Author : Jonsson 

Springer

Access online

Field Theory

Author : Roman 

Springer

Access online

Forest Inventory

Author : Kangas 

Springer

Access online

From Bioinspired Systems and Biomedical Applications to Machine Learning

Author : Ferrández Vicente 

Springer

Access online

Foundation PHP 5 for Flash

Author : Powers 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Astesiano 

Springer

Access online

Formal Aspects of Component Software

Author : Păsăreanu 

Springer

Access online

Foundations and Novel Approaches in Data Mining

Author : Young Lin 

Springer

Access online

Fundamental Concepts in Biophysics

Author : Jue 

Springer

Access online

From Nano to Space

Author : Breitner 

Springer

Access online

FM 2008: Formal Methods

Author : Cuellar 

Springer

Access online

First Order Categorical Logic

Author : Makkai 

Springer

Access online

Formal Methods for Dynamical Systems

Author : Bernardo 

Springer

Access online

Formal Methods for Industrial Critical Systems

Author : Stoelinga 

Springer

Access online

Fungal Immunology

Author : Fidel 

Springer

Access online

Formal Methods, Foundations and Applications

Author : Simao 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Pitts 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Jacobs 

Springer

Access online

Foundations of Software Science and Computational Structures

Author : Birkedal 

Springer

Access online

Formal Modeling and Analysis of Timed Systems

Author : Abate 

Springer

Access online

Functional Analysis II

Author : Butković 

Springer

Access online

Federated Learning

Author : Yang 

Springer

Access online

Functional Analysis and its Applications

Author : Garnir 

Springer

Access online

Formal Models of Communicating Systems

Author : Bollig 

Springer

Access online

Functional Analytic Methods for Evolution Equations

Author : PratoIannelli 

Springer

Access online

Founders at Work

Author : Livingston 

Springer

Access online

Fonctions thêta et théorème du cube

Author : Breen 

Springer

Access online

Formal Techniques for Networked and Distributed Systems - FORTE 2006

Author : Najm 

Springer

Access online

Functional Programming Languages and Computer Architecture

Author : Kahn 

Springer

Access online

Foundation Web Design with Dreamweaver 8

Author : Grannell 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Maibaum 

Springer

Access online

Formal Aspects of Component Software

Author : Bae 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Kiefer 

Springer

Access online

Financial Cryptography and Data Security

Author : Sion 

Springer

Access online

Foundations and Practice of Security

Author : Zincir-Heywood 

Springer

Access online

From Decoding Turbulence to Unveiling the Fingerprint of Climate Change

Author : von Storch 

Springer

Access online

Foundations of 3D Graphics Programming

Author : Chen 

Springer

Access online

FM 2005: Formal Methods

Author : Fitzgerald 

Springer

Access online

Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Author : Taubner 

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