Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Form

Person

71 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Programming and mathematical method: international summer school ; [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990]
    ed. by Manfred Broy
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 ö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
  3. Detailansicht für Treffer 3 ö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
  4. Detailansicht für Treffer 4 öffnen
    Proceedings of the International Workshop Algorithms and Parallel VLSI Architectures II: Château de Bonas, Gers, France, June 3 - 6, 1991
    ed. by Patrice Quinton ..
    Amsterdam [u.a.]: Elsevier, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Distributed algorithms, 3. Nice, France, September 26 - 28, 1989: proceedings
    International Workshop on Distributed Algorithms
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Principles and practice of constraint programming - CP 97: third international conference ; proceedings
    CP '97, Linz, Austria, October 29 - November 1, 1997. Gert Smolka (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Logic from computer science: proceedings of a workshop, held November 13 - 17, 1989
    Y. N. Moschovakis, ed
    New York [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Database theory: 7th international conference ; proceedings
    ICDT '99, Jerusalem, Israel, January 10 - 12, 1999. Catriel Beeri ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Computer arithmetic and self validating numerical methods
    ed. by Christian Ullrich
    1. [Dr.]. - Boston [u.a.]: Academic Pr, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    NAPAW 92: proceedings of the First North American Process Algebra Worhshop, Stony Brook, New York, USA, 28 August 1992
    S. Purushothaman and Amy Zwarico (ed.). Publ. in collab. with the British Computer Society
    London [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Proceedings of the 3rd UK Annual Conference on Logic Programming: Edinburg, 10 - 12 April 1991
    ALPUK 91. Geraint A. Wiggins ... (eds.)
    London [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10 - 14 September 1990
    Graham Birtwistle (ed.)
    London [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Based on the proceedings of the Second International Conference on Algorithms for Approximation: held at the Royal Military College of Science, Shrivenham, July 1988
    ed. by J. C. Mason ..
    London [u.a.]: Chapman and Hall, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Combinatorics and theoretical computer science: proceedings of the Capital City Conference on Combinatorics and Theoretical Computer Science, Washington, D.C., 1989
    R. Simion
    Amsterdam [u.a.]: North-Holland [Publ. Co.], 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    The mathematical revolution inspired by computing: based on the proceedings of a Conference on the Mathematical Revolution Inspired by Computing organized by The Institute of Mathematics and its Applications and held at the Brighton Polytechnic in April 1989
    J. H. Johnson ..
    Oxford: Clarendon Pr, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Methods and applications of mathematical logic: proceedings of the VII Latin American Symposium on Mathematical Logic, held July 29 - August 2, 1985
    Walter A. Carnielli ..., ed
    Providence, RI: American Mathematical Society, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Logical methods: in honor of Anil Nerode's sixtieth birthday
    John N. Crossley ... ed
    Boston [u.a.]: Birkhäuser, 1993
    Festschrift, Konferenzschrift, Bibliografie, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Logic programming: proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
    ed. by Michael Maher
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Proceedings, 4. Passau, Federal Republic of Germany, February 19 - 21, 1987
    STACS
    Berlin, Heidelberg [u.a]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Rewriting techniques and applications, 2. Bordeaux, France, May 25 - 27, 1987 : proceedings: proceedings
    RTA
    Berlin, Heidelberg [u.a.]: Springer, 1987
    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 -