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
Signaturanalyse : theoretische Grundlagen u. Probleme ; Ausblick auf Anwendungen
Informatik-Fachberichte : 177 (Alle Bände)
1989
Signatur: TVH2050
    Datensatz exportieren als...
  • BibTeX
An introduction to automata theory
Computer science texts
1987
Signatur: TVH2026
    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
An introduction to queueing networks
1. [Dr.], 1988
Signatur: TVH2084
    Datensatz exportieren als...
  • BibTeX
Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen : mit 4 Tabellen
1973
Signatur: TVH1761
    Datensatz exportieren als...
  • BibTeX
New topics in learning automata theory and applications
Lecture notes in control and information sciences : 71 (Alle Bände)
1985
Signatur: TVH1965
    Datensatz exportieren als...
  • BibTeX
Logik, Automaten, Algorithmen
1967
Signatur: TVH1038
    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
AN INTRODUCTION TO THE THEORY OF AUTOMATA. COURSE HELD AT THE DEPARTMENT FOR AUTOMATION AND INFORMATION JULY 1971 UDINE
INTERNATIONAL CENTRE FOR MECHANICAL SCIENCES. COURSES AND LECTURES. 88. : 88 (Alle Bände)
1971
Signatur: TVH1274
    Datensatz exportieren als...
  • BibTeX
Grundlagen elektronischer Automaten : Möglichkeiten und Grenzen der elektronischen Rechenanlagen
Philips technische Bibliothek
1966
Signatur: TUC1102
    Datensatz exportieren als...
  • BibTeX
Automatengraphen
1982
Signatur: TVH1915
    Datensatz exportieren als...
  • BibTeX
Algebraic theory of automata
Disquisitiones mathematicae hungaricae : 2 (Alle Bände)
1972
Signatur: TVH1135
    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
Computability, complexity, and languages : fundamentals of theoretical computer science
Computer science and scientific computing
2. ed, 1994
Signatur: TVA1889(2)
    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
SYSTEMS AND COMPUTER SCIENCE. PROCEEDINGS OF A CONFERENCE HELD AT THE UNIVERSITY OF WESTERN ONTARIO, SEPTEMBER 10-11, 1965. ED
1967
Signatur: TVH1397
26 – 50 von 136
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen