Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

692 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Computational complexity and natural language
    G. Edward Barton ; Robert C. Berwick ; Eric Sven Ristad
    Cambridge, Mass. [u.a.]: MIT Press, 1987
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Algorithm synthesis: a comparative study
    D. M. Steier ; A. P. Anderson
    New York [u.a.]: Springer, 1989
    Literaturbericht, Monographie, Bericht, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Fixpoint transformations and parallel asynchronous iterative algorithms
    Jiawang Wei
    München [u.a.]: Oldenbourg, 1994
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    The logic of reliable inquiry
    Kevin T. Kelly
    New York [u.a.]: Oxford Univ. Press, 1996
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    Algorithmic algebra
    Bhubaneswar Mishra
    New York [u.a.]: Springer, 1993
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    Inductive synthesis of functional programs: universal planning, folding of finite programs, and schema abstraction by analogical reasoning
    Ute Schmid
    Berlin [u.a.]: Springer, 2003
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Algorithmic geometry
    Jean-Daniel Boissonnat ; Mariette Yvinec
    Cambridge [u.a.]: Cambridge Univ. Press, 1998
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Elements of computer algebra: with applications
    Akritas, Alkiviadis G.
    1. [Dr.]. - New York [u.a.]: Wiley, 1989
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Computers and intractability: a guide to the theory of NP-completeness
    Michael R. Garey ; David S. Johnson
    New York, NY: Freeman, 1979
    Monographie, Einführung, Gedruckte Ressource
  10. Detailansicht für Treffer 50 ö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
  11. Detailansicht für Treffer 51 öffnen
    Polynomial algorithms in computer algebra
    F. Winkler
    Wien [u.a.]: Springer, 1996
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Methoden wissensbasierter Systeme: Grundlagen - Algorithmen - Anwendungen ; [mit Online-Service zum Buch]
    Christoph Beierle ; Gabriele Kern-Isberner
    2., überarb. und erw. Aufl.. - Wiesbaden: Vieweg, 2003
    Monographie, Lehrbuch, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Computers and intractability: a guide to the theory of NP-completeness
    Michael R. Garey ; David S. Johnson
    27. print.. - New York: Freeman, [ca. 2009]
    Monographie, Einführung, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Agent oriented programming: from prolog to guarded definite clauses
    Matthew M. Huntbach ; Graem A. Ringwood
    Berlin [u.a.]: Springer, 1999
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie
    John E. Hopcroft ; Jeffrey D. Ullman
    3., korr. Aufl.. - Bonn [u.a.]: Addison-Wesley, 1994
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    Fundamental problems of algorithmic algebra
    Chee Keng Yap
    New York [u.a.]: Oxford University Press, 2000
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 57 ö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
  18. Detailansicht für Treffer 58 öffnen
    Algorithmen und Berechenbarkeit: eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik
    Manfred Bretz
    Braunschweig [u.a.]: Vieweg, 1992
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 59 ö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
  20. Detailansicht für Treffer 60 öffnen
    Logic and computation: interactive proof with Cambridge LCF
    Lawrence C. Paulson
    Cambridge [u.a.]: Cambridge Univ. Pr, 1987
    Monographie, Gedruckte Ressource

Artikel & mehr

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