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 61 öffnen
    Hardness of approximation between P and NP
    Aviad Rubinstein (Stanford University)
    First edition. - San Rafael, USA: Morgan & Claypool Publishers, [2019]
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 62 öffnen
    Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems
    Krämer, Bernd
    München [u.a.]: Oldenbourg, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 63 öffnen
    Teilklassen primitiv-rekursiver Wortfunktionen
    Klaus Weihrauch
    Als Ms. gedr.. - St. Augustin, 1974
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 64 öffnen
    Primitiv-rekursive Transformationen
    Friedrich Wilhelm von Henke
    Als Ms. gedr.. - St. Augustin, 1974
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 65 öffnen
    Polynomial isomorphisms and near-testable sets
    Judith Anne Goldsmith
    Ann Arbor, Mich.: Univ. Microfilms Internat, [1990]
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 66 öffnen
    Towards dynamic randomized algorithms in computational geometry
    Monique Teillaud
    Berlin [u.a.]: Springer, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 67 öffnen
    Analysis of communicating finite-state processes
    Scott Allen Smolka
    Ann Arbor, Mich.: Univ. Microfilms Internat, 1987
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 68 öffnen
    Computation complexity of the Euler algorithms for the roots of complex polynomials
    Kim, Myong-Hi
    Ann Arbor, Mich.: Univ. Microfilms Internat, [1988]
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 69 öffnen
    New and improved division algorithms in residue number systems
    William Anthony Chren
    Ann Arbor, Mich.: Univ. Microfilms Internat, 1987
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 70 öffnen
    Spielbaum-Suchverfahren
    Reinefeld, Alexander
    Berlin [u.a.]: Springer, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 71 öffnen
    Modified branching programs and their computational power
    Christoph Meinel
    Berlin [u.a.]: Springer, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 72 öffnen
    Das asymmetrische Traveling-Salesman-Problem
    Peter Beutel
    Meisenheim am Glan: Hain, 1981
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 73 öffnen
    Multiplicative complexity, convolution, and the DFT
    Heideman, Michael T.
    New York [u.a.]: Springer, 1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 74 öffnen
    Grundlagen offener Sprachen
    Claus Brillowski
    Frankfurt am Main [u.a.]: Lang, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 75 öffnen
    Parallel algorithms for combinatorial search problems
    by Yanjun Zhang
    1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 76 öffnen
    Theoretical foundations and algorithms for the generation of optimal decision trees
    Juan Antonio Herrera-Ball
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 77 öffnen
    Theorembeweisen mit Rewrite-Techniken: Methode, Strategien u. Vergleiche
    von Heinz Jürgen Müller
    1988
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 78 öffnen
    Conditionals in nonmonotonic reasoning and belief revision: considering conditionals as agents
    Gabriele Kern-Isberner
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo: Springer, 2001
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 79 öffnen
    Parallele Suche mit randomisiertem Wettbewerb in Inferenzsystemen
    von Wolfgang Ertel
    St. Augustin: Infix, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  20. Detailansicht für Treffer 80 öffnen
    Least squares orthogonal distance fitting of curves and surfaces in space
    Sung Joon Ahn
    Berlin [u.a.]: Springer, 2004
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

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