Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Hochschulschrift 18 [ausschließen]
- Semantik 4 [ausschließen]
- Approximation 2 [ausschließen]
- Betriebssystem 2 [ausschließen]
- Endlicher Automat 2 [ausschließen]
- Programmtransformation 2 [ausschließen]
- Rechnernetz 2 [ausschließen]
- Temporale Logik 2 [ausschließen]
- Abhängigkeit 1 [ausschließen]
- Algorithmus 1 [ausschließen]
- Antwort 1 [ausschließen]
- Attributierte Grammatik 1 [ausschließen]
- Aufsatzsammlung 1 [ausschließen]
- Automatentheorie 1 [ausschließen]
- Axiomatik 1 [ausschließen]
- Baum Mathematik 1 [ausschließen]
- Bericht 1 [ausschließen]
- CMOS-Schaltung 1 [ausschließen]
- Computer 1 [ausschließen]
- Datenbank 1 [ausschließen]
- Echtzeitsystem 1 [ausschließen]
- Echtzeitverarbeitung 1 [ausschließen]
- Finite-Elemente-Methode 1 [ausschließen]
- Formale Methode 1 [ausschließen]
- Frage 1 [ausschließen]
- Funktionale Programmiersprache 1 [ausschließen]
- Hardware 1 [ausschließen]
- Hierarchisches System 1 [ausschließen]
- Informatik 1 [ausschließen]
- Konstruktion 1 [ausschließen]
-
1
-
2
-
3
-
4
Eine Methode zur formalen Modellierung von Betriebssystemkonzepten
Veröffentlicht 1998“… TUM-Info …”
Buch -
5
Technologieabhängigkeit von Spezifikationen digitaler Hardware
Veröffentlicht 1994“… TUM-Info …”
Buch -
6
Lebendigkeit in NSK-Petri-Netzen
Veröffentlicht 1979“… Technische Universität <München>: TUM-INFO …”
Buch -
7
Entwicklung und simulativer Test von Prozessführungs-Software
Veröffentlicht 1979“… Technische Universität <München>: TUM-INFO …”
Buch -
8
Optimierende Erzeugung von Übersetzerteilen aus implementierungsorientierten Sprachbeschreibungen
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
9
The Translation of natural language texts into state logic formulae
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
10
Concrete and abstract specification, modularization and program development by transformation
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
11
Modelle und Algorithmen zur Verklemmungsentdeckung
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
12
Datenerfassung für ein Bibliotheks-Dokumentationssystem
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
13
ELSL e. dialogorient. Datenbanksprache für d. konzeptuelle Ebene e. Datenbanksystems
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
14
Context pattern grammars a unifying approach to generalized phrase structure grammars
Veröffentlicht 1978“… Technische Universität <München>: TUM-INFO …”
Buch -
15
Baum-Transformatoren ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung
Veröffentlicht 1977“… Technische Universität <München>: TUM-INFO …”
Buch -
16
Equivalent recursive definitions of certain number theoretical functions
Veröffentlicht 1977“… Technische Universität <München>: TUM-INFO …”
Buch -
17
Tautology testing with an improved matrix reduction
Veröffentlicht 1977“… Technische Universität <München>: TUM-INFO …”
Buch -
18
Das Bibliotheks-Dokumentationssystem TUBIMUE Aufbau u. Wartung
Veröffentlicht 1977“… Technische Universität <München>: TUM-INFO …”
Buch -
19
Ein Auswahl-Algorithmus für eine Menge von Elementen mit Gewichten und seine lineare Zeitkomplexität
Veröffentlicht 1977“… Technische Universität <München>: TUM-INFO …”
Buch -
20
ITS status report this report is also publ. by Univ. of Warsaw, Inst. of Informatics, ... Warsaw
Veröffentlicht 1977“… Technische Universität <München>: TUM-INFO …”
Buch