Gla - PDFSEARCH.IO - Document Search Engine

Gla
Results: 2702

#	Item
71	Deciding Extensions of the Theories of Vectors and Bags Patrick Maier Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
72	Implementing a High-level Distributed-Memory Parallel Haskell in Haskell Patrick Maier and Phil Trinder School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK {P.Maier,P.W.Trinder}@hw.ac.uk Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
73	REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:14
74	This drawing is the property of the UNIVERSITY OF GLASGOW and must not be reproduced without permission from the UNIVERSITY COURT. THE CONTRACTOR must check all dimensions before commencing site work or shop drawings and Add to Reading List Source URL: www.gla.ac.uk - Date: 2016-12-20 10:29:40
75	Inductive Reasoning for Shape Invariants Lilia Georgieva1 and Patrick Maier2 1 School of Math. and Comp. Sciences, Heriot-Watt University, Edinburgh http://www.macs.hw.ac.uk/~lilia/ Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
76	Autonomous Agent Behaviour Modelled in PRISM – A Case Study Ruth Hoﬀmann1(B) , Murray Ireland1 , Alice Miller1 , Gethin Norman1 , and Sandor Veres2 1 Add to Reading List Source URL: eprints.gla.ac.uk - Date: 2016-06-17 07:18:46
77	SIGCHI Conference Paper Format Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2006-10-05 04:50:26
78	Crossmodal Congruence: The Look, Feel and Sound of Touchscreen Widgets Eve Hoggan1, Topi Kaaresoja2, Pauli Laitinen2 and Stephen Brewster1 Glasgow Interactive Systems Group Nokia Research Center Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2008-08-18 11:55:37
79	Copyright is held by the author/owner(s). CHI 2006, April 22–27, 2006, Montréal, Québec, Canada. ACMwww.tactons.org Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2006-03-09 09:06:41
80	A SAT based algorithm for the matching problem in bigraphs with sharing Michele Sevegnani, Chris Unsworth, and Muffy Calder Department of Computing Science, University of Glasgow, UK {michele,chrisu,muffy}@dcs.gla.ac.uk Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2010-05-25 10:29:13

UPDATE