PKK Library catalog › Results of search for 'se,phr:"Science'

Refine your search

Availability
- Limit to currently available items.
Authors
- Calingaert, Peter (19)
- Goos, G. (420)
- Hartmanis, J. (454)
- Jaggi, O. P. (19)
- Subbarao, E. C. (136)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (7206)
Home libraries
- PK Kelkar Library, IIT Kanpur (7185)
Item types
- Books (4248)
- Lect. Notes Comp. Sc. (Avl.Online) (1121)
- Lost (60)
- Technical Report (79)
- Withdrawn (139)
- Show more
Series
Places
- Numerical methods of celestial mechanics (1)
Topics
- Control Theory (27)
- Electronic Digital Computers -- Programming (56)
- Materials (188)
- Programming Languages (Electronic Computers) (23)
- Science -- Philosophy (29)
- Show more

	2341.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2342.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2343.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2344.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2345.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2346.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2347.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2348.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2349.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2350.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2351.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2352.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2353.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2354.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2355.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2356.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2357.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2358.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2359.	LECTURE NOTES IN COMPUTER SCIENCE by Goos, G \| Hartmanis, J. Material type: Book; Format: print ; Literary form: not fiction Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1). Add to cart (remove)
	2360.	Formal methods in artificial intelligence by Ramsay, Allan. Material type: Book Description: ix, 279p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R149f] (1). Place hold Add to cart (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Places

Topics