Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Hochschulschrift 30 [ausschließen]
- Konferenzschrift 15 [ausschließen]
- Verteiltes System 12 [ausschließen]
- Aufsatzsammlung 11 [ausschließen]
- Datenbanksystem 11 [ausschließen]
- Expertensystem 11 [ausschließen]
- Digitalschaltung 9 [ausschließen]
- Programm 9 [ausschließen]
- Automatisches Beweisverfahren 8 [ausschließen]
- Datenverarbeitung 8 [ausschließen]
- EPOS Programmiersprache 8 [ausschließen]
- Künstliche Intelligenz 8 [ausschließen]
- Fehlertoleranz 7 [ausschließen]
- Softwareentwicklung 7 [ausschließen]
- Algorithmus 6 [ausschließen]
- Codegenerierung 6 [ausschließen]
- Mikrocomputer 6 [ausschließen]
- Programmiersprache 6 [ausschließen]
- Ray tracing 6 [ausschließen]
- Computersimulation 5 [ausschließen]
- Optimierung 5 [ausschließen]
- PROLOG Programmiersprache 5 [ausschließen]
- Ada 4 [ausschließen]
- Compiler 4 [ausschließen]
- Computerarchitektur 4 [ausschließen]
- Computergrafik 4 [ausschließen]
- Datenbank 4 [ausschließen]
- Induktionsbeweis 4 [ausschließen]
- KA-PROLOG 4 [ausschließen]
- Knuth-Bendix-Vervollständigungsprozedur 4 [ausschließen]
-
1
Transformierende attributierte Grammatiken Ein formales Beschreibungsverfahren für Codeoptimierer auf d. Basis attributierter Grammatiken
Veröffentlicht 1979“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
2
Transformierende attributierte Grammatiken
Veröffentlicht 1979“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
3
Programmentwicklung im Dialog
Veröffentlicht 1976“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
4
A proof of Buchberger's lemma
Veröffentlicht 1982“… Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht …”
Buch -
5
Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau
Veröffentlicht 1981“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
6
Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau
Veröffentlicht 1981“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
7
Rekonfigurierung von hybridredundanten Mehrmikrorechnern
Veröffentlicht 1983“… Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht …”
Buch -
8
MKRP
Veröffentlicht 1983“… Universität <Karlsruhe>: Fakultät für Informatik: Interner Bericht …”
Buch -
9
Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau
Veröffentlicht 1981“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
10
Registerzuteilung für Ausdrücke mit gemeinsamen Unterausdrücken auf dem Adressierungsniveau
Veröffentlicht 1981“… Universität <Karlsruhe>. Fakultät für Informatik: Interner Bericht. …”
Buch -
11
Specification and verification of distributed technical systems with central control
Veröffentlicht 1994“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
12
CuPit - a parallel language for neural algorithms language reference and tutorial
Veröffentlicht 1994“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
13
Latency hiding in parallel systems a quantitative approach
Veröffentlicht 1994“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
14
Temporal logic programming with metric and past operators based on constraint logic programming
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
15
Zwei Beschreibungsformen für nebenläufige Systeme und ihre Transformation
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
16
Temporal logic programming with metric and past operators based on constraint logic programming
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
17
Abschlußbericht zur Sprache KANN (KArlsruher Normal-Narrowing)
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
18
A brief introduction to the WAVE language
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
19
Comparison of MasPar MP-1 and MP-2 communication operations
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch -
20
A semantic approach to order-sorted rewriting
Veröffentlicht 1993“… Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht …”
Buch