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 Human-Computer Interaction: II, IEE Colloquium on

Publisher:      IEL

From: 1988 To: 1988
Access online

Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. First ACM and IEEE International Conference on

Publisher:      IEL

From: 2003 To: 2003
Access online

Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on

Publisher:      IEL

From: 2004 To: 2004
Access online

Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on

Publisher:      IEL

From: 2005 To: 2005
Access online

Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on

Publisher:      IEL

From: 2006 To: 2006
Access online

Formal Methods and Notations Applicable to Telecommunications, IEE Tutorial Colloquium on

Publisher:      IEL

From: 1992 To: 1992
Access online

Formal Methods for Protocols, IEE Colloquium on

Publisher:      IEL

From: 1991 To: 1991
Access online

Formal Methods in HCI: III, IEE Colloquium on

Publisher:      IEL

From: 1989 To: 1989
Access online

Format Engineering Methods., 1997. Proceedings., First IEEE International Conference on

Publisher:      IEL

From: 1997 To: 1997
Access online

Foundations and Applications of General Science Theory, 1995. 'Knowledge Tools for a Sustainable Civilization'. Interdisciplinary Conference., Canadian Conference on

Publisher:      IEL

From: 1995 To: 1995
Access online

Foundations of Computer Science, 1984. 25th Annual Symposium on

Publisher:      IEL

From: 1984 To: 1984
Access online

Foundations of Computer Science, 1988., 29th Annual Symposium on

Publisher:      IEL

From: 1988 To: 1988
Access online

Foundations of Computer Science, 1989., 30th Annual Symposium on

Publisher:      IEL

From: 1989 To: 1989
Access online

Foundations of Computer Science, 1990. Proceedings., 31st Annual Symposium on

Publisher:      IEL

From: 1990 To: 1990
Access online

Foundations of Computer Science, 1991. Proceedings., 32nd Annual Symposium on

Publisher:      IEL

From: 1991 To: 1991
Access online

Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on

Publisher:      IEL

From: 1992 To: 1992
Access online

Foundations of Computer Science, 1993. Proceedings., 34th Annual Symposium on

Publisher:      IEL

From: 1993 To: 1993
Access online

Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on

Publisher:      IEL

From: 1994 To: 1994
Access online

Foundations of Computer Science, 1995. Proceedings., 36th Annual Symposium on

Publisher:      IEL

From: 1995 To: 1995
Access online

Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on

Publisher:      IEL

From: 1996 To: 1996
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