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
Verification of sequential and concurrent programs
Graduate texts in computer science
2. ed, 1997
Signatur: TVM2568(2)
    Datensatz exportieren als...
  • BibTeX
Logic programming over polymorphically order-sorted types
1989
Signatur: D2127
Open Access
    Datensatz exportieren als...
  • BibTeX
Selfish routing in networks [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Algorithmic complexity and communication problems
1996
Signatur: TVM3831
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
Informatik
3., überarb. Aufl, 2003-
Signatur: TVI4104-DT,...
    Datensatz exportieren als...
  • BibTeX
Randomness and Complexity
1996
Signatur: DQ2038
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester
Uni-Text
1977
Signatur: TVM1481
    Datensatz exportieren als...
  • BibTeX
Synthesis of parallel algorithms
1. [Dr.], 1993
Signatur: TVM2982
    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
Algebraic coding theory
McGraw-Hill series in systems science
1968
Signatur: TVM1318
    Datensatz exportieren als...
  • BibTeX
Commentary on standard ML
1991
Signatur: TVM2712
    Datensatz exportieren als...
  • BibTeX
Towards structured specifying : theory, practice, applications
Ellis Horwood books in information technology, Ellis Horwood series in software engineering
1989
Signatur: TVM2411
    Datensatz exportieren als...
  • BibTeX
Completeness, confluence, and related properties of clause graph resolution
1988
Signatur: D440
    Datensatz exportieren als...
  • BibTeX
Control flow semantics
Foundations of computing
1996
Signatur: TVM4544
    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
Formale Sprachen
1978
Signatur: TVM1627
    Datensatz exportieren als...
  • BibTeX
Graph-Grammatiken : Theorie, Anwendungen, Implementierung
Studienbücher Informatik
1979
Signatur: TVM1669
    Datensatz exportieren als...
  • BibTeX
Natural language parsing systems
Symbolic computation : artificial intelligence
1987
Signatur: TVM2055
    Datensatz exportieren als...
  • BibTeX
Kurs in logischer Programmierung
Springers angewandte Informatik
1990
Signatur: TVM2649
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Komplexitätsanalyse für die Verarbeitung hierarchisch definierter Graphen und hierarchisch definierter Graphfamilien
1989
Signatur: P438, TVM2398
    Datensatz exportieren als...
  • BibTeX
Multi-objective programming and goal programming : theories and applications
Lecture notes in economics and mathematical systems : 432 (Alle Bände)
1996
Signatur: TVM3700
    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
Computation as logic
Prentice-Hall international series in computer science
1. [Dr.], 1993
Signatur: TVM3310
    Datensatz exportieren als...
  • BibTeX
Introduction to the theory of complexity
Prentice Hall international series in computer science
1994
Signatur: TVM3116
    Datensatz exportieren als...
  • BibTeX
State-space search : algorithms, complexity, extensions, and applications
1999
Signatur: TVM4439
1 – 25 von 278
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... in den letzten 12 Monaten
Suchergebnisse filtern
Filter anzeigen