Resources

  2. Home
  3. Resources
  4. E books

FME '93: Industrial-Strength Formal Methods

Author : Woodcock 

Springer

Access online

Finite Element Method Simulation of 3D Deformable Solids

Author : Sifakis 

Springer

Access online

FME '94: Industrial Benefit of Formal Methods

Author : Naftalin 

Springer

Access online

Finite Element Methods and Their Applications

Author : Chen 

Springer

Access online

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods

Author : Fitzgerald 

Springer

Access online

Finite Element Methods for Engineering Sciences

Author : Chaskalovic 

Springer

Access online

FME 2001: Formal Methods for Increasing Software Productivity

Author : Oliveira 

Springer

Access online

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions

Author : Nguyen 

Springer

Access online

FME 2002:Formal Methods—Getting IT Right

Author : Eriksson 

Springer

Access online

Finite Fields and Applications

Author : Mullen 

Springer

Access online

FME 2003: Formal Methods

Author : Araki 

Springer

Access online

Finite Geometry and Character Theory

Author : Pott 

Springer

Access online

FME'96: Industrial Benefit and Advances in Formal Methods

Author : Gaudel 

Springer

Access online

Finite Groups of Mapping Classes of Surfaces

Author : Zieschang 

Springer

Access online

FM’99 — Formal Methods

Author : Wing 

Springer

Access online

Finite Mixture and Markov Switching Models

Author : Frühwirth-Schnatter 

Springer

Access online

FM’99 — Formal Methods

Author : Wing 

Springer

Access online

Finite Model Theory and Its Applications

Author : Grädel 

Springer

Access online

FPGA Implementations of Neural Networks

Author : Omondi 

Springer

Access online

Finite Presentability of S-Arithmetic Groups Compact Presentability of Solvable Groups

Author : Abels 

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