1![Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4 Knowledge-Based Interoperability for Mathematical Software Systems Michael Kohlhase1 Luca De Feo5 Dennis M¨ uller1 Markus Pfeiffer3 Florian 2 4](https://www.pdfsearch.io/img/41865c4ad2c3bcca98d255fd300f39d1.jpg) | Add to Reading ListSource URL: research-repository.st-andrews.ac.ukLanguage: English - Date: 2018-07-03 04:41:37
|
---|
2![Software Transactions Meet First-Class Continuations Aaron Kimball Dan Grossman University of Washington Software Transactions Meet First-Class Continuations Aaron Kimball Dan Grossman University of Washington](https://www.pdfsearch.io/img/f38ed4709a52a7608180a75fbbe048e7.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2012-08-10 19:21:08
|
---|
3![Software Language Evolution PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, Software Language Evolution PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Delft,](https://www.pdfsearch.io/img/b094d6c36d3e85f578e9252d6d67b1f2.jpg) | Add to Reading ListSource URL: repository.tudelft.nl |
---|
4![ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en](https://www.pdfsearch.io/img/ca790b6ffc226164df4ef4d4dd06aa89.jpg) | Add to Reading ListSource URL: repository.lib.ncsu.edu- Date: 2014-07-25 02:20:30
|
---|
5![Fedora4- Open Annotation Framework Dulip Withanage - University Library Ruprecht-Karls University, Heidelberg
Software Entwickler Fedora4- Open Annotation Framework Dulip Withanage - University Library Ruprecht-Karls University, Heidelberg
Software Entwickler](https://www.pdfsearch.io/img/6e7edf3a37522b70c9d090414c3849de.jpg) | Add to Reading ListSource URL: www.laudatio-repository.org- Date: 2014-10-09 09:36:56
|
---|
6![A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/ A Python-Based Simulation Code Repository for Complex Systems Education Hiroki Sayama http://pycx.sf.net/](https://www.pdfsearch.io/img/21500894653de9296f8d7a93ed84d07b.jpg) | Add to Reading ListSource URL: pycx.sourceforge.netLanguage: English - Date: 2013-09-14 15:15:31
|
---|
7![Managing Open Access Publication: a system specification Contents 1. Executive Summary Managing Open Access Publication: a system specification Contents 1. Executive Summary](https://www.pdfsearch.io/img/e40bb281bf258d3cceeb0b451f41ac91.jpg) | Add to Reading ListSource URL: jiscmonitor.jiscinvolve.orgLanguage: English - Date: 2015-01-30 06:25:10
|
---|
8![A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph](https://www.pdfsearch.io/img/6f70cec898dc9a7da1c5cb26c08f487d.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:10
|
---|
9![Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.](https://www.pdfsearch.io/img/70a5fa6cb5b36f7e485e84559d4ebbb3.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:29
|
---|
10![E
ective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of E
ective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of](https://www.pdfsearch.io/img/27a594a9383ddb80cb379ab20ffbcb8b.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:11
|
---|