Monografie
Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern
- Sprache
-
Deutsch
- Identifier
-
1306285232
Thema
Verbotenes Muster; Mathematische Logik
Beteiligte Personen und Organisationen
Heindl, Amelie
- DOI
-
10.18419/opus-13586
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
07.12.2023, 15:21 MEZ
Objekttyp
- Monografie
Beteiligte
- Heindl, Amelie
Ähnliche Objekte (12)
Emotion classification based on the emotion component model
Modelle und Programmierparadigmen für Geschäftslogik
Detoxification of pesticide-containing wastewater with FeIII, activated carbon and Fenton reagent and its control using three standardized bacterial inhibition tests
Verbotsmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie
Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA
Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen
Removal of emerging contaminants and estrogenic activity from wastewater treatment plant effluent with UV/chlorine and UV/H2O2 advanced oxidation treatment at pilot scale
Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Vorverarbeitung von Satellitenaltimetriedaten für die Analyse des zeitlich-variablen Schwerefelds
Regelbasiertes Pattern-Mapping von Mashup Plans
Choreographiesprachen mit Datenmodellierungsfähigkeiten : eine Übersicht
Emotion classification based on the emotion component model
Modelle und Programmierparadigmen für Geschäftslogik
Detoxification of pesticide-containing wastewater with FeIII, activated carbon and Fenton reagent and its control using three standardized bacterial inhibition tests
Verbotsmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie
Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA
Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen
Removal of emerging contaminants and estrogenic activity from wastewater treatment plant effluent with UV/chlorine and UV/H2O2 advanced oxidation treatment at pilot scale
Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Vorverarbeitung von Satellitenaltimetriedaten für die Analyse des zeitlich-variablen Schwerefelds
Regelbasiertes Pattern-Mapping von Mashup Plans
Choreographiesprachen mit Datenmodellierungsfähigkeiten : eine Übersicht
Emotion classification based on the emotion component model
Modelle und Programmierparadigmen für Geschäftslogik
Detoxification of pesticide-containing wastewater with FeIII, activated carbon and Fenton reagent and its control using three standardized bacterial inhibition tests
Verbotsmuster bei deterministischen endlichen Automaten in der Trotter-Weil-Hierarchie
Entwicklung eines Eclipse-Plugin für die erweiterte Methode von STPA
Entwicklung eines STPA-Verifiers als Eclipse-Plug-in für die Verifikation von Software-Sicherheitsanforderungen
Removal of emerging contaminants and estrogenic activity from wastewater treatment plant effluent with UV/chlorine and UV/H2O2 advanced oxidation treatment at pilot scale
Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung
Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern
Vorverarbeitung von Satellitenaltimetriedaten für die Analyse des zeitlich-variablen Schwerefelds
Regelbasiertes Pattern-Mapping von Mashup Plans