Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
1.727 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

Literaturtyp

Schlagwort

Sprache

Form

Person

1.727 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Algorithmen in C++, 1. Teile 1 - 4: Grundlagen, Datenstrukturen, Sortieren, Suchen
    Robert Sedgewick
    3., überarb. Aufl.. - München: Pearson Studium, 2002
    Monographie, Teil eines Werkes, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Logic and computation: interactive proof with Cambridge LCF
    Lawrence C. Paulson
    Cambridge [u.a.]: Cambridge Univ. Pr, 1987
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Proof and computation: [proceedings of the Nato Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]
    ed. by Helmut Schwichtenberg
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Programming and mathematical method: international summer school ; [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990]
    ed. by Manfred Broy
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Kolmogorov complexity and computational complexity
    Osamu Watanabe (ed.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Genetic algorithms and grouping problems
    Emanuel Falkenauer
    Chichester [u.a.]: Wiley, 1998
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Network analysis: methodological foundations ; [this book is based on a seminar for young computer scientists ... held at Schloß Dagstuhl, Germany, in April 2004]
    [GI]. Ulrik Brandes ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Graph theoretic concepts in computer science: 26th international workshop ; proceedings
    WG 2000, Konstanz, Germany, June 15 - 17, 2000. Ulrik Brandes ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Logical reasoning with diagrams
    edited by Gerard Allwein ..
    New York [u.a.]: Oxford University Press, 1996
    Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Mathematische Grundlagen der Informatik: mathematisches Denken und Beweisen - eine Einführung
    von Christoph Meinel und Martin Mundhenk
    Stuttgart [u.a.]: Teubner, 2000
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Introduction to algorithms, [Hauptbd.] / Thomas H. Cormen ..
    Cormen, Thomas H. ; Sussman, Julie
    2. ed.. - Cambridge, Mass. [u.a.]: MIT Press [u.a.], 2001
    Einführung, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
    von Jörg Desel
    Stuttgart [u.a.]: Teubner, 1998
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Komplexitätstheorie: Grenzen der Effizienz von Algorithmen
    Ingo Wegener
    Berlin [u.a.]: Springer, 2003
    Monographie, Lehrbuch, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Computational learning theory: based on the proceedings of the first European Conference on Computational Learning Theory, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London in December 1993
    EuroCOLT '93. Ed. by John Shawe-Taylor ..
    Oxford: Clarendon Press, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Algorithmic learning theory: 9th international conference ; proceedings
    ALT '98, Otzenhausen, Germany, October 8 - 10, 1998. Michael M. Richter ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Algorithmen
    Robert Sedgewick
    2. Aufl.. - München [u.a.]: Addison-Wesley, 2002
    Monographie, Lehrbuch, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Pi: Algorithmen, Computer, Arithmetik
    Jörg Arndt ; Christoph Haenel
    Berlin [u.a.]: Springer, 1998
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Vorlesungen über Informatik, 1. Grundlagen und funktionales Programmieren : mit 35 Tabellen
    Gerhard Goos
    3., überarb. Aufl.. - Berlin [u.a.]: Springer, 2000
    Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Grundkurs Algorithmen und Datenstrukturen: eine Einführung in die praktische Informatik mit Java ; [mit Online-Service zum Buch]
    Andreas Solymosi ; Ulrich Grude
    2., überarb. und erw. Aufl.. - Braunschweig [u.a.]: Vieweg, 2001
    Monographie, Lehrbuch, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Data structures and algorithms: a first course
    Iain T. Adamson
    London [u.a.]: Springer, 1996
    Monographie, Lehrbuch, Gedruckte Ressource

Artikel & mehr

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