Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Formale Sprache 2 [ausschließen]
- Suchbaum 2 [ausschließen]
- Berechenbarkeit 1 [ausschließen]
- Bibliografie 1 [ausschließen]
- Komplexität 1 [ausschließen]
- Kontextfreie Sprache 1 [ausschließen]
- Korrektheit 1 [ausschließen]
- Produktkomplexität 1 [ausschließen]
- Programmiersprache 1 [ausschließen]
- Semantik 1 [ausschließen]
- Strukturierte Programmierung 1 [ausschließen]
- Turing-Maschine 1 [ausschließen]
- While-Programm 1 [ausschließen]
-
1
An ultra-fast algorithm in tomography
Veröffentlicht 1981“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
2
Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef March 16 - 20, 1981
Veröffentlicht 1981“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Tagungsbericht Buch -
3
Operationaler Vergleich der Rechner TR 440, Siemens 7760, Vax 11/780 und Modcomp 7870
Veröffentlicht 1980“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
4
Lower bounds on the efficiency of transforming static data structures into dynamic structures
Veröffentlicht 1980“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
5
Betriebssysteme Konzepte und Realisierung
Veröffentlicht 1980“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
6
Algorithmic specifications of abstract data types410 Saarbrücken
Veröffentlicht 1980“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
7
Some properties of implementations of abstract data types
Veröffentlicht 1980“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
8
Arbitrary weight changes in dynamic trees
Veröffentlicht 1978“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
9
Untersuchungen an Klammersprachen
Veröffentlicht 1977“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
Buch -
10
Strukturelle Untersuchungen zur schwersten kontextfreien Sprache
Veröffentlicht 1976“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
Buch -
11
Formale Korrektheitsbeweise für While-Programme
Veröffentlicht 1976“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A. …”
Buch -
12
Top down parsing of macro grammars (Preliminary report)
Veröffentlicht 1976“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
Buch -
13
Untere Schranken für das Analyseproblem contextfreier Sprachen
Veröffentlicht 1975“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
Buch -
14
A game on graphs
Veröffentlicht 1975“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
Buch -
15
Lokalitätsmodelle und Demand-Prepaging-Strategien
Veröffentlicht 1974“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
Buch -
16
Eine Implementierung von DATAS [Datenstrukturen in assoziativer Speicherung]
Veröffentlicht 1974“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
17
On a theorem of McGowan concerning the most recent property of programs
Veröffentlicht 1974“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
Buch -
18
Shift register families with permutation registers
Veröffentlicht 1973“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht. A. …”
Buch -
19
A 2.75n-lower bound on the network complexity of Boolean functions
Veröffentlicht 1981“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch -
20
Charakterisierung der optimalen Schaltkreise zur simultanen Berechnung von AND and NOR
Veröffentlicht 1980“… Universität <Saarbrücken> / Fachbereich Angewandte Mathematik und Informatik: Bericht / A …”
Buch