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
Randomness and Complexity
1996
Signatur: DQ2038
    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
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
Natural language parsing systems
Symbolic computation : artificial intelligence
1987
Signatur: TVM2055
    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
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
    Datensatz exportieren als...
  • BibTeX
Circuit complexity and neural networks
Foundations of computing
1994
Signatur: TVM3611
    Datensatz exportieren als...
  • BibTeX
Algorithms illuminated
Omnibus edition, 2022
Signatur: TVM4790
    Datensatz exportieren als...
  • BibTeX
Parameterized complexity
Monographs in computer science
1999
Signatur: TVM4235
    Datensatz exportieren als...
  • BibTeX
Handbook of graph grammars and computing by graph transformation
1997-
Signatur: TVM4081-...
    Datensatz exportieren als...
  • BibTeX
Programming with Threads
A Prentice Hall title
1996
Signatur: TVM3687
    Datensatz exportieren als...
  • BibTeX
Semantics with applications : a formal introduction
Wiley professional computing
1992
Signatur: TVM2754
    Datensatz exportieren als...
  • BibTeX
The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution
Cambridge tracts in theoretical computer science : 32 (Alle Bände)
1992
Signatur: TVM3085
    Datensatz exportieren als...
  • BibTeX
Parallel complexity theory
Research notes in theoretical computer science
1987
Signatur: TVM2209
    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
Evolutionary algorithms in engineering and computer science : recent advances in genetic algorithms, evolution strategies, evolutionary programming, genetic programming and industrial applications
1999
Signatur: TVP1656
1 – 25 von 158
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen