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
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
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
    Datensatz exportieren als...
  • BibTeX
Algebraische Codierungstheorie : Theorie der sequentiellen Codierungen
Elektronisches Rechnen und Regeln : 11 (Alle Bände)
1977
Signatur: TVH1703
    Datensatz exportieren als...
  • BibTeX
Computation: finite and infinite machines
Prentice-Hall series in automatic computation
1. print, 1972
Signatur: TVH1096
    Datensatz exportieren als...
  • BibTeX
Automata and computability
Undergraduate texts in computer science
1997
Signatur: TVH2432
    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
Nonlinear time-discrete systems : a general approach by nonlinear superposition
Lecture notes in control and information sciences : 41 (Alle Bände)
1982
Signatur: TVH1884
    Datensatz exportieren als...
  • BibTeX
Formale Semantik von Konnektoren
1999
Signatur: D12554
26 – 50 von 136
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen