Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

59 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Proceedings, 1987. Leipzig, GDR, June 2 - 5, 1987
    EUROCAL
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  2. Detailansicht für Treffer 2 öffnen
    Distributed algorithms, 2. Amsterdam, The Netherlands, July 8 - 10, 1987: proceedings
    International Workshop on Distributed Algorithms
    Berlin, Heidelberg [u.a.]: Springer, 1988
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Evolutionary computing, [1]. Leeds, UK, April 11 - 13, 1994: AISB workshop ... ; selected papers
    Society for the Study of Artificial Intelligence and Simulation of Behaviour
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    The logical basis for computer programming, 2. Deductive systems
    Zohar Manna ; Richard Waldinger
    Reading, Mass. [u.a.]: Addison-Wesley, 1990
    Monographie, Teil eines Werkes, keine Angabe
  5. Detailansicht für Treffer 5 öffnen
    Category theory and computer science, 3. Manchester, UK, September 5 - 8, 1989: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Distributed algorithms, 3. Nice, France, September 26 - 28, 1989: proceedings
    International Workshop on Distributed Algorithms
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Evolutionary computing, [4]. Manchester, UK, April 7 - 8, 1997: AISB workshop ... ; selected papers
    Society for the Study of Artificial Intelligence and Simulation of Behaviour
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  8. Detailansicht für Treffer 8 öffnen
    The logical basis for computer programming, 1. Deductive reasoning
    Zohar Manna ; Richard Waldinger
    Reading, Mass. [u.a.]: Addison-Wesley, 1985
    Monographie, Teil eines Werkes, keine Angabe
  9. Detailansicht für Treffer 9 öffnen
    Proceedings, 4. Passau, Federal Republic of Germany, February 19 - 21, 1987
    STACS
    Berlin, Heidelberg [u.a]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Rewriting techniques and applications, 2. Bordeaux, France, May 25 - 27, 1987 : proceedings: proceedings
    RTA
    Berlin, Heidelberg [u.a.]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Proceedings, 1. Karlsruhe, FRG, October 12 - 16, 1987
    CSL
    Berlin, Heidelberg [u.a.]: Springer, 1988
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Algorithms, [1]. The construction, proof, and analysis of programs
    Pierre Berlioux and Philippe Bizard
    Chichester [u.a.]: Wiley, 1986
    Monographie, Teil eines Werkes, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Automata, languages and programming, 14. Karlsruhe, Federal Republic of Germany, July 13 - 17, 1987: international colloquium
    Colloquium on Automata, Language and Programming
    Amsterdam ; London: North Holland Publ. Co (1987) ; New York, NY: American Elsevier (1987) ; Edinburgh: Edinburgh Univ. Press (1987) ; Berlin ; Heidelberg [u.a.]: Springer (1987), 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Higher order logic theorem proving and its applications, 7. Valletta, Malta, September 19 - 22, 1994: ... international workshop ; proceedings
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Algorithms from P to NP, 1. Design & efficiency
    B. M. E. Moret ; H. D. Shapiro
    Redwood City, Calif.: Benjamin/Cummings, 1991
    Monographie, Teil eines Werkes, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Logic programming, 7. Tokyo, Japan, April 11 - 14, 1988: proceedings of the ... conference
    [Logic Programming Conference]
    Berlin [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Algorithms in Java, 2. Part 5: Graph algorithms
    Robert Sedgewick
    3. ed.. - Boston, Mass. [u.a.]: Addison-Wesley, 2004
    Monographie, Teil eines Werkes, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Evolutionary computing, 3. Brighton, UK, April 1 - 2, 1996: AISB workshop ... ; selected papers
    Society for the Study of Artificial Intelligence and Simulation of Behaviour
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    ALGORITHMEN, 1. - 1980
    JUERGEN EBERT
    OSNABRUECK: UNIV., FACHBER. 5 - NATURWISS., DYNAM. SYSTEME
    Monographie, Teil eines Werkes, keine Angabe
  20. Detailansicht für Treffer 20 öffnen
    Labelled deductive systems, 1
    Dov M. Gabbay
    Oxford: Clarendon Press, 1996
    Monographie, Teil eines Werkes, Gedruckte Ressource

Artikel & mehr

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