E- text books

  2. Home
  3. Resources
  4. E-books
  5. E- text 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 and Software Engineering

Author : George 

Springer

Access online

Formal Methods for Components and Objects

Author : Boer 

Springer

Access online

Failed Stone

Author : Loughran 

Springer

Access online

Flash Application Design Solutions

Author : Cheung 

Springer

Access online

Frontiers of Particle Beams: Factories with e+ e- Rings

Author : Dienes 

Springer

Access online

Flood Warning, Forecasting and Emergency Response

Author : Sene 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Muscholl 

Springer

Access online

Fracture Mechanics of Ceramics

Author : Bradt 

Springer

Access online

Free Boundary Problems

Author : Apushkinskaya 

Springer

Access online

Functional and Logic Programming

Author : Kiselyov 

Springer

Access online

Fault Tolerant Computer Architecture

Author : Sorin 

Morgan & Claypool

Access online

Fundamentalgruppen algebraischer Mannigfaltigkeiten

Author : Popp 

Springer

Access online

FM 2009: Formal Methods

Author : Cavalcanti 

Springer

Access online

Formal Methods and Software Engineering

Author : Lau 

Springer

Access online

Fundamentals of Robotic Mechanical Systems

Author : Angeles 

Springer

Access online

Foundations of Qt Development

Author : Thelin 

Springer

Access online

Food Biotechnology in Ethical Perspective

Author : Thompson 

Springer

Access online

Food Safety Governance

Author : Renn 

Springer

Access online

Functional MRI

Author : Faro 

Springer

Access online

Formal Techniques for Networked and Distributed Systems – FORTE 2008

Author : Suzuki 

Springer

Access online

Functional Surfaces in Biology

Author : Gorb 

Springer

Access online

Femtosecond-Laser-Assisted LASIK Eye Surgery and Imaging

Author : Sun, Hui 

SPIE

Access online

Fields, Particles and Currents

Author : Völkel 

Springer

Access online

Functional-Analytic Methods for Partial Differential Equations

Author : Fujita 

Springer

Access online

Foundation PHP For Dreamweaver 8

Author : Powers 

Springer

Access online

Formal Concept Analysis

Author : Cristea 

Springer

Access online

From Quantum Mechanics to Technology

Author : Petru 

Springer

Access online

Fine-Needle Biopsy of Superficial and Deep Masses

Author : Gherardi 

Springer

Access online

Facial Rejuvenation

Author : Goldberg 

Springer

Access online

Frontiers in Biochip Technology

Author : Xing 

Springer

Access online

Foundations of Learning Classifier Systems

Author : Bull 

Springer

Access online

Fuzzy Group Theory

Author : Mordeson 

Springer

Access online

Formal Techniques for Distributed Objects, Components, and Systems

Author : Mousavi 

Springer

Access online

Fuzzy Probabilities

Author : Buckley 

Springer

Access online

Field Guide to Crystal Growth

Author : Batra, Ashok K. 

SPIE

Access online

Formal Approaches to Software Testing and Runtime Verification

Author : Havelund 

Springer

Access online

Formation of a Digital Image: The Imaging Chain Simplified

Author : Fiete, Robert D. 

SPIE

Access online

Fortunes of High-Tech: a History of Innovation at ASM International

Author : van Duijn, Jorijn 

SPIE

Access online

Foundations of Atlas

Author : Moroney 

Springer

Access online

Formal Methods for Computational Systems Biology

Author : Bernardo 

Springer

Access online

Frontiers in Software Engineering Education

Author : Bruel 

Springer

Access online

Foundations of Intelligent Systems

Author : Chen 

Springer

Access online

Frontline and Factory: Comparative Perspectives on the Chemical Industry at War, 1914–1924

Author : Macleod 

Springer

Access online

Foundations of Software Science and Computation Structures

Author : Bouyer 

Springer

Access online

Function Algebras on Finite Sets

Author : Lau 

Springer

Access online

Formal Aspects of Component Software

Author : Salaün 

Springer

Access online

Financial Cryptography and Data Security

Author : Christin 

Springer

Access online

Fundamentals of Computational Fluid Dynamics

Author : Lomax 

Springer

Access online

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

Author : Hariharan 

Springer

Access online

