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

Your search returned 4 results. Subscribe to this search

|
1. Distributed algorithms:

by International Workshop(3rd:1989:Nice,France) | Bermond, J.C. , (ed.) Raynal, M. (ed.).

Material type: book Book; Format: print ; Literary form: not fiction Description: vi,314p.Publisher: Berlin Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.392] (1).

2. Processing declarative knowledge : : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings /

by PDK '91 Kaiserslautern, Germany) (1991 : | Boley, H.,(ed.) | Richter, Michael M.,(ed.).

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 427 p.Publisher: Berlin ; New York : Springer-Verlag, c1991Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 v.567] (1).

3. Mathematical Foundations of Computer Science : proceedings

by 9th Symposium on Mathematical Foundations of Computer Science 1980 Rydzyna, Poland 1980.

Material type: book Book; Format: print ; Literary form: not fiction Description: 723 p.Publisher: New York : Springer-Verlag; 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.88] (1).

4. Machines, languages, and complexity:meeting

by International Meeting of Young Computer Scientists(5th:1988:Smolenice, Slovakia) | Dassow, Jürgen, ed | Kelemen, Jozef, ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi, 244 p.Publisher: Berlin: New York; Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

Powered by Koha