Gla - PDFSEARCH.IO - Document Search Engine

Gla
Results: 2702

#	Item
61	2nd Reading November 18, :18 WSPC-255-IJAM S1758International Journal of Applied Mechanics Vol. 8, Nopages) c World Scientiﬁc Publishing Europe Ltd. Add to Reading List Source URL: www.maths.gla.ac.uk Language: English - Date: 2016-12-21 05:44:50
62	A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Dissertation zur Erlangung des Grades Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
63	Bounded Model Checking of Pointer Programs W. Charatonik, L. Georgieva, P. Maier∗ MPI–I–2005–2–002 Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:14
64	This paper was presented as part of the 14th IEEE Global Internet Symposium (GIat IEEE INFOCOMReducing DNS Caching Saleem N. Bhatti Randall Atkinson Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2011-04-11 06:47:44
65	Intuitionistic LTL and a New Characterization of Safety and Liveness Patrick Maier MPI–I–2004–2–002 Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:15
66	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:15
67	The Proteus Processor — A Conventional CPU with Reconfigurable Functionality Michael Dales Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow, G12 8RZ, Scotland. Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2002-07-08 03:57:43
68	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:15
69	Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
70	ASSOCIATION FOR SCOTTISH LITERARY STUDIES SCHOOLS AND FURTHER EDUCATION COMMITTEE TEACHING NOTES: Poems of Sir Walter Scott for the Lower Secondary School Add to Reading List Source URL: asls.arts.gla.ac.uk - Date: 2014-01-30 10:59:23

UPDATE