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
Structural complexity. 2
Structural complexity (Alle Bände), EATCS monographs on theoretical computer science : 22 (Alle Bände)
1990
Signatur: TVM2110-2
    Datensatz exportieren als...
  • BibTeX
Algorithms from P to NP. 1. Design & efficiency
Algorithms from P to NP (Alle Bände)
1991
Signatur: TVM2916-1
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages. 3. Beyond words
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-3
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages. 2. Linear modeling : background and application
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-2
    Datensatz exportieren als...
  • BibTeX
The temporal logic of reactive and concurrent systems. 1. Specification
The temporal logic of reactive and concurrent systems (Alle Bände)
1992
Signatur: TVM4502-1
    Datensatz exportieren als...
  • BibTeX
Komplexitätstheorie. 1. Grundlagen : Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus
Komplexitätstheorie (Alle Bände)
2., völlig neubearb. und erw. Aufl, 1999
Signatur: TVM4162(2)-1
    Datensatz exportieren als...
  • BibTeX
Einführung in die Codierungstheorie. 1
Einführung in die Codierungstheorie (Alle Bände), Skripten zur Informatik : 7 (Alle Bände)
1973
Signatur: TVM1075-1
    Datensatz exportieren als...
  • BibTeX
Structural complexity. 1
Structural complexity (Alle Bände), Texts in theoretical computer science
2., rev. ed, 1995
Signatur: TVM2110(2)-1
    Datensatz exportieren als...
  • BibTeX
Handbook of graph grammars and computing by graph transformation. 2. Applications, languages and tools
Handbook of graph grammars and computing by graph transformation (Alle Bände)
1999
Signatur: TVM4081-2
    Datensatz exportieren als...
  • BibTeX
Handbook of graph grammars and computing by graph transformation. 1. Foundations
Handbook of graph grammars and computing by graph transformation (Alle Bände)
1997
Signatur: TVM4081-1
    Datensatz exportieren als...
  • BibTeX
Handbook of formal languages. 1. Word, language, grammar
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-1
1 – 11 von 11
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
Suchergebnisse filtern
Filter anzeigen