Knowledge base - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-03-31 11:08:42 Open access Digital libraries Academic publishing Knowledge representation Open Archives Initiative Institutional repository BASE Metadata Repository Information Archival science Science		Add to Reading List Source URL: www.ukoln.ac.uk Download Document from Source Website File Size: 388,00 KB Share Document on Facebook

	Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3 DocID: 1xW2M - View Document
	Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop DocID: 1xVW1 - View Document
	NewsHQ Basic A Digital Archive of Your Company’s Press Releases NewsHQ Basic is a repository of all of your company’s press releases that have been distributed through Business Wire. Take advantage of NewsHQ Basic w DocID: 1xVcK - View Document
	Space-time Interpolants Goran Frehse1 , Mirco Giacobbe2 , and Thomas A. Henzinger2 1 Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG 2 DocID: 1xUqu - View Document
	Conic Abstractions for Hybrid Systems Sergiy Bogomolov12 , Mirco Giacobbe2 , Thomas A. Henzinger2 , and Hui Kong2 1 Australian National University, Canberra, Australia 2 DocID: 1xU0g - View Document