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
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
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
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
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
    Datensatz exportieren als...
  • BibTeX
Direkte und indirekte Wirkungen rechnergestützter Fertigungssysteme : formalisierte Netzstrukturen zur Darstellung und Analyse der Unternehmung
Beiträge zur Wirtschaftsinformatik : 15 (Alle Bände)
1995
Signatur: QBB7001
    Datensatz exportieren als...
  • BibTeX
Eine Grundlegung der Average-case-Komplexitätstheorie
Teubner-Texte zur Informatik : 19 (Alle Bände)
1996
Signatur: TVM3776
    Datensatz exportieren als...
  • BibTeX
Algorithmische Informationstheorie : statistische Informationstheorie und Anwendungen auf algorithmische Fragestellungen
Teubner-Texte zur Informatik : 25 (Alle Bände)
1997
Signatur: TVI3302
    Datensatz exportieren als...
  • BibTeX
Action semantics
Cambridge tracts in theoretical computer science : 26 (Alle Bände)
1992
Signatur: TVM2827
    Datensatz exportieren als...
  • BibTeX
Syntaxanalyse
Reihe Informatik : 27 (Alle Bände)
3., durchges. Aufl, 1986
Signatur: TVM1635(3)
    Datensatz exportieren als...
  • BibTeX
Homomorphismen und Reduktionen linearer Sprachen
Lecture notes in operations research and mathematical systems : 32 (Alle Bände)
1970
Signatur: TVM1326
    Datensatz exportieren als...
  • BibTeX
Vorlesungen zur Komplexitätstheorie
Teubner-Texte zur Informatik : 32 (Alle Bände)
1. Aufl, 2000
Signatur: TVM4269
    Datensatz exportieren als...
  • BibTeX
Einführung in die Automatentheorie und Theorie formaler Sprachen
Reihe Informatik : 90 (Alle Bände)
1993
Signatur: TVH2270
    Datensatz exportieren als...
  • BibTeX
Three contributions to elimination theory
Dissertationen der Johannes Kepler-Universität, Linz : 96 (Alle Bände)
1992
Signatur: D7304
    Datensatz exportieren als...
  • BibTeX
Attributierte Grammatiken und Attributierungsalgorithmen
Informatik-Fachberichte : 157 (Alle Bände)
1988
Signatur: TVM2071
    Datensatz exportieren als...
  • BibTeX
Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen
Informatik-Fachberichte : 178 (Alle Bände)
1988
Signatur: TVM2217
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Informatik-Fachberichte : 199 (Alle Bände)
1988
Signatur: TVM2225
    Datensatz exportieren als...
  • BibTeX
Spielbaum-Suchverfahren
Informatik-Fachberichte : 200 (Alle Bände)
1989
Signatur: TVM2233
    Datensatz exportieren als...
  • BibTeX
Automatische Komplexitätsanalyse funktionaler Programme
Informatik-Fachberichte : 261 (Alle Bände)
1990
Signatur: TVM2518
    Datensatz exportieren als...
  • BibTeX
Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division
HNI-Verlagsschriftenreihe : 261 (Alle Bände)
2011
Signatur: TVM4691
1 – 25 von 122
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen