Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

57 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 ö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
  2. Detailansicht für Treffer 42 öffnen
    Logische Grundlagen der Informatik
    von Hans-Jörg Kreowski
    München [u.a.]: Oldenbourg, 1991
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 43 ö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
  4. Detailansicht für Treffer 44 öffnen
    Algebra für Informatiker
    H. Kaiser ; R. Mlitz ; G. Zeilinger
    Wien [u.a.]: Springer, 1981
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 45 ö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
  6. Detailansicht für Treffer 46 öffnen
    Current trends in theoretical computer science: essays and tutorials
    ed. by G. Rozenberg ..
    Singapore [u.a.]: World Scientific, 1993
    Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Theory and practice of informatics: SOFSEM 2002, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 - 29, 2002 ; proceedings
    William I. Grosky ... (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Algebra for computer science
    Lars Gårding ; Torbjörn Tambour
    New York [u.a.]: Springer, 1988
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Mathematical foundations of computer science, 1. Sets, relations, and induction
    Peter A. Fejer ; Dan A. Simovici
    New York [u.a.]: Springer, 1991
    Monographie, Teil eines Werkes, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Mathematics for programming computers
    Clark, Frank J.
    3. ed., 1. [Dr.]. - Englewood Cliffs, NJ: Prentice Hall, 1988
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Foundations of software technology and theoretical computer science: 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings
    [FST and TCS 15]. P. S. Thiagarajan (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 52 öffnen
    Perspectives of system informatics: proceedings
    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996. Dines Bjørner ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 53 öffnen
    Highlights aus der Informatik: mit 5 Tabellen
    Ingo Wegener (Hrsg.)
    Berlin [u.a.]: Springer, 1996
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 54 öffnen
    Foundations of software technology and theoretical computer science: 17th conference, Kharagpur, India, December 18 - 20, 1997 ; proceedings
    S. Ramesh .. (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 55 öffnen
    Foundations of software technology and theoretical computer science: 14th conference, Madras, India, December 15 - 17, 1994 ; proceedings
    FST and TCS 14. P. S. Thiagarajan (ed.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 56 öffnen
    Computer and information sciences: 18th international symposium ; proceedings
    ISCIS 2003, Antalya, Turkey, November 3 - 5, 2003. Adnan Yazici ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 57 öffnen
    Foundations of software technology and theoretical computer science: 16th conference, Hyderabad, India, December 18 - 20, 1996 ; proceedings
    [FST and TCS 16]. V. Chandru ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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