Zum Hauptinhalt springen
Hochschulbibliothek der Hochschule Düsseldorf

Suchergebnisse

Katalog

Mehr
54 Treffer

Suchmaske

Suchtipp für den Bereich Mehr: 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"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Sprache

Inhaltsanbieter

54 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
    Jobstmann, Barbara [Ed.] ; Leino, K. Rustan M [Ed.]
    2016
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Graph-Theoretic Concepts in Computer Science 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
    Schmidt, Gunther [Ed.] ; Berghammer, Rudolf [Ed.]
    1992
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Application and Theory of Petri Nets 1996 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
    Billington, Jonathan [Ed.] ; Reisig, Wolfgang [Ed.]
    1996
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Computing and Combinatorics Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings
    Cai, Jin-Yi [Ed.] ; Wong, C.K [Ed.]
    1996
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Mathematics of Program Construction Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    Möller, Bernhard [Ed.]
    1995
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings
    Cohen, Gerard [Ed.] ; Giusti, Marc [Ed.] ; et al.
    1995
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Computer Science Logic 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
    Börger, Egon [Ed.] ; Gurevich, Yuri [Ed.] ; et al.
    1994
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Foundations of Software Technology and Theoretical Computer Science 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
    Thiagarajan, P.S [Ed.]
    1994
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Entity-Relationship Approach - ER '93 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings
    Elmasri, Ramez A [Ed.] ; Kouramajian, Vram [Ed.] ; et al.
    1994
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Mathematical Foundations of Computer Science 1992 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings
    Havel, Ivan M [Ed.] ; Koubek, Vaclav [Ed.]
    1992
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Computer Assisted Learning 4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings
    Tomek, Ivan [Ed.]
    1992
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    CAAP '92 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings
    Raoult, Jean-Claude [Ed.]
    1992
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
    Biswas, Somenath [Ed.] ; Nori, Kesav V [Ed.]
    1991
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
    Nori, Kesav V [Ed.] ; Veni Madhavan, C.E [Ed.]
    1990
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    Bjørner, Dines [Ed.] ; Hoare, C.A.R [Ed.] ; et al.
    1990
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Automata, Languages and Programming 17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
    Paterson, Michael S [Ed.]
    1990
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Logics of Programs Brooklyn, June 17-19, 1985
    Parikh, Rohit [Ed.]
    1985
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Mathematical Foundations of Computer Science 1974 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974
    Blikle, A [Ed.]
    1975
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Automata, Languages and Programming Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
    Ausiello, G [Ed.] ; Böhm, C [Ed.]
    1978
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Algorithms and Data Structures Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings
    Dehne, Frank [Ed.] ; Sack, Jörg-Rüdiger [Ed.] ; et al.
    1989
    Online Buch
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?

Weitere Bibliothekskataloge

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