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
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
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
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
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
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
Lectures on quantum information
Physics textbook
2007
Signatur: UHE2523
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen