Microsoft Word - NICTA 2010 Q2 Report 24 Nov.doc - Gernot Heiser - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-02-06 07:14:42 Gernot Heiser Research L4 microkernel family University of New South Wales Higher education University of Melbourne Future Internet Australian National University Association of Commonwealth Universities NICTA Academia		Microsoft Word - NICTA 2010 Q2 Report 24 Nov.doc Add to Reading List Source URL: www.nicta.com.au Download Document from Source Website File Size: 1,05 MB Share Document on Facebook

	The Mercury Library Reference Manual Version c 1995–1997,1999–2014 The University of Melbourne. Copyright Permission is granted to make and distribute verbatim copies of this manual provided the DocID: 1xVZB - View Document
	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s DocID: 1xVMq - View Document
	FROM PUBLICATION  TO IMPACT ! Professor Anne-Wil Harzing University of Melbourne www.harzing.com DocID: 1xVjt - View Document
	1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia DocID: 1xUi8 - View Document
	Recommending and Planning Trip Itineraries for Individual Travellers and Groups of Tourists Kwan Hui Lim† Department of Computing and Information Systems, The University of Melbourne, Australia DocID: 1xUi1 - View Document