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
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
    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
Action semantics
Cambridge tracts in theoretical computer science : 26 (Alle Bände)
1992
Signatur: TVM2827
    Datensatz exportieren als...
  • BibTeX
Handbook of graph grammars and computing by graph transformation
1997-
Signatur: TVM4081-...
    Datensatz exportieren als...
  • BibTeX
Multiprocessor execution of logic programs
1994
Signatur: TVM3459
    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
Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben
Informatik interaktiv
2003
Signatur: TVM4374
    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
    Datensatz exportieren als...
  • BibTeX
Algorithms and data structures : design, correctness, analysis
International computer science series
2. ed., repr, 1998
Signatur: TWX1163(2)
    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
Parallel logic programming
Logic programming
1991
Signatur: TVM2908
    Datensatz exportieren als...
  • BibTeX
Attributierte Grammatiken und Attributierungsalgorithmen
Informatik-Fachberichte : 157 (Alle Bände)
1988
Signatur: TVM2071
    Datensatz exportieren als...
  • BibTeX
String searching algorithms
Lecture notes series on computing : 3 (Alle Bände)
1994
Signatur: TVI3132
    Datensatz exportieren als...
  • BibTeX
A theory of programming language semantics
Signatur: TVM1449-...
    Datensatz exportieren als...
  • BibTeX
Algebraic coding theory
Rev. ed. [= 2. ed.], 1984
Signatur: TVM1318
    Datensatz exportieren als...
  • BibTeX
Algorithmik
Spektrum-Lehrbuch
2001
Signatur: TVI4081
    Datensatz exportieren als...
  • BibTeX
Inductive logic programming : techniques and applications
Ellis Horwood series in artificial intelligence
1994
Signatur: TVM3289
    Datensatz exportieren als...
  • BibTeX
A practical introduction to denotational semantics
Cambridge computer science texts : 23 (Alle Bände)
1986
Signatur: TVM1978
1 – 25 von 181
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Suchergebnisse filtern
Filter anzeigen