NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 16
  • 1
  • Tagged with
  • 17
  • 17
  • 6
  • 6
  • 6
  • 6
  • 4
  • 4
  • 4
  • 4
  • 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 17 (0.055 seconds)

Spelling suggestions: "subject:"normale ordsemantik"" "subject:"normale ramsemantik""

1

Verb object dependencies in Hungarian and English a DRT-based account /

Bende-Farkas, Ágnes. January 2002 (has links)
Stuttgart, Univ., Diss., 2002.
2

Semantic and pragmatic aspects of some particular uses of contrast marking

Soffner, Martin. January 2006 (has links)
Stuttgart, Univ., Diss., 2006.
3

Developing concepts and methods for module and integration tests for models of reactive systems

Kyeyune, Yusufu. Unknown Date (has links)
University, Diss., 2000--Dortmund. / Dateiformat: PDF.
4

Executable HybridUML semantics : a transformation definition

Bisanz, Stefan January 2005 (has links) (PDF)
Bremen, Univ., Diss., 2005
5

The semantic foundations of anti-realism /

Hinzen, Wolfram. Hinzen, Wolfram. January 1998 (has links)
Diss. phil.-hist. Bern (kein Austausch). / Im Buchh.: Berlin : Logos-Verlag. Literaturverz.
6

A demand-driven solver for constraint-based control flow analysis

Probst, Christian W. Unknown Date (has links) (PDF)
University, Diss., 2002--Saarbrücken.
7

Semantics-directed generation of compilers and abstract machines

Diehl, Stephan. Unknown Date (has links) (PDF)
University, Diss., 1996--Saarbrücken.
8

Extracting information for biology

Šarić, Jasmin, January 2006 (has links)
Stuttgart, Univ., Diss., 2006.
9

A framework for formal representation and transformational optimisation of executable specifications

Meyer, Thomas January 2005 (has links)
Zugl.: Bremen, Univ., Diss., 2005
10

Characterization and comparison of formal refinement and development relations for software modeling techniques

Schröter, Gunnar. Unknown Date (has links) (PDF)
Techn. University, Diss., 2004--Berlin.

Page generated in 0.0618 seconds