Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

902 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Computational learning theory: based on the proceedings of the first European Conference on Computational Learning Theory, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London in December 1993
    EuroCOLT '93. Ed. by John Shawe-Taylor ..
    Oxford: Clarendon Press, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Algorithmic learning theory: 9th international conference ; proceedings
    ALT '98, Otzenhausen, Germany, October 8 - 10, 1998. Michael M. Richter ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Types for proofs and programs: selected papers
    International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994. Peter Dybjer ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Knowledge contributors
    ed. by Vincent F. Hendricks ..
    Dordrecht [u.a.]: Kluwer Academic, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Parallel computing and mathematical optimization: proceedings of the Workshop on Parallel Algorithms and Transputers for Optimization, held at the University of Siegen, FRG, November 9, 1990
    Manfred Grauer ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Computational logic in multi-agent systems: 7th international workshop ; revised selected and invited papers
    CLIMA VII, Hakodate, Japan, May 8 - 9, 2006. Katsumi Inoue ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Mathematical foundations of complex networked information systems: [Summer School "Mathematical Foundations of Complex Networked Information Systems"], Politecnico di Torino, Verrès, Italy 2009
    P. R. Kumar ; Martin J. Wainwright ; Riccardo Zecchina. Fabio Fagnani ..., eds
    Cham [u.a.]: Springer, 2015
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Types for proofs and programs: international workshop ; selected papers
    TYPES 2002, Berg en Dal, The Netherlands, April 24 - 28, 2002 ; Herman Geuvers ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Algorithms and data structures: 8th international workshop ; proceedings
    WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003. Frank Dehne ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Logic program synthesis and transformation: 7th international workshop ; proceedings
    LOPSTR '97, Leuven, Belgium, July 10 - 12, 1997. Norbert E. Fuchs (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Self-stabilizing systems: 6th international symposium ; proceedings
    SSS 2003, San Francisco, CA, USA, June 24 - 25, 2003. Shing-Tsaan Huang ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Algebraic and logic programming: third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings
    H. Kirchner ... (ed.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 ö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
  14. Detailansicht für Treffer 14 öffnen
    Practice and theory of automated timetabling: third international conference ; selected papers
    PATAT 2000, Konstanz, Germany, August 16 - 18, 2000. Edmund Burke ; Wilhelm Erben (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Computational methods in systems biology: first international workshop ; proceedings
    CMSB 2003, Rovereto, Italy, February 24 - 26, 2003. Corrado Priami (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Practice and theory of automated timetabling V: 5th international conference ; revised selected papers
    PATAT 2004, Pittsburgh, PA, USA, August 18 - 20, 2004. Edmund Burke ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Conceptual structures for knowledge creation and communication: proceedings
    11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21 - 25, 2003. Aldo de Moor ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Logical foundations of functional programming
    ed. by Gérard Huet
    Reading, Mass. [u.a.]: Addison-Wesley, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Resolution of equations in algebraic structures, 2. Rewriting techniques
    ed. by Hassan Aït-Kaci ..
    Boston [u.a.]: Acad. Pr, 1989
    Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Mobile ad-hoc and sensor networks: second international conference ; proceedings
    MSN 2006, Hong Kong, China, December 13 - 15, 2006. Jiannong Cao ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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