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
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
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
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
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
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
Handbook of formal languages. 3. Beyond words
Handbook of formal languages (Alle Bände)
1997
Signatur: TVM3920-3
    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
Proceedings of the Fifth Annual ACM SIAM Symposium on Discrete Algorithms : Arlington, Va., January 23 - 25, 1994
1994
Signatur: TVI3912
    Datensatz exportieren als...
  • BibTeX
Algebraic coding theory
Rev. ed. [= 2. ed.], 1984
Signatur: TVM1318
    Datensatz exportieren als...
  • BibTeX
Algorithmik
Spektrum-Lehrbuch
2001
Signatur: TVI4081
1 – 25 von 186
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
SchlagwortLogische Programmierung
Suchergebnisse filtern
Filter anzeigen