Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 16125 results. Subscribe to this search

|
1981. Introduction to the theory of Matroids

Material type: book Book; Literary form: Description: viii,102p.Publisher: Berlin Springer-Verlag 1975Availability: No items available Withdrawn (1).

1982. AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

1983. AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

1984. AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

1985. AUTOMATION OF REASONING

by Siekmann, Jorg | Wrightson, Graham.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

1986. PRINCIPLES OF ARTIFICIAL INTELLIGENCE

by Nilsson, Nils J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,476.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 N599pa] (1).

1987. Secure digital communication

by .

Material type: book Book; Format: print ; Literary form: not fiction Description: v,332p.Publisher: Wien Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.51 Se26] (2).

1988. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1989. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1990. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1991. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1992. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1993. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1994. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1995. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1996. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1997. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1998. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

1999. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

2000. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES

by Balakrishnan, A.V | Thoma, M.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).

Powered by Koha