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 81 öffnen
    Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
    ed. by Hartmut Ehrig ..
    Berlin [u.a.]: Springer, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 82 öffnen
    Mathematics of program construction: 8th International Conference ; proceedings
    MPC 2006, Kuressaare, Estonia, July 3 - 5, 2006. Tarmo Uustalu (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 83 öffnen
    Trends in computer algebra: international symposium, Bad Neuenahr, May 19 - 21, 1987 ; proceedings
    [International Symposium on Trends in Computer Algebra]. R. Janßen (ed.)
    Berlin [u.a.]: Springer, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 84 öffnen
    Abductive inference: computation, philosophy, technology
    ed. by John R. Josephson ..
    Cambridge [u.a.]: Cambridge Univ. Press, 1994
    Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 85 öffnen
    Graph theoretic concepts in computer science: proceedings
    19th International Workshop, WG '93, Utrecht, The Netherlands, June 16 - 18, 1993. Jan van Leeuwen (ed.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 86 öffnen
    Mathematical knowledge management: 5th international conference ; proceedings
    MKM 2006, Wokingham, UK, August 11 - 12, 2006. Jonathan M. Borwein ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 87 öffnen
    Learning theory: proceedings
    18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27 - 30, 2005. Peter Auer ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 88 öffnen
    Neural networks and analog computation: beyond the Turing limit
    Hava T. Siegelmann
    Boston [u.a.]: Birkhäuser, 1999
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 89 öffnen
    Computing and combinatorics: 5th annual international conference ; proceedings
    COCOON '99, Tokyo, Japan, July 26 - 28, 1999. Takao Asano ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 90 öffnen
    Effective polynomial computation
    by Richard Zippel
    Boston, Mass. [u.a.]: Kluwer Acad. Publ, 1993
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 91 öffnen
    Design and implementation of symbolic computation systems: proceedings
    International Symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993. Alfonso Miola (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 92 öffnen
    Constructive methods in computing science: [proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988]
    International Summer School directed by ... Ed. by Manfred Broy
    Berlin [u.a.]: Springer, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 93 öffnen
    Modern heuristic techniques for combinatorial problems
    ed. by Colin R. Reeves
    London [u.a.]: Blackwell [u.a.], 1993
    Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 94 öffnen
    Frontiers of combining systems: third international workshop ; proceedings
    FroCoS 2000, Nancy, France, March 22 - 24, 2000. Hélène Kirchner ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 95 öffnen
    Algorithms and computation: proceedings
    8th international symposium, ISAAC '97, Singapore, December 17 - 19, 1997. Hon Wai Leong ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 96 öffnen
    Biologically motivated computer vision: proceedings
    First IEEE International Workshop, BMCV 2000, Seoul, Korea, May 15 - 17, 2000. Seong-Whan Lee ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 97 öffnen
    Computability theory: an introduction
    Neil D. Jones
    New York [u.a.]: Acad. Pr, 1973
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 98 öffnen
    Komplexität als Kriterium in der Theorienbildung
    von Günter Hotz
    Stuttgart: Steiner-Verl. Wiesbaden, 1988
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 99 öffnen
    Finite automata, formal logic, and circuit complexity
    Howard Straubing
    Boston [u.a.]: Birkhäuser, 1994
    Monographie, Gedruckte Ressource
  20. Detailansicht für Treffer 100 öffnen
    Rough sets and current trends in computing: second international conference ; revised papers
    RSCTC 2000, Banff, Canada, October 16 - 19, 2000. Wojciech Ziarko ... (eds.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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