Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

1.740 Treffer

Sortierung: 
  1. Detailansicht für Treffer 81 öffnen
    Artificial intelligence and symbolic mathematical computing: proceedings
    International Conference AISMC-1, Karlsruhe, Germany, August 3 - 6, 1992. Jacques Calmet ... (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 82 öffnen
    Applications of uncertainty formalisms
    Anthony Hunter ... (eds.)
    Berlin [u.a.]: Springer, 1998
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 83 öffnen
    Distributed algorithms: 4th international workshop, Bari, Italy, September 24 - 26, 1990 ; proceedings
    [4th International Workshop on Distributed Algorithms]. J. van Leeuwen ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 84 öffnen
    Mathematics of program construction: 4th international conference ; proceedings
    MPC '98, Marstrand, Sweden, June 15 - 17, 1998. Johan Jeuring (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 85 öffnen
    Approximation, randomization, and combinatorial optimization: algorithms and techniques ; proceedings
    9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006. Josep Díaz ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 86 öffnen
    Deduction
    P. N. Johnson-Laird ; Ruth M. J. Byrne
    Hove [u.a.]: Erlbaum, 1991
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 87 öffnen
    Foundations of genetic algorithms: 8th international workshop ; revised selected papers
    FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9, 2005. Alden H. Wright ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 88 öffnen
    Computer algebra: systems and algorithms for algebraic computation
    J. H. Davenport ; Y. Siret ; E. Tournier
    2. ed.. - London [u.a.]: Acad. Press, 1993
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 89 öffnen
    DNA computing: revised selected papers
    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6 - 9, 2005. Alessandra Carbone ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 90 öffnen
    DNA computing: revised papers
    9th International Workshop on DNA Based Computers, DNA 9, Madison, WI, USA, June 1 - 3, 2003. Junghuei Chen ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 91 öffnen
    Applications of computer algebra
    ed. by Richard Pavelle
    Boston [u.a.]: Kluwer, 1985
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 92 öffnen
    A recursive introduction to the theory of computation
    Carl H. Smith
    New York [u.a.]: Springer, 1994
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 93 öffnen
    Compositionality: the significant difference ; international symposium ; revised lectures
    COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997. Willem-Paul de Roever ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 94 öffnen
    Intelligent data engineering and automated learning: 7th international conference ; proceedings
    IDEAL 2006, Burgos, Spain, September 20 - 23, 2006. Emilio Corchado ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 95 öffnen
    Distributed reason maintenance for multiagent systems
    Gerhard K. Kraetzschmar
    Berlin [u.a.]: Springer, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 96 öffnen
    Logic and computational complexity: selected papers
    International Workshop LCC '94, Indianapolis, IN, USA, October 13 - 16, 1994. Daniel Leivant (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 97 öffnen
    Graphen, Netzwerke und Algorithmen
    von Dieter Jungnickel
    3., vollst. überarb. und erw. Aufl.. - Mannheim [u.a.]: BI-Wiss.-Verl, 1994
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 98 öffnen
    Combinatorial algorithms for integrated circuit layout
    Thomas Lengauer
    Stuttgart: Teubner [u.a.], 1990
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 99 öffnen
    Studies in complexity theory
    Ker-I. Ko ; Stephen R. Mahaney ; Kenneth McAloon. Ronald V. Book (ed.)
    London: Pitman [u.a.], 1986
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 100 öffnen
    Problem-solving and artificial intelligence
    Laurière, Jean-Louis
    2. [Dr.]. - New York [u.a.]: Prentice Hall, 1990
    Monographie, Gedruckte Ressource

Artikel & mehr

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