Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

68 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Temporal logics and their applications
    [Conference on Temporal Logic and its Applications held at the University of Leeds in January 1986]. Ed. by Antony Galton
    London [u.a.]: Academic Press, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Computing and combinatorics: proceedings
    Third annual international conference, COCOON '97, Shanghai, China, August 20 - 22, 1997. Tao Jiang ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Logical foundations of computer science: proceedings
    Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994. A. Nerode ... (ed.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Logic in computer science: modelling and reasoning about systems
    Michael Huth and Mark Ryan
    2. ed.. - Cambridge [u.a.]: Cambridge Univ. Press, 2004
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    New results and new trends in computer science: Graz, Austria, June 20 - 21, 1991 ; proceedings
    H. Maurer (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    Proceedings / CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2 - 6, 1989
    E. Börger ... (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Computing and combinatorics: proceedings
    First Annual International Conference, COCOON '95, Xi'an, China, August 24 - 26, 1995. Ding-Zhu Du ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    Category theory and computer science: proceedings
    6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. David Pitt ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 29 ö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
  10. Detailansicht für Treffer 30 öffnen
    Computer science logic: proceedings
    5th Workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991. E. Börger ... (ed.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    Applied algebra, algebraic algorithms and error correcting codes: proceedings
    12th international symposium, AAECC 12, Toulouse, France, June 23 - 27, 1997. Teo Mora ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Advances in computing and information: proceedings
    ICCI '91, International Conference on Computing and Information, Ottawa, Canada, May 27 - 29, 1991. F. Dehne ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 33 ö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
  14. Detailansicht für Treffer 34 öffnen
    Computer science logic: selected papers
    9th International Workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995. Hans Kleine Büning (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Algebraic logic and universal algebra in computer science: conference, Ames, Iowa, USA, June 1 - 4, 1988 ; proceedings
    C. H. Bergman ... (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Current trends in theoretical computer science: essays and tutorials
    ed. by G. Rozenberg ..
    Singapore [u.a.]: World Scientific, 1993
    Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Computer science logic: selected papers
    10th international workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996. Dirk van Dalen ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Proceedings, 1. Karlsruhe, FRG, October 12 - 16, 1987
    CSL
    Berlin, Heidelberg [u.a.]: Springer, 1988
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Proceedings of the Third Italian Conference Theoretical Computer Science: Mantova, 2 - 4 November 1989
    ed. by A. Bertoni
    Singapore [u.a.]: World Scientific, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Computer science logic: proceedings
    4th Workshop, CSL '90, Heidelberg, Germany, October 1 - 5, 1990. E. Börger ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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