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
Algorithms from P to NP. 1. Design & efficiency
Algorithms from P to NP (Alle Bände)
1991
Signatur: TVM2916-1
    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
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
    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
Data streams : algorithms and applications
Foundations and trends in theoretical computer science : 1,2 (Alle Bände)
c2005
Signatur: TVB4599
    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
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
Algorithms in ambient intelligence
Philips research book series : 2 (Alle Bände)
2004
Signatur: TVU8598
    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
String searching algorithms
Lecture notes series on computing : 3 (Alle Bände)
1994
Signatur: TVI3132
    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
A distributed implementation of flat concurrent prolog on message passing multiprocessor systems
Teubner-Texte zur Informatik : 3 (Alle Bände)
1993
Signatur: TVM3035, P681
    Datensatz exportieren als...
  • BibTeX
Graphen, Algorithmen, Datenstrukturen : Ergebnisse des Workshops WG 76
Applied computer science : 4 (Alle Bände)
1. Aufl, 1976
Signatur: TVM1512
    Datensatz exportieren als...
  • BibTeX
Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion
Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)
1991
Signatur: M5753
    Datensatz exportieren als...
  • BibTeX
Programming in Martin-Löf's type theory : an introduction
The international series of monographs on computer science : 7 (Alle Bände)
1990
Signatur: TVM2479
    Datensatz exportieren als...
  • BibTeX
Grundlagen offener Sprachen
Europäische Hochschulschriften : Reihe 41, Informatik : 9 (Alle Bände)
1993
Signatur: TVM3069
    Datensatz exportieren als...
  • BibTeX
Coding theorems of information theory
Ergebnisse der Mathematik und ihrer Grenzgebiete : B,31 (Alle Bände)
3. ed, 1978
Signatur: TVM1067(3)
    Datensatz exportieren als...
  • BibTeX
Computational complexity theory
IAS/Park City mathematics series : 10 (Alle Bände)
2004
Signatur: TVM4528
    Datensatz exportieren als...
  • BibTeX
The graph isomorphism problem : its structural complexity
Progress in theoretical computer science : 10 (Alle Bände)
1993
Signatur: TVM3166
    Datensatz exportieren als...
  • BibTeX
Finite automata, formal logic, and circuit complexity
Progress in theoretical computer science : 11 (Alle Bände)
1994
Signatur: TVM3417
    Datensatz exportieren als...
  • BibTeX
Logic programming : formal methods and practical applications
Studies in computer science and artificial intelligence : 11 (Alle Bände)
1995
Signatur: TVM3475
    Datensatz exportieren als...
  • BibTeX
Complexité et décidabilité
Mathématiques & applications : 12 (Alle Bände)
1993
Signatur: TVM3213
1 – 25 von 280
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen