Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Proof, language, and interaction essays in honour of Robin Milner
Proof, language, and interaction essays in honour of Robin Milner
Author 
Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Transactions on Computational Systems Biology VI
Transactions on Computational Systems Biology VI
Author 
Priami, Corrado. editor. Plotkin, Gordon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11880646
Format: 
Availability 
Online Library~1
Available:
Copies: