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 BeschreibungslogikenMolitor, 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 systemsKoch, 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-structuresPooyan-Weihs, Ladan. Unknown Date (has links) (PDF)
Techn. University, Diss., 2000--Berlin.
|
218 |
Symbolische LTL-Verifikation von PetrinetzenSpranger, Jochen. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2001--Cottbus.
|
219 |
An algorithm for the real-time evaluation of temporal trace specificationsLepper, Markus. Unknown Date (has links) (PDF)
Techn. University, Diss., 2004--Berlin.
|
220 |
Equality and extensionality in automated higher-order theorem provingBenzmüller, Christoph. Unknown Date (has links) (PDF)
University, Diss., 1999--Saarbrücken.
|
Page generated in 0.0318 seconds