NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 153
  • 41
  • 4
  • 4
  • 1
  • Tagged with
  • 203
  • 120
  • 96
  • 76
  • 69
  • 69
  • 69
  • 54
  • 48
  • 44
  • 35
  • 35
  • 32
  • 27
  • 27
  • 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 203 (0.025 seconds)

Spelling suggestions: "subject:"formales"" "subject:"formal""

1

Untersuchungen zu Kantengrammatiken und Valenzgrammatiken

Stiebe, Ralf. January 2000 (has links) (PDF)
Halle, Universiẗat, Diss., 2000.
Formale Sprache Formale Sprache
2

Dicomplemented lattices a contextual generalization of Boolean algebras /

Kwuida, Leonard. January 2004 (has links) (PDF)
Dresden, Techn. Univ., Diss., 2004. / Computerdatei im Fernzugriff.
Formale Begriffsanalyse
3

Composition of hierarchic default specifications

Alves Campos de Sousa Dionísio, Francisco Miguel. January 1997 (has links) (PDF)
Hannover, University, Diss., 1997.
Formale Spezifikationstechnik
4

Executable HybridUML semantics : a transformation definition

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

Beschreibungskomplexität von CD-Grammatiksystemen

Sunckel, Bettina. Unknown Date (has links) (PDF)
Frankfurt (Main), Universiẗat, Diss., 2007.
6

Analysis and verification of systems with dynamically evolving structure

König, Barbara. January 2004 (has links)
Stuttgart, Univ., Habil.-Schr., 2004.
7

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

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

Computing and visualizing concept lattices

Yevtushenko, Serhiy. January 2004 (has links) (PDF)
Darmstadt, Techn. University, Diss., 2004.
Formale Begriffsanalyse Begriffsverband
9

Dicomplemented lattices a contextual generalization of Boolean algebras /

Kwuida, Léonard. Unknown Date (has links) (PDF)
Techn. University, Diss., 2004--Dresden.
10

Eine formale algorithmische Synthese digitaler Schaltungen

Kapp, Kai. January 2005 (has links) (PDF)
Universiẗat, Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen--Karlsruhe.

Page generated in 0.0294 seconds