- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 116 (0.057 seconds)| 1 |
Testing in functional programming /Widera, Manfred. January 2008 (has links)
Fernuniv., Habil--Hagen, 2006.
|
| 2 |
A universal realizability model for sequential functional computationRohr, Alexander. January 2003 (has links) (PDF)
Darmstadt, Techn. Univ., Diss., 2002. / Computerdatei im Fernzugriff.
|
| 3 |
A universal realizability model for sequential functional computationRohr, Alexander. January 2003 (has links) (PDF)
Darmstadt, Techn. University, Diss., 2002.
|
| 4 |
Reasoning about terminating functional programsSlind, Konrad. January 1999 (has links)
München, Techn. University, Diss., 1999.
|
| 5 |
Analyzing demand in non-strict functional programming languagesSchütz, Marko. Unknown Date (has links) (PDF)
University, Diss., 2001--Frankfurt (Main).
|
| 6 |
Testing in functional programmingWidera, Manfred January 2006 (has links)
Zugl.: Hagen, Fernuniv., Habil.-Schr., 2006
|
| 7 |
Die Form der Reform eine system- und formtheoretische Rekonstruktion der Verwaltungsreform als Beitrag zur Theorie der ReformJung, Stefan January 2007 (has links)
Zugl.: Witten, Herdecke, Univ., Diss., 2007
|
| 8 |
Differenzierungsabhängige Expression des Proteinase-aktivierten Rezeptor 2Gerken, Lars Hendrik. Unknown Date (has links)
Univ., Diss., 2009--Marburg.
|
| 9 |
Region-based Program SpecializationHelsen, Simon. January 2002 (has links)
Freiburg, Univ., Diss., 2002.
|
| 10 |
Implementation funktionaler Programmiersprachen durch QuelltexttransformationMaćoš, Dragan. January 1998 (has links) (PDF)
Berlin, Humboldt-Universiẗat, Diss., 1998.
|
Page generated in 0.0626 seconds