Digital Repository Infrastructure Vision for European Research - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-04-22 10:31:09 Cape Peninsula University of Technology E-research Digital Repository Infrastructure Vision for European Research		Add to Reading List Source URL: www.coar-repositories.org Download Document from Source Website File Size: 1,81 MB Share Document on Facebook

	Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond DocID: 1xV4c - View Document
	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, DocID: 1xUxz - View Document
	451 RESEARCH REPRINT R E P O RT R E P R I N T Open source supporter Crunchy Data gives PostgreSQL a place in DocID: 1xUoZ - View Document
	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California DocID: 1xUl1 - View Document
	A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin DocID: 1xUa3 - View Document