PKK Library catalog › Results of search for 'au:"Craig, Iain D."'

Refine your search

Availability
- Limit to currently available items.
Authors
- Craig, Iain D. (4)
Holding libraries
- PK Kelkar Library, IIT Kanpur (4)
Home libraries
- PK Kelkar Library, IIT Kanpur (4)
Item types
- E books (4)
Series
- Undergraduate Topics in Computer Science (1)
Topics
- Computer science. (4)
- Computer Science. (4)
- Programming Languages, Compilers, Interpreters. (2)
- Software engineering. (3)
- Software Engineering/Programming and Operating Systems. (2)
- Show more

	1.	Virtual Machines : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 269 p. 43 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2.	Formal Models of Operating System Kernels : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIII, 333 p. 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)
	3.	Object-Oriented Programming Languages: Interpretation : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: VIII, 256 p. 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)
	4.	Formal Refinement for Operating System Kernels : [electronic resource] / by Craig, Iain D [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XV, 332 p. 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)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics