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

Refine your search

Availability
- Limit to currently available items.
Authors
- Alagic, Suad (3)
- Arbib, Michael A. (3)
- Kozen, Dexter C. (4)
- Preparata, Franco P. (5)
- Shamos, Michael Ian (6)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (46)
Home libraries
- PK Kelkar Library, IIT Kanpur (46)
Item types
- Books (38)
- E books (9)
- Text Books (1)
Series
Topics
- Approximation Theory -- Data Processing (2)
- Artificial Intelligence (incl. Robotics). (2)
- Artificial intelligence. (2)
- Chess -- Data Processing -- Addresses, Essays, Lectures (4)
- Computer Algorithms (2)
- Computer programming. (3)
- Computer science (2)
- Computer science. (5)
- Computer Science. (5)
- Computers. (4)
- Engineering. (1)
- Geometry -- Data Processing (5)
- Linking Loaders (Computer Programs) (2)
- Logics and Meanings of Programs. (2)
- Programming Languages, Compilers, Interpreters. (2)
- Programming Techniques. (3)
- Software engineering. (4)
- Software Engineering. (2)
- Software Engineering/Programming and Operating Systems. (4)
- Theory of Computation. (2)

	1.	Algebraic approaches to program semantics by Manes, Ernest G \| Arbib, Michael A. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 351p.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M313a] (1). Place hold Add to cart (remove)
	2.	PROGRAMMING METHODOLOGY by Gries, David. Material type: Book; Format: print ; Literary form: not fiction Description: 417.Publisher: New York Springer Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P943] (1). Place hold Add to cart (remove)
	3.	Selected writings on computing : a personal perspective by Dijkstra, Edsger W. Material type: Book; Format: print ; Literary form: not fiction Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D569s] (1). Place hold Add to cart (remove)
	4.	METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION by Gregory, Robert Todd \| Krishnamurthy, R. T. Material type: Book; Format: print ; Literary form: not fiction Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1). Place hold Add to cart (remove)
	5.	METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION by Gregory, Robert Todd \| Krishnamurthy, R. T. Material type: Book; Format: print ; Literary form: not fiction Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1). Place hold Add to cart (remove)
	6.	Selected writings on computing : a personal perspective by Dijkstra, Edsger W. Material type: Book; Format: print ; Literary form: not fiction Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 B489s] (1). Place hold Add to cart (remove)
	7.	ADAPTIVE INFORMATION PROCESSING by Sampson, Jeffrey R. Material type: Book; Format: print ; Literary form: not fiction Description: x,274.Publisher: New York Springer-Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 Sa48a] (1). Place hold Add to cart (remove)
	8.	COMPUTATIONAL GEOMETRY : an introduction by Preparata, Franco P \| Shamos, Michael Ian. Material type: Book; Format: print ; Literary form: not fiction Description: xii,390.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.02854 P919c] (1). Place hold Add to cart (remove)
	9.	A PROGRAMMING APPROACH TO COMPUTABILITY by Kfoury, A. J \| Arbib, Michael A. Material type: Book; Format: print ; Literary form: not fiction Description: viii,251.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K526p] (1). Place hold Add to cart (remove)
	10.	COMPILER CONSTRUCTION by Waite, William Mccastine \| Goos, Gerhard. Material type: Book; Format: print ; Literary form: not fiction Description: xiv,446.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W134c] (1). Place hold Add to cart (remove)
	11.	RELATIONAL DATABASE TECHNOLOGY by Alagic, Suad. Material type: Book; Format: print ; Literary form: not fiction Description: xi,259.Publisher: New York Springer-Verlag 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 AL11r] (1). Add to cart (remove)
	12.	PROGRAMMING WITH SETS by Schwartz, J. T. Material type: Book; Format: print ; Literary form: not fiction Description: xv,493.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P943] (1). Place hold Add to cart (remove)
	13.	The design of well-structured and correct programs by Alagic, Suad \| Arbib, Michael A. Material type: Book; Format: print ; Literary form: not fiction Description: vii, 292p.Publisher: New York Springer 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11d] (2). Place hold Add to cart (remove)
	14.	PROGRAMMING IN MODULA-2 by Wirth, Niklaus. Edition: 3rdMaterial type: Book; Format: print ; Literary form: not fiction Description: 202.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W746p3] (1). Place hold Add to cart (remove)
	15.	ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT by Bauer, Friedrich Ludwig \| Wossner, Hans. Material type: Book; Format: print ; Literary form: not fiction Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1). Place hold Add to cart (remove)
	16.	ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT by Bauer, Friedrich Ludwig \| Wossner, Hans. Material type: Book; Format: print ; Literary form: not fiction Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1). Place hold Add to cart (remove)
	17.	CHESS SKILL IN MAN AND MACHINE by Frey, Peter William. Edition: 2ndMaterial type: Book; Format: print ; Literary form: not fiction Description: xiv,329.Publisher: New York Springer Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425s2] (1). Place hold Add to cart (remove)
	18.	CHESS SKILL IN MAN AND MACHINE by Frey, Peter W. Material type: Book; Format: print ; Literary form: not fiction Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1). Add to cart (remove)
	19.	CHESS SKILL IN MAN AND MACHINE by Frey, Peter W. Material type: Book; Format: print ; Literary form: not fiction Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1). Place hold Add to cart (remove)
	20.	CHESS SKILL IN MAN AND MACHINE by Frey, Peter W. Material type: Book; Format: print ; Literary form: not fiction Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: 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