Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

1.694 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    Logics in artificial intelligence: 9th European conference ; proceedings
    JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004. José Júlio Alferes ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 62 öffnen
    Design and implementation of symbolic computation systems: proceedings
    International Symposium DISCO '90, Capri, Italy, April 10 - 12, 1990. A. Miola (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 63 öffnen
    Using hard problems to create pseudorandom generators
    Noam Nisan
    Cambridge, Mass. [u.a.]: MIT Press, 1992
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 64 öffnen
    The complexity theory companion
    Lane A. Hemaspaandra ; Mitsunori Ogihara
    Berlin [u.a.]: Springer, 2002
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 65 öffnen
    Theory and practice of software development: proceedings
    TAPSOFT '95, 6th International Joint Conference CAAP, FASE, Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 66 öffnen
    Computer aided proofs in analysis
    Kenneth R. Meyer ... (ed.)
    New York [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 67 öffnen
    Computational complexity theory: [lecture notes prepared for the American Mathematical Society Short Course Computational Complexity Theory, held in Atlanta, Georgia, January 5 - 6, 1988]
    Juris Hartmanis, ed
    Providence, RI: American Math. Soc, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 68 öffnen
    Symbolic and numerical scientific computation: second international conference ; revised papers
    SNSC 2001, Hagenberg, Austria, September 12 - 14, 2001. Franz Winkler ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 69 öffnen
    A many valued approach to deduction and reasoning for artificial intelligence
    by Cary G. deBessonet
    Boston [u.a.]: Kluwer Acad. Publ, 1991
    Monographie, Aufsatzsammlung, Gedruckte Ressource
  10. Detailansicht für Treffer 70 öffnen
    Specifying message passing and time critical systems with temporal logic
    Ron Koymans
    Berlin [u.a.]: Springer, 1992
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 71 öffnen
    Methoden wissensbasierter Systeme: Grundlagen, Algorithmen, Anwendungen ; [mit Online-Service zum Buch]
    Christoph Beierle ; Gabriele Kern-Isberner
    1. Aufl.. - Braunschweig [u.a.]: Vieweg, 2000
    Monographie, Lehrbuch, Gedruckte Ressource
  12. Detailansicht für Treffer 72 öffnen
    Computational logic in multi-agent systems: 4th international workshop ; revised selected and invited papers
    CLIMA IV, Fort Lauderdale, FL, USA, January 6 - 7, 2004. Jürgen Dix ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 73 öffnen
    Modular algorithms in symbolic summation and symbolic integration
    Jürgen Gerhard
    Berlin [u.a.]: Springer, 2004
    Monographie, Hochschulschrift, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  14. Detailansicht für Treffer 74 öffnen
    Algorithms and complexity
    Wilf, Herbert S. (1931-2012)
    Englewood Cliffs, N.J.: Prentice-Hall, 1986
    Monographie, Einführung, Gedruckte Ressource
  15. Detailansicht für Treffer 75 öffnen
    Lectures on proof verification and approximation algorithms
    Ernst W. Mayr ... (eds.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 76 öffnen
    Fast software encryption: 6th international workshop ; proceedings
    FSE '99, Rome, Italy, March 24 - 26, 1999. Lars Knudsen (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 77 öffnen
    Fast software encryption: third international workshop, Cambridge, UK, February 21 - 23, 1996 ; proceedings
    Dieter Gollmann (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 78 öffnen
    Algorithms and complexity: 4th Italian conference ; proceedings
    CIAC 2000, Rome, Italy, March 1 - 3, 2000. Giancarlo Bongiovanni ... (ed.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 79 öffnen
    Advances in distributed systems: advanced distributed computing: from algorithms to systems
    Sacha Krakowiak ... (ed.)
    Berlin [u.a.]: Springer, 2000
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 80 öffnen
    Graph theoretic concepts in computer science: proceedings
    23rd international workshop, WG '97, Berlin, Germany, June 18 - 20, 1997. Rolf H. Möhring (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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