Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Konferenzschrift 9 [ausschließen]
- Komplexitätstheorie 7 [ausschließen]
- Ada 4 [ausschließen]
- Software 4 [ausschließen]
- Funktionale Programmierung 3 [ausschließen]
- NP-vollständiges Problem 3 [ausschließen]
- Algorithmus 2 [ausschließen]
- Applikative Programmiersprache 2 [ausschließen]
- Approximation 2 [ausschließen]
- Argumentation 2 [ausschließen]
- Ausnahmebehandlung 2 [ausschließen]
- Bibliografie 2 [ausschließen]
- Bibliothek 2 [ausschließen]
- Boolesche Algebra 2 [ausschließen]
- Datenstruktur 2 [ausschließen]
- Datenverarbeitung 2 [ausschließen]
- Entscheidungstabellentechnik 2 [ausschließen]
- Erwerbung 2 [ausschließen]
- Fehler 2 [ausschließen]
- Graphentheorie 2 [ausschließen]
- Implementation 2 [ausschließen]
- Lexikalisch funktionale Grammatik 2 [ausschließen]
- Logik 2 [ausschließen]
- Occam 2 [ausschließen]
- Paketverteilungsanlage 2 [ausschließen]
- Parser 2 [ausschließen]
- Ray tracing 2 [ausschließen]
- Reengineering 2 [ausschließen]
- Rekursionstheorie 2 [ausschließen]
- Spezifikation 2 [ausschließen]
-
1
Workshop Software Reengineering (Bad Honnef, 27./28. Mai 1999)
Veröffentlicht 1999“… Fachberichte Informatik …”
Tagungsbericht Buch -
2
NET CASE towards a Petri net based technique for the development of expert database systems
Veröffentlicht 1994“… Fachberichte Informatik …”
Buch -
3
-
4
Workshop "Modellierung der Zelldifferenzierung"
Veröffentlicht 1993“… Fachberichte Informatik …”
Inhaltsverzeichnis
Tagungsbericht Buch -
5
Ein Vorgehensmodell zur Software-Evaluation am Beispiel der Auftragsabwicklung im Handwerk
Veröffentlicht 1993“… Fachberichte Informatik …”
Buch -
6
An algorithm for general set unification and its complexity
Veröffentlicht 1993“… Fachberichte Informatik …”
Buch -
7
Semantics of logic programs their intuitions and formal properties ; an overview
Veröffentlicht 1993“… Fachberichte Informatik …”
Buch -
8
-
9
Consolution as a framework for comparing calculi
Veröffentlicht 1992“… Fachberichte Informatik …”
Buch -
10
Informatik in den Biowissenschaften Perspektiven 2000
Veröffentlicht 1992“… Fachberichte Informatik …”
Buch -
11
Specification of a graph based data model for a CASE tool
Veröffentlicht 1992“… Fachberichte Informatik …”
Buch -
12
UBS, unification-based language for the implementation of HPSG
Veröffentlicht 1992“… Fachberichte Informatik …”
Buch -
13
The reproducibility of the empty marking in place/transition nets
Veröffentlicht 1992“… Fachberichte Informatik …”
Buch -
14
Splitting as a source of parallelism in disjunctive logic programs
Veröffentlicht 1991“… Fachberichte Informatik …”
Buch -
15
Detection and resolution of resource deadlocks in distributed database systems
Veröffentlicht 1991“… Fachberichte Informatik …”
Buch -
16
RELCAD a relational CAD system with an object oriented design
Veröffentlicht 1991“… Fachberichte Informatik …”
Buch -
17
Repräsentationskonzepte für die Generierung von Wegauskünften im Projekt KOPW
Veröffentlicht 1991“… Fachberichte Informatik …”
Buch -
18
A completeness proof technique for resolution with equality
Veröffentlicht 1991“… Fachberichte Informatik …”
Buch -
19
Baum- und Graphreduktion für den angewandten Lambda-Kalkül
Veröffentlicht 1991“… Fachberichte Informatik …”
Buch -
20