Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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
  2. Detailansicht für Treffer 2 öffnen
    Applications of computational algebraic geometry: American Mathematical Society Short Course [Applications of Computational Algebraic Geometry], January 6 - 7, 1997, San Diego, California
    David A. Cox ..., ed. Dinesh Manocha ..
    Providence, RI, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Computers and mathematics
    Erich Kaltofen ..., ed
    New York [u.a.]: Springer, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Logic and computation: proceedings of a workshop held at Carnegie Mellon Unhiversity, June 30 - July 2, 1987
    [Workshop on Logic and Computation]. Wilfried Sieg, ed
    1. [Dr.]. - Providence, RI: American Mathematical Society, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Proceedings, 2. Duisburg, FRG, October 3 - 7, 1988
    CSL
    Berlin, Heidelberg [u.a.]: Springer, 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Automata, languages and programming: 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings
    EATCS. [ICALP '91]. J. Leach Albert ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Category theory and computer science, [2]. Edinburgh, U.K., September 7 - 9, 1987: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1987
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Automata, languages and programming, 16. Stresa, Italy, July 11 - 15, 1989: international colloquium
    Colloquium on Automata, Language and Programming
    Berlin ; Heidelberg [u.a.]: Springer (1989) ; Amsterdam ; London: North Holland Publ. Co (1989) ; New York, NY: American Elsevier (1989) ; Edinburgh: Edinburgh Univ. Press (1989), 1989
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  9. Detailansicht für Treffer 9 ö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
  10. Detailansicht für Treffer 10 öffnen
    Category theory and computer science, 4. Paris, France, September 3 - 6, 1991: proceedings
    Bienial Conference on Category Theory and Computer Science
    Berlin, Heidelberg [u.a.]: Springer, 1991
    Konferenzschrift, Monographie, Teil eines Werkes, keine Angabe
  11. Detailansicht für Treffer 11 ö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
  12. Detailansicht für Treffer 12 öffnen
    Discrete algorithms and complexity: proceedings of the Japan-US joint seminar, June 4 - 6, 1986, Kyoto, Japan
    [the Japan-US Joint Seminar on Discrete Algorithms and Complexity Theory, 4 - 6 June, 1986 in Kyoto, Japan]. Ed. by David S. Johnson ..
    1. [Dr.]. - Boston [u.a.]: Academic Pr, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Trends in theoretical computer science: [this book grew out from a Course on Computation Theory which took place at the Internat. Centre for Mechan. Science (CISM) in Undine, Italy, from Sept. 24 to Oct. 5, 1984]
    ed.: Egon Börger
    1. print.. - Rockville, Md.: Computer Science Pr, 1988
    Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Logic and computer science
    [proceedings of a Summer Meeting on Logic and Computer Science, held in Montecatini Terme, Italy in 1988]. Ed. by Piergiorgio Odifreddi
    London [u.a.]: Acad. Pr, 1990
    Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 ö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

Artikel & mehr

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