Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
83 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

83 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Equality reasoning based on graphs
    von Karl Hans Bläsius
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Vergleichende Analyse von Inferenzsystemen
    Roland Dietrich
    München [u.a.]: Oldenbourg, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Efficient checking of polynomials and proofs and the hardness of approximation problems
    Madhu Sudan
    Berlin [u.a.]: Springer, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Constraint satisfaction in logic programming
    Pascal Van Hentenryck
    Cambridge, Mass. [u.a.]: MIT Pr, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Reasoning and revision in hybrid representation systems
    Bernhard Nebel
    Berlin [u.a.]: Springer, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    Hierarchical neural networks for image interpretation
    Sven Behnke
    Berlin [u.a.]: Springer, 2003
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms
    Thomas Bäck
    New York [u.a.]: Oxford Univ. Press, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    The problem of incomplete information in relational databases
    G. Grahne
    Berlin [u.a.]: Springer, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 29 öffnen
    Zur Pragmatik eines operationalisierten Lambda-Kalküls als Basis für interaktive Reduktionssysteme
    Ralf Martin Zimmer
    München [u.a.]: Oldenbourg, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 30 öffnen
    Algorithmenentwurf in der Kryptographie
    von Dieter Gollmann
    Mannheim [u.a.]: BI-Wiss.-Verl, 1994
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    List decoding of error correcting codes: winning thesis of the 2002 ACM doctoral dissertation competition
    Venkatesan Guruswami
    Berlin [u.a.]: Springer, 2004
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Aspects of algorithms and complexity
    door Johannes Theodorus Tromp
    1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Loop checking in logic programming
    R. N. Bol
    Amsterdam: CWI, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    A resolution calculus for modal logics
    von Hans Jürgen Ohlbach
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Computable functional analysis: compact operators on computable Banach spaces and computable best approximation
    von Ruth Dillhage
    2012
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Partitionierung von Fehlerlokalisierungsproblemen mit Algorithmen aus der ganzzahligen linearen Optimierung
    vorgelegt von Marcus Frenkel
    Hagen, 2017
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Disconnected operation in a distributed file system
    James Jay Kistler
    Berlin [u.a.]: Springer, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Eine Grundlegung der Average-case-Komplexitätstheorie
    von Ingrid Biehl
    Stuttgart [u.a.]: Teubner, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Efficient algorithms for matroid sums
    Westermann, Herbert Hans, Ph.D
    Ann Arbor, MI: UMI, 1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Conclog: a methodological approach to concurrent logic programming
    J.-M. Jacquet
    Berlin [u.a.]: Springer, 1991
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -