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
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
Orakelabhängige Zeithierarchiesätze
Informatik-Berichte : 264 (Alle Bände)
2000
Signatur: TVI3726
    Datensatz exportieren als...
  • BibTeX
Abstrakte Automaten
1969
Signatur: TVH1070
    Datensatz exportieren als...
  • BibTeX
Semiotik der Automaten, Algorithmen und formalen Sprachen : e. wissenschaftstheoretische Untersuchung über d. Grundlagen d. theoretischen Informatik
1989
Signatur: D1567
    Datensatz exportieren als...
  • BibTeX
Locally interacting systems and their application in biology : proceedings of the School Seminar on Markov Interaction Processes in Biology, held in Pushchino, Moscow Region, March 1976
Lecture notes in mathematics : 653 (Alle Bände)
1978
Signatur: TAY2019
    Datensatz exportieren als...
  • BibTeX
Mathematical logic and foundations of set theory : proceedings of an international colloquium ..., Jerusalem, 11 - 14 November 1968
Studies in logic and the foundation of mathematics
1970
Signatur: TAY1306
    Datensatz exportieren als...
  • BibTeX
Zwischen Organismus und Notation : zur kulturellen Konstruktion des Computer-Programms
Studien zur Wissenschafts- und Technikforschung, DUV : Sozialwissenschaft
1. Aufl, 2001
Signatur: NZX3216
    Datensatz exportieren als...
  • BibTeX
Klassen von Sprachen fairer endlicher Automaten
1988
Signatur: TVJ1266, P373
    Datensatz exportieren als...
  • BibTeX
The finite representation of abstract programs by automata and Petri nets
1988
Signatur: D460
    Datensatz exportieren als...
  • BibTeX
Unconventional Computation and Natural Computation : 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Theoretical Computer Science and General Issues : 11493
2019
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8–11, 2020, Proceedings
Theoretical Computer Science and General Issues : 12062
1st ed. 2020, 2020
1 – 11 von 11
Suche als RSS-Feed
Aktive Filter
SchlagwortAutomat
Art des InhaltsSonstiges
Suchergebnisse filtern
Filter anzeigen