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
Parallel processes and related automata : = Parallele Prozesse und damit zusammenhängende Automaten
Computing : Supplementum : 3 (Alle Bände)
1981
Signatur: TVH1850
    Datensatz exportieren als...
  • BibTeX
Topics in advanced scientific computation
1996
Signatur: TVH2377
    Datensatz exportieren als...
  • BibTeX
Mathematical theory of switching circuits and automata
1968
Signatur: TVH1224
    Datensatz exportieren als...
  • BibTeX
Algebraic and structural automata theory
Annals of discrete mathematics : 44 (Alle Bände)
1991
Signatur: TVH2149
    Datensatz exportieren als...
  • BibTeX
Logic based decision support : mixed integer model formulation
Annals of discrete mathematics : 40 (Alle Bände)
1989
Signatur: TVH2123
    Datensatz exportieren als...
  • BibTeX
Automata theory : machines and languages
McGraw-Hill computer science series
1972
Signatur: TVH1622
    Datensatz exportieren als...
  • BibTeX
Theory of automata
International series of monographs in pure and applied mathematics : 100 (Alle Bände)
1. ed, 1969
Signatur: TVH1240
    Datensatz exportieren als...
  • BibTeX
Theory and applications of cellular automata : (incl. selected papers 1983 - 1986)
Advanced series on complex systems : 1 (Alle Bände)
1986
Signatur: TVH2000
    Datensatz exportieren als...
  • BibTeX
Adaptation and learning in automatic systems
Mathematics in science and engineering : 73 (Alle Bände)
1971
Signatur: TVH1185
    Datensatz exportieren als...
  • BibTeX
Coping with complexity : perspectives for economics, management and social sciences
Theory and decision library : 33 (Alle Bände)
1983
Signatur: TVH1957
    Datensatz exportieren als...
  • BibTeX
Automata, languages, and machines
Pure and applied mathematics : 59 (Alle Bände)
1974-
Signatur: TVH1567
    Datensatz exportieren als...
  • BibTeX
Formal methods in artificial intelligence
1987
Signatur: TVH2068
    Datensatz exportieren als...
  • BibTeX
Formal development of programs and proofs
The UT year of programming series
1990
Signatur: TVH2131
    Datensatz exportieren als...
  • BibTeX
An introduction to automata theory
Computer science texts
1987
Signatur: TVH2026
    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
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
Automata, languages, and machines. A / Samuel Eilenberg
Automata, languages, and machines (Alle Bände)
1974
Signatur: TVH1567-A
    Datensatz exportieren als...
  • BibTeX
Algebraic theory of automata
Disquisitiones mathematicae hungaricae : 2 (Alle Bände)
1972
Signatur: TVH1135
    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
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
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
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
1 – 25 von 54
Suche als RSS-Feed
Aktive Filter
Autor / AutorinClaus, Volker
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen