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

Refine your search

Availability
- Limit to currently available items.
Authors
- Goos, G (34)
- Goos, G [ed.] (28)
- Goos, G. (420)
- Hartmanis, J [ed.] (25)
- Hartmanis, J. (454)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (2607)
Home libraries
- PK Kelkar Library, IIT Kanpur (2603)
Item types
- Books (707)
- Lect. Notes Comp. Sc. (Avl.Online) (1121)
- Lost (8)
- Text Books (10)
- Withdrawn (22)
- Show more
Series
Topics
- Algorithms (20)
- Electronic Calculating-Machines (20)
- Electronic Digital Computers -- Programming (55)
- Numerical Calculations (21)
- Programming Languages (Electronic Computers) (23)
- Show more

	681.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book Description: xiii,529.Publisher: Varanasi Springer-Verlag c1993Online 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)
	682.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book Description: x,398.Publisher: Varanasi Springer-Verlag c1993Online 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)
	683.	LECTURE NOTES IN COMPUTER SCIENCE by No ,No \| Apostolico,A. Material type: Book Description: viii,265.Publisher: Varanasi Springer-Verlag c1993Online 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)
	684.	ACTION SEMANTICS by Mosses, Peter D. Material type: Book Description: xx,372.Publisher: Cambridge Cambridge Univ. Pr. c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 M855a] (1). Place hold Add to cart (remove)
	685.	Two-level functional languages by Nielson, Fleming \| Nielson, Hanne Riis. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 299p.Publisher: Cambridge Cambridge University Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 N554t] (1). Place hold Add to cart (remove)
	686.	ASSIGNMENT PROBLEMS IN PARALLEL AND DISTRIBUTED COMPUTING by Bokhari, Shahid H. Material type: Book Description: xvii,154.Publisher: Boston Kluwer Academic Pub. c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 B637a] (1). Place hold Add to cart (remove)
	687.	HANDBOOK OF ADVANCED SEMICONDUCTOR TECHNOLOGY AND COMPUTER SYSTEMS by Rabbat, Guy. Material type: Book; Format: print ; Literary form: not fiction Description: xviii,941.Publisher: New York Van Nostrand Reinhold 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 H191] (1). Place hold Add to cart (remove)
	688.	COMPUTATIONAL LEARNING THEORY by Anthony, Martin \| Biggs, Norman. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006 AN87C] (1). Place hold Add to cart (remove)
	689.	PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION by Gordon, Michael J. C. Material type: Book Description: xiv,255.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G657p] (1). Place hold Add to cart (remove)
	690.	Introduction to functional programming through Lambda calculus by Michaelson, Greg. Material type: Book Description: xv, 320p.Publisher: Wokingham, England Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M582i] (1). Place hold Add to cart (remove)
	691.	SEQUENTIAL LOGIC TESTING AND VERIFICATION by Ghosh, Abhijit \| Newton, A. Richard. Material type: Book Description: xv,214.Publisher: Boston Kluwer Academic Pub. c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 G346s] (1). Place hold Add to cart (remove)
	692.	COMPUTER GRAPHICS AND GEOMETRIC MODELING USING BETA SPLINES by Barsky, Brian A. Material type: Book Description: ix,156.Publisher: Berlin Springer-Verlag c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 B28c] (1). Place hold Add to cart (remove)
	693.	Specification and analysis of concurrent systems : the COSY approach by Janicki, Ryszard \| Lauer. Peter E. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 480p.Publisher: Berlin Springer-Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.12 J254s] (1). Place hold Add to cart (remove)
	694.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: v.Publisher: Springer-Verlag, Berlin 1993Online 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)
	695.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: x,390.Publisher: Springer-Verlag, New York 1993Online 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)
	696.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: xii,208.Publisher: Springer-Verlag, Berlin 1993Online 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)
	697.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: xiii,194.Publisher: Springer-Verlag, Berlin 1993Online 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)
	698.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: v.Publisher: Springer-Verlag, Berlin 1994Online 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)
	699.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: v.Publisher: Springer-Verlag, Berlin 1994Online 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)
	700.	LECTURE NOTES IN COMPUTER SCIENCE by . Material type: Book; Format: print ; Literary form: not fiction Description: v.Publisher: Springer-Verlag, Berlin 1994Online 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)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics