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

	2601.	Cyber-physical vehicle systems : : methodology and applications / by Lv, Chen [author.] \| Xing, Yang [author.] \| Zhang, Junzhi ( Ph.D. in vehicle engineering) [author.] \| Cao, Dongpu 1978- [author.]. Material type: Book; Format: available online ; Literary form: not fiction Description: 1 PDF (x, 75 pages) : illustrations (chiefly color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource \| Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2602.	Java software development with event B : : a practical guide / by Cataño Collazos, Nestor 1975- [author.]. Material type: Book; Format: available online ; Literary form: not fiction Description: 1 PDF (x, 89 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2020]Online access: Abstract with links to resource \| Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2603.	Automata and Computability [Perpetual] by Kozen, Dexter C. Description: xiii, 400p.Publisher: Springer 1997Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K849a] (1). Place hold Add to cart (remove)
	2604.	Computational Geometry [Perpetual] : an Introduction by Preparata, Franco P \| Shamos, Michael Ian. Description: xiv, 400p.Publisher: New York 9781461210986 1985Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2605.	Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view by Kroening, Daniel \| Strichman, Ofer. Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1). Place hold Add to cart (remove)
	2606.	The design and analysis of algorithms [Perpetual access] by Kozen, Dexter C. Description: x, 322p.Publisher: New York Springer 1992Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (1). Place hold Add to cart (remove)
	2607.	Computer vision [2nd ed.] : algorithms and applications by Szeliski, Richard. Edition: 2nd ed. Description: xxii, 925p.Publisher: Switzerland Springer Nature 2022Availability: No items available Checked out (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

Topics