NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 6
  • 2
  • Tagged with
  • 18
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 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 18 (0.089 seconds)

Spelling suggestions: "subject:"systemtransformation""

1

Semiautomatische Entfernung des duplizierten Codes

Liu, Yidong. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
Programmtransformation. ADA 95. LISP.
2

Einsatz einer XML-Anfragesprache für Transformationszwecke

Opletal, Sascha. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
3

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Sabel, David January 2008 (has links)
Zugl.: Frankfurt (Main), Univ., Diss., 2008
4

Strategies for automated porting of Linux device drivers to Athomux

Korth, Jens-Christian. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
5

Advanced slicing of sequential and concurrent programs

Krinke, Jens January 2003 (has links)
Passau, Univ., Diss., 2003 / Hergestellt on demand
6

Automatische Transformation von Software-Modellen /

Christoph, Alexander. January 2005 (has links) (PDF)
Universiẗat, Diss.--Karlsruhe, 2004.
7

Certifying system translations using higher order theorem provers

Blech, Jan Olaf January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
8

Pathfinder/MonetDB a relational runtime for XQuery /

Rittinger, Jan. January 2005 (has links)
Konstanz, Univ., Diplomarb., 2005.
9

On language processors and software maintenance /

Lohmann, Wolfgang. January 2009 (has links)
Zugl.: Rostock, University, Diss., 2009.
10

Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen /

Kutzner, Arne. January 1900 (has links) (PDF)
Frankfurt (Main), Univ., Diss., 2000. / Erscheinungsjahr an der Haupttitelstelle: 1999

Page generated in 0.0935 seconds