PKK Library catalog › Results of search for 'su:{Computer Science -- Mathematics -- Congresses}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Börger, E. (1)
- Kleine Büning, H. (1)
- Kozen,Dexter (1)
- Richter, Michael M., (1)
- Widmayer,Peter (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (5)
Home libraries
- PK Kelkar Library, IIT Kanpur (5)
Item types
- Books (2)
- Lect. Notes Comp. Sc. (Avl.Online) (4)
Series
- 88 (1)
- Lecture Notes in computer science (3)
- Lecture notes in computer science ; (1)
- Lecture Notes in computer science; (1)
Topics
- Computer Algorithms -- Congresses (1)
- Computer Programming -- Congresses (1)
- Computer science (2)
- Computer Science -- Mathematics -- Congresses (3)
- Machine Theory -- Congresses (1)
- Show more

	1.	LECTURE NOTES IN COMPUTER SCIENCE; V.3503 : EXPERIMENTAL AND EFFICIENT ALGORITHMS by Nikoletseas,Sotiris E. Material type: Book; Format: print ; Literary form: not fiction Description: xv,621.Publisher: Springer-Verlag, Berlin 2005Online 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)
	2.	LECTURE NOTES IN COMPUTER SCIENCE; V. 3125 : MATHEMATICS OF PROGRAM CONSTRUCTION by Kozen,Dexter. Material type: Book; Format: print ; Literary form: not fiction Description: x,399.Publisher: Springer-Verlag,Berlin 2004Online 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)
	3.	LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2380) by Peter Widmayer,No \| Widmayer,Peter \| . Description: xi,1065.Publisher: Springer-Verlag,Berlin 2002Online 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)
	4.	Mathematical Foundations of Computer Science : proceedings by 9th Symposium on Mathematical Foundations of Computer Science 1980 Rydzyna, Poland 1980. Material type: 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). Place hold Add to cart (remove)
	5.	Lecture notes in computer science CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 \| Börger, E \| Kleine Büning, H \| Richter, Michael M. Material type: Book; Format: print ; Literary form: not fiction Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (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