Fundamentals of Geriatric Medicine

Author : Soriano 

Springer

Access online

Foundations of Logic and Functional Programming

Author : Boscarol 

Springer

Access online

Formal Methods for the Design of Real-Time Systems

Author : Bernardo 

Springer

Access online

Fuel Cells II

Author : Scherer 

Springer

Access online

Formal Techniques for Distributed Systems

Author : Giese 

Springer

Access online

Formal Techniques for Networked and Distributed Systems – FORTE 2007

Author : Derrick 

Springer

Access online

Field Guide to Fiber Optic Sensors

Author : Spillman, William B. 

SPIE

Access online

Foundation Silverlight 3 Animation

Author : Paries 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Chechik 

Springer

Access online

Formal Concept Analysis

Author : Ganter 

Springer

Access online

From Multimedia Services to Network Services

Author : Danthine 

Springer

Access online

Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience

Author : Schmorrow 

Springer

Access online

FM’99 — Formal Methods

Author : Wing 

Springer

Access online

Frontiers in Algorithmics

Author : Xiao 

Springer

Access online

Fundamentals of Three-Dimensional Digital Image Processing

Author : Toriwaki 

Springer

Access online

Full-Text (Substring) Indexes in External Memory

Author : Barsky 

Springer

Access online

Foundations of Software Science and Computational Structures

Author : Seidl 

Springer

Access online

Fun with Algorithms

Author : Boldi 

Springer

Access online

Foundations of Software Technology and Theoretical Computer Science

Author : Veni Madhavan 

Springer

Access online

Functional Analysis in Markov Processes

Author : Fukushima 

Springer

Access online

Focusing Solutions for Data Mining

Author : Reinartz 

Springer

Access online

Feynman Integral Calculus

Author : Smirnov 

Springer

Access online

Freshwater Animal Diversity Assessment

Author : Balian 

Springer

Access online

Fethullah Gülen’s Teaching and Practice

Author : Weller 

Springer

Access online

Finance for Food

Author : Köhn 

Springer

Access online

From Collective States to Quarks in Nuclei

Author : Arenhövel 

Springer

Access online

Financial Cryptography

Author : Wright 

Springer

Access online

Forms of List-Making: Epistemic, Literary, and Visual Enumeration

Author : Barton 

Springer

Access online

Financial Cryptography and Data Security

Author : Danezis 

Springer

Access online

From Bilateral Arbitral Tribunals and Investment Courts to a Multilateral Investment Court

Author : Bungenberg 

Springer

Access online

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Author : Calinescu 

Springer

Access online

Fundamentals of Electronics

Author : Schubert 

Springer

Access online

Fundamentals of Radiation Materials Science

Author : Was 

Springer

Access online

Fragmentation in Semi-Arid and Arid Landscapes

Author : Galvin 

Springer

Access online

Free Convection Film Flows and Heat Transfer

Author : Shang 

Springer

Access online

Free Energy Calculations

Author : Chipot 

Springer

Access online

Free-Radical-Induced DNA Damage and Its Repair

Author : Sonntag 

Springer

Access online

From Geometry to Quantum Mechanics

Author : Maeda 

Springer

Access online

FME '93: Industrial-Strength Formal Methods

Author : Woodcock 

Springer

Access online

Facility Location

Author : Zanjirani Farahani 

Springer

Access online

Foundations of Software Science and Computational Structures

Author : Hofmann 

Springer

Access online

Formal Modeling and Analysis of Timed Systems

Author : Raskin 

Springer

Access online

Formal Ontology and Conceptual Realism

Author : Cocchiarella 

Springer

Access online

Formal Systems Specification

Author : Broy 

Springer

Access online

Fractals and Hyperspaces

Author : Wicks 

Springer

Access online

Functional Organization of the Plant Nucleus

Author : Meier 

Springer

Access online

Forming The Mind

Author : Lagerlund 

Springer

Access online

Factories of the Future

Author : Tolio 

Springer

Access online

Forecasting and Assessing Risk of Individual Electricity Peaks

Author : Jacob 

Springer

Access online

From Fossils to Astrobiology

Author : Seckbach 

Springer

Access online

Fundamental Approaches to Software Engineering

Author : Rosenblum 

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