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
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
State-space search : algorithms, complexity, extensions, and applications
1999
Signatur: TVM4439
    Datensatz exportieren als...
  • BibTeX
Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht
Informatik und Unternehmensführung
1994
Signatur: TZT2959
    Datensatz exportieren als...
  • BibTeX
Algorithms illuminated
Omnibus edition, 2022
Signatur: TVM4790
    Datensatz exportieren als...
  • BibTeX
Action semantics
Cambridge tracts in theoretical computer science : 26 (Alle Bände)
1992
Signatur: TVM2827
    Datensatz exportieren als...
  • BibTeX
Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache
2003
Signatur: D13906
    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
Algorithms from P to NP. 1. Design & efficiency
Algorithms from P to NP (Alle Bände)
1991
Signatur: TVM2916-1
    Datensatz exportieren als...
  • BibTeX
Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen
Informatik-Fachberichte : 178 (Alle Bände)
1988
Signatur: TVM2217
    Datensatz exportieren als...
  • BibTeX
Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur
1991
Signatur: D6325
    Datensatz exportieren als...
  • BibTeX
Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung
1995
Signatur: D10353
    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
Logic programming : proceedings of the 1991 International Symposium ; [papers presented at the 1991 International Symposium on Logic Programming, held in San Diego, USA, from Oct. 28 to Nov. 1, 1991
Logic programming
1991
Signatur: TVM2843
Open Access
    Datensatz exportieren als...
  • BibTeX
Property testing and geometry [Elektronische Ressource]
2002
    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
Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken
Informatik-Fachberichte : 313 (Alle Bände)
1992
Signatur: TVM2835
    Datensatz exportieren als...
  • BibTeX
Intercalation theorems for pushdown store and stack languages
1979
Signatur: TVM1619
    Datensatz exportieren als...
  • BibTeX
Parallel logic programming
Logic programming
1991
Signatur: TVM2908
    Datensatz exportieren als...
  • BibTeX
Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz
Informatik-Fachberichte : 199 (Alle Bände)
1988
Signatur: TVM2225
1 – 25 von 240
Suche als RSS-Feed
Aktive Filter
SchlagwortBerechnungskomplexität
SchlagwortKomplexitätstheorie
Suchergebnisse filtern
Filter anzeigen