PKK Library catalog › Results of search for 'au:"Nielson, Hanne Riis."'

Refine your search

Availability
- Limit to currently available items.
Authors
- Hankin, Chris (1)
- Nielson, Flemming (1)
- Nielson, Flemming. (1)
- Nielson, Hanne Riis (3)
- Nielson,Hanne Riis (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (5)
Home libraries
- PK Kelkar Library, IIT Kanpur (5)
Item types
- Books (3)
- E books (2)
Series
- Cambridge Tracts In Theoretical Computer Science (1)
- Undergraduate Topics in Computer Science, (1)
Topics
- Combinatorial Analysis (1)
- Computer programming (1)
- Computer Science. (1)
- Logics and Meanings of Programs. (1)
- Programming Languages (Electronic Computers) (1)
- Show more

	1.	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)
	2.	Principles of program analysis by Nielson, Flemming \| Nielson, Hanne Riis. Material type: Book; Format: print ; Literary form: not fiction Description: xxi, 450p.Publisher: Berlin Springer 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.12 N554p] (1). Place hold Add to cart (remove)
	3.	SEMANTICS WITH APPLICATIONS : AN APPETIZER by Nielson,Hanne Riis \| Nielson,Flemming. Material type: Book; Format: print ; Literary form: not fiction Description: xii,274.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 N554S] (1). Place hold Add to cart (remove)
	4.	Semantics with Applications: An Appetizer : [electronic resource] / by Nielson, Hanne Riis [author.] \| Nielson, Flemming [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XII, 274 p. 4 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	5.	Principles of program analysis [perpetual] by Nielson, Flemming \| Nielson, Hanne Riis \| Hankin, Chris. Description: xxi, 465p.Publisher: Berlin Springer-Verlag 2005Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1015113 N554f] (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