Resources

  2. Home
  3. Resources
  4. E books

Theorem Proving in Higher Order Logics

Author : Bertot 

Springer

Access online

Thin-Walled Composite Beams

Author : Librescu 

Springer

Access online

Theorem Proving in Higher Order Logics

Author : Aagaard 

Springer

Access online

Thinking Art

Author : Braembussche 

Springer

Access online

Theorem Proving in Higher Order Logics

Author : Mohamed 

Springer

Access online

Thinking about Life

Author : Agutter 

Springer

Access online

Theorem Proving in Higher Order Logics

Author : Schneider 

Springer

Access online

Thinking in Circles About Obesity

Author : Hamid 

Springer

Access online

Theorem Proving in Higher Order Logics

Author : Berghofer 

Springer

Access online

Thinking in Complexity

Author : Mainzer 

Springer

Access online

Theorem Proving with Analytic Tableaux and Related Methods

Author : Baumgartner 

Springer

Access online

Third Granada Lectures in Computational Physics

Author : Garrido 

Springer

Access online

Theorem Proving with Analytic Tableaux and Related Methods

Author : Miglioli 

Springer

Access online

Third International Conference on Logic Programming

Author : Shapiro 

Springer

Access online

Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

Author : Castillo 

Springer

Access online

Third-Party Liability of Classification Societies

Author : Basedow 

Springer

Access online

Theoretical Approaches

Author :  

Springer

Access online

Thirteenth International Conference on Numerical Methods in Fluid Dynamics

Author : Napolitano 

Springer

Access online

Theoretical Aspects of Computer Science

Author : Khosrovshahi 

Springer

Access online

Thirty Years of Photosynthesis 1974–2004

Author : Kelly 

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