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 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
  2. Detailansicht für Treffer 2 ö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
  3. Detailansicht für Treffer 3 öffnen
    Foundations of genetic algorithms, [1]. [First Workshop on the foundations of genetic algorithms and classifier systems (FOGA/CS-90), Bloomington, Ind., Indiana Univ., July 15 - 18, 1990]
    San Mateo, Calif.: Kaufmann, 1991
    Einführung, Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  4. Detailansicht für Treffer 4 öffnen
    Logic based program synthesis and transformation: 15th international symposium ; revised selected papers
    LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Self-stabilizing systems: 7th international symposium ; proceedings
    SSS 2005, Barcelona, Spain, October 26 - 27, 2005. Ted Herman ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Energy minimization methods in computer vision and pattern recognition: proceedings
    international workshop EMMCVPR '97, Venice, Italy, May 21 - 23, 1997. Marcello Pelillo ... (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Experimental and efficient algorithms: third international workshop ; proceedings
    WEA 2004, Angra dos Reis, Brazil, May 25 - 28, 2004. Celso C. Ribeiro ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Theory and applications of satisfiability testing: 8th international conference ; proceedings
    SAT 2005, St Andrews, UK, June 19 - 23, 2005. Fahiem Bacchus ... (ed.)
    Berlin: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Ant algorithms: third international workshop ; proceedings
    ANTS 2002, Brussels, Belgium, September 12 - 14, 2002. Marco Dorigo ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Modeling and using context: second international and interdisciplinary conference ; proceedings
    CONTEXT '99, Trento, Italy, September 9 - 11, 1999. Paolo Bouquet ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Formal methods: proceedings
    14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006. Jayadev Misra ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Structural information and communication complexity: 11th international colloquium ; proceedings
    SIROCCO 2004, Smolenice Castle, Slowakia, June 21 - 23, 2004. Rastislav Královič ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Context: nature, impact, and role: proceedings
    5th International Conference on Conceptions of Library and Information Sciences, CoLIS 2005, Glasgow, UK, June 4 - 8, 2005. Fabio Crestani ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Abstraction, reformulation, and approximation: 5th international symposium ; proceedings
    SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002. Sven Koenig ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Graph theory with applications to algorithms and computer science: [... proceedings of the 5. Quadrennial International Conference on the Theory and Applications of Graphs with Special Emphasis on Algorithms and Computer Science Applications, held at Western Michigan University in Kalamazoo, Michigan, June 4 - 8, 1984]
    ed. by Y. Alavi ..
    New York [u.a.]: Wiley, 1985
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Analogical and inductive inference, [1]. Wendisch-Rietz, GDR, October 6 - 10, 1986: AII proceedings
    International Workshop AII
    Berlin, Heidelberg [u.a.]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Logic based program synthesis and transformation: 8th international workshop ; selected papers
    LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Vision algorithms: theory and practice: proceedings
    International Workshop on Vision Algorithms, Corfu, Greece, September 21 - 22, 1999. Bill Triggs ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Proceedings, 4. Berlin, GDR, October 17 - 21, 1988
    Parcella
    Berlin ; Heidelberg [u.a.]: Springer (1989) ; Berlin: Akad.-Verl (1989), 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Mathematical foundations of computer science, 14. Pora̧bka-Kozubnik, Poland, August 28 - September 1, 1989: proceedings
    Symposium on Mathematical Foundations of Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource

Artikel & mehr

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