PKK Library catalog › Results of search for 'su:{Programming languages}'

Refine your search

Availability
- Limit to currently available items.
Authors
- Gavrilov, Mikhail A. (4)
- Gordon, Michael J. C. (4)
- Horowitz, Ellis (5)
- Rosen, Saul (8)
- Zakrevskii, A. D. (4)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (317)
Home libraries
- PK Kelkar Library, IIT Kanpur (316)
Item types
- Books (235)
- E books (64)
- EBK (6)
- Lect. Notes Comp. Sc. (Avl.Online) (2)
- Withdrawn (9)
- Show more
Series
Topics
- Computer science. (43)
- Computer Science. (43)
- Programming Languages (Electronic Computers) (126)
- Programming languages (Electronic computers). (62)
- Programming Languages, Compilers, Interpreters. (59)
- Show more

	61.	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)
	62.	DENOTATIONAL DESCRIPTION OF PROGRAMMING LANGUAGES by Gordon, Michael J. C. Material type: Book; Format: print ; Literary form: not fiction Description: 160.Publisher: New York Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G653d] (1). Place hold Add to cart (remove)
	63.	DENOTATIONAL DESCRIPTION OF PROGRAMMING LANGUAGES by Gordon, Michael J. C. Material type: Book; Format: print ; Literary form: not fiction Description: 160.Publisher: New York Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G653d] (1). Place hold Add to cart (remove)
	64.	Role of language in problem solving1 : proceedings... by Symposium on The Role of Language in Problem solving I Laurel, Maryland 1984 \| Jernigan, Robert [ed.] \| Hamill, Brice W [ed.] \| Weintraub, David M [ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: xi,405p.Publisher: Amstedam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R643] (1). Place hold Add to cart (remove)
	65.	Operating system principles by Hansen, Per Brinch. Material type: Book; Format: print ; Literary form: not fiction Description: xviii, 366p.Publisher: New Delhi Prentice-Hall Of India 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H198o] (1). Place hold Add to cart (remove)
	66.	Operating system principles by Hansen, Per Brinch. Material type: Book; Format: print ; Literary form: not fiction Description: xviii, 366p.Publisher: New Delhi Prentice-Hall Of India 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H198o Cop.3] (1). Place hold Add to cart (remove)
	67.	Programming languages : a grand tour by Horowitz, Ellis. Material type: Book; Format: print ; Literary form: not fiction Description: viii, 664p.Publisher: Rockvitte Computer Science Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P943] (1). Place hold Add to cart (remove)
	68.	Programming languages : a grand tour ; a collection of papers by Horowitz, Ellis [Ed.]. Material type: Book; Format: print ; Literary form: not fiction Description: ix, 664p.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P943] (1). Place hold Add to cart (remove)
	69.	Intercative computer graphic : data structure, algorithms, language by Giloi, Wolfgang K. Material type: Book; Format: print ; Literary form: not fiction Description: xiii, 354p.Publisher: New Jersey Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 G426i] (1). Place hold Add to cart (remove)
	70.	CATEGORICAL COMBINATORS, SEQUENTIAL ALGORITHMS AND FUNCTIONAL PROGRAMMING by Curien, P. L. Material type: Book; Format: print ; Literary form: not fiction Description: xvi,300.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C925c] (1). Place hold Add to cart (remove)
	71.	FUNDAMENTALS OF PROGRAMMING LANGUAGES by Horowitz, Ellis. Edition: 2ndMaterial type: Book; Format: print ; Literary form: not fiction Description: xv,446.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 H785f2] (1). Place hold Add to cart (remove)
	72.	Programming language land seape : syntax, semantics, and implementation by Marcotty, Michael \| Ledgard, Henry F. Edition: 2ndMaterial type: Book; Format: print ; Literary form: not fiction Description: xx, 569p.Publisher: New Delhi Galgotia Publication 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M333p2] (1). Place hold Add to cart (remove)
	73.	Fourth generation languages. [2v.] by Martin, James. Material type: Book; Format: print ; Literary form: not fiction Description: 420p.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M364f] (1). Place hold Add to cart (remove)
	74.	Formal specification and software development by Bjørner, Dines \| B, Cliff. Material type: Book; Format: print ; Literary form: not fiction Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1). Place hold Add to cart (remove)
	75.	The structure and design of programming languages by Nicholls, John E. Material type: Book; Format: print ; Literary form: not fiction Description: 572p.Publisher: California Addison-Wesley Pulishing 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 N515s] (1). Place hold Add to cart (remove)
	76.	STRUCTURE AND DESIGN OF PROGRAMMING LANGUAGES by Nicholls, John E. Material type: Book; Format: print ; Literary form: not fiction Description: 572.Publisher: Reading, Mass. Addison-Wesley Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 N515s] (1). Place hold Add to cart (remove)
	77.	Concepts of programming languages by Elson, Mark. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 333p.Publisher: Chicago Science Research Associates 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 El78c] (5). Place hold Add to cart (remove)
	78.	Proving programs correct by Ananda, A. L. Material type: Book; Format: print ; Literary form: not fiction Description: 177.Publisher: Kanpur I. I. T. 1973Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 An14] (1). Add to cart (remove)
	79.	DATA ABSTRACTION IN PROGRAMMING LANGUAGES by Bishop, Judy. Material type: Book; Format: print ; Literary form: not fiction Description: x,166.Publisher: Workingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B541d] (1). Place hold Add to cart (remove)
	80.	PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS by Allison, Lloyd. Material type: Book; Format: print ; Literary form: not fiction Description: xii,132.Publisher: Cambridge Cambridge Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 AL56p] (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