Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Formal development of programs and proofs
The UT year of programming series
1990
Signatur: TVH2131
    Datensatz exportieren als...
  • BibTeX
SWITCHING MACHINES. 1. COMBINATIONAL SYSTEMS. INTRODUCTION TO SEQUENTIAL SYSTEMS
SWITCHING MACHINES (Alle Bände)
Signatur: TVH1787-1
    Datensatz exportieren als...
  • BibTeX
Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 3. Formale Sprachen : nach einer Vorlesung von G. Hotz im Wintersemester 1966/67 an der Universität des Saarlandes / von Günter Hotz und Volker Claus
Automatentheorie und formale Sprachen (Alle Bände), BI-Hochschulskripten : 823,a (Alle Bände)
1972
Signatur: TVH1012-3
    Datensatz exportieren als...
  • BibTeX
Vortragsauszüge, Colloquium über Automatentheorie. 3. Vom 19. bis 22. Oktober 1965 in Hannover
Vortragsauszüge, Colloquium über Automatentheorie (Alle Bände), International series of numerical mathematics : 6 (Alle Bände)
1967
Signatur: TVH1648
    Datensatz exportieren als...
  • BibTeX
Distributed bucket processing : a paradigm for parallel image processing
ASCI dissertation series : 68 (Alle Bände)
2001
Signatur: TVV17247
    Datensatz exportieren als...
  • BibTeX
Automata, languages, and machines. A / Samuel Eilenberg
Automata, languages, and machines (Alle Bände)
1974
Signatur: TVH1567-A
    Datensatz exportieren als...
  • BibTeX
Faktensysteme - ein vereinheitlichender Modellierungsformalismus für nebenläufige Systeme
1988
Signatur: D2196
    Datensatz exportieren als...
  • BibTeX
Ein wissensbasierter Planungsansatz für Reihenfolgeprobleme in einer Roboterzelle
1993
Signatur: DQ1799
    Datensatz exportieren als...
  • BibTeX
Automatentheorie und formale Sprachen : Vorlesung im WS 1966/67 an der Universität des Saarlandes in Saarbrücken. 1. Turingmaschinen und rekursive Funktionen : Vorlesung im Wintersem. 1966 an d. Univ. d. Saarlandes in Saarbrücken / von Günter Hotz. Ausgearb. von Hermann Walter
Automatentheorie und formale Sprachen (Alle Bände)
[Dr.] B, c1968
Signatur: TVH1012-1
    Datensatz exportieren als...
  • BibTeX
Parsing theory. 1. Languages and parsing
Parsing theory (Alle Bände), EATCS monographs on theoretical computer science : 15 (Alle Bände)
1988
Signatur: TVH2018-1
    Datensatz exportieren als...
  • BibTeX
Automata, languages, and machines. B / Samuel Eilenberg. With two chapters by Bret Tilson
Automata, languages, and machines (Alle Bände)
1976
Signatur: TVH1567-B
    Datensatz exportieren als...
  • BibTeX
Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze
2001
Signatur: D13140
    Datensatz exportieren als...
  • BibTeX
Theory of machines and computations : proceedings of an International Symposium on the Theory of Machines and Computations held at Technion in Haifa, Israel on August 16 - 19, 1971
1971
Signatur: TVH1452
    Datensatz exportieren als...
  • BibTeX
Artificial intelligence and heuristic programming : proceedings of NATO Advanced Study Institute, Menaggio, Italy, ... Aug. 1970
1971
Signatur: TVH1575
    Datensatz exportieren als...
  • BibTeX
A temporal logic for the specification and verification of distributed behaviour
1998
Signatur: DQ2252
    Datensatz exportieren als...
  • BibTeX
Realization of the highly integrated distributed real time safety critical system MELODY
1999
Signatur: DQ2231
    Datensatz exportieren als...
  • BibTeX
Formale Semantik von Konnektoren
1999
Signatur: D12554
    Datensatz exportieren als...
  • BibTeX
The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms
Dissertationen der Johannes-Kepler-Universität Linz : 49 (Alle Bände)
1984
Signatur: TVH1949
    Datensatz exportieren als...
  • BibTeX
Multilevelverfahren mit selbstadaptiven Gitterverfeinerungen für Parallelrechner mit verteiltem Speicher
1993
Signatur: DQ1823
    Datensatz exportieren als...
  • BibTeX
Benutzer- und datengesteuertes Schleifen-Scheduling auf Parallelrechnern mit distributed shared memory
1998
Signatur: DQ2232
    Datensatz exportieren als...
  • BibTeX
Parsing theory. 2. LR(k) and LL(k) parsing
Parsing theory (Alle Bände), EATCS monographs on theoretical computer science : 20 (Alle Bände)
1990
Signatur: TVH2018-2
    Datensatz exportieren als...
  • BibTeX
SWITCHING MACHINES. 2. SEQUENTIAL SYSTEMS.S
SWITCHING MACHINES (Alle Bände)
Signatur: TVH1787-2
    Datensatz exportieren als...
  • BibTeX
Lernende Automaten : Bericht über die Fachtagung der Nachrichtentechnischen Gesellschaft im VDE (NTG), Fachausschuß 6 "Informationsverarbeitung" in Karlsruhe am 13. und 14. April 1961
Beihefte zur Zeitschrift "Elektronische Rechenanlagen" : 3 (Alle Bände)
1961
Signatur: TVH1923
    Datensatz exportieren als...
  • BibTeX
Verwaltung persistenter Daten in einem verteilten objektbasierten Betriebssystem
1995
Signatur: DQ2058
    Datensatz exportieren als...
  • BibTeX
Automata, languages, development : at the crossroads of biology, mathematics and computer science
1976
Signatur: TVH1672
1 – 25 von 29
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
SchlagwortAbstrakter Automat
Suchergebnisse filtern
Filter anzeigen