Newsletter H I S T O R Y No. 29

First Page		Document Content
Date: 2013-04-27 08:16:39 Liverpool Urban Area Thomas Shelmerdine Huyton Picton Reading Room and Hornby Library Toxteth Sefton Park James Picton West Derby Aigburth Liverpool Merseyside North West England		Newsletter H I S T O R Y No. 29 Add to Reading List Source URL: www.liverpoolhistorysociety.org.uk Download Document from Source Website File Size: 567,26 KB Share Document on Facebook

	Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by DocID: 1xU0K - View Document
	Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification DocID: 1xTyY - View Document
	Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy DocID: 1xTrB - View Document
	Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta DocID: 1xTmP - View Document
	Synthesis Sven S hewe University of Liverpool AVACS Autumn S hool, O tober 2nd , 2015 DocID: 1xTb6 - View Document