Resources

  2. Home
  3. Resources
  4. E books

Formal Methods and Hybrid Real-Time Systems

Author : Jones 

Springer

Access online

Foundations of Computational, Intelligence Volume 1

Author : Hassanien 

Springer

Access online

Formal Methods and Software Development

Author : Ehrig 

Springer

Access online

Foundations of Computational, IntelligenceVolume 6

Author : Abraham 

Springer

Access online

Formal Methods and Software Engineering

Author : Sun 

Springer

Access online

Foundations of Computer Science

Author : Freksa 

Springer

Access online

Formal Methods and Software Engineering

Author : Ait-Ameur 

Springer

Access online

Foundations of Computer Security

Author : Salomon 

Springer

Access online

Formal Methods and Software Engineering

Author : Lin 

Springer

Access online

Foundations of Computer Software. Future Trends and Techniques for Development

Author : Choppy 

Springer

Access online

Formal Methods and Software Engineering

Author : Merz 

Springer

Access online

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

Author : Calinescu 

Springer

Access online

Formal Methods and Software Engineering

Author : Butler 

Springer

Access online

Foundations of Data Mining and knowledge Discovery

Author : Young Lin 

Springer

Access online

Formal Methods and Software Engineering

Author : Ogata 

Springer

Access online

Foundations of Data Organization and Algorithms

Author : Litwin 

Springer

Access online

Formal Methods and Software Engineering

Author : Duan 

Springer

Access online

Foundations of Data Organization and Algorithms

Author : Lomet 

Springer

Access online

Formal Methods and Software Engineering

Author : George 

Springer

Access online

Foundations of Data Quality Management

Author : Fan 

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