NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 311
  • 120
  • 104
  • 15
  • 12
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 569
  • 340
  • 159
  • 154
  • 99
  • 94
  • 94
  • 84
  • 53
  • 45
  • 38
  • 38
  • 29
  • 27
  • 25
  • 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 211 to 220 of 569 (0.021 seconds)

Spelling suggestions: "subject:"logik"" "subject:"gogik""

211

Fuzzy Process Engineering Integration von Unschärfe bei der modellbasierten Gestaltung prozessorientierter Informationssysteme /

Thomas, Oliver. January 2009 (has links)
Habil. Univ. des Saarlandes, 2008. / Business and Economics (German Language) (Springer-11775) (GWV).
212

Fuzzy Process Engineering Integration von Unschärfe bei der modellbasierten Gestaltung prozessorientierter Informationssysteme /

Thomas, Oliver. January 2009 (has links)
Habil. Univ. des Saarlandes, 2008. / Business and Economics (German Language) (Springer-11775) (GWV).
213

Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken

Molitor, Ralf. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
214

Soft Business Process Management : Darstellung, Überwachung und Verbesserung von Geschäftsprozessen mit Methoden des Soft Computing /

Adam, Otmar. January 2009 (has links)
Zugl.: Saarbrücken, Universiẗat, Diss., 2009.
215

Integration of graph transformation and temporal logic for the specification of distributed systems

Koch, Manuel. Unknown Date (has links)
Techn. University, Diss., 1999--Berlin.
216

Sales advisory system a case study in applying knowledge representation systems /

Thakar, Sunil. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
217

Intensional equality for process calculi based on e-structures

Pooyan-Weihs, Ladan. Unknown Date (has links) (PDF)
Techn. University, Diss., 2000--Berlin.
218

Symbolische LTL-Verifikation von Petrinetzen

Spranger, Jochen. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.
219

An algorithm for the real-time evaluation of temporal trace specifications

Lepper, Markus. Unknown Date (has links) (PDF)
Techn. University, Diss., 2004--Berlin.
220

Equality and extensionality in automated higher-order theorem proving

Benzmüller, Christoph. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.

Page generated in 0.0274 seconds