Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

30 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Interaktion und Kommunikation mit dem Computer: Jahrestagung der Gesellschaft für Linguistische Datenverarbeitung (GLDV), Ulm, 8. - 10. März 1989 ; proceedings
    B. Endres-Niggemeyer ... (Hrsg.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Technische Zuverlässigkeit, 1991. Vorträge der 16. Fachtagung vom 4. bis 5. Juni 1991 in München: Vorträge der ... Fachtagung ..
    [Tagung Technische Zuverlässigkeit]
    Düsseldorf: VDI-Verl, 1991
    Konferenzschrift, Monographie, Teil eines Werkes, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Programming languages and systems: proceedings
    First Asian Symposium, APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Informatik 2000, neue Horizonte im neuen Jahrhundert: Berlin, 19. - 22. September 2000
    Kurt Mehlhorn ... (Hrsg.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Softwaretechnik in Automatisierung und Kommunikation: Wiederverwendbarkeit von Software ; Vorträge der ITG-GI-GMA-Fachtagung vom 15. bis 16. November 1989 in Ulm/Neu-Ulm
    Veranst.: Informationstechnische Gesellschaft im VDE (ITG), ITG-Fachausschuß 4.2/3 "System- und Anwendungs-Software" ... Hrsg.: Wolf R. Haas
    Berlin [u.a.]: VDE-Verl, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    JIT '98: Frankfurt/Main, 12./13. November 1998
    Java-Informations-Tage 1998. Clemens H. Cap (Hrsg.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Benutzerorientierte Software-Entwicklung: [gemeinsame Fachtagung des German Chapter of the ACM, der Gesellschaft für Informatik (GI) und der Schweizer Informatiker-Gesellschaft SI vom 18. bis 20. März 1991 in Zürich]
    [Fünfte Software-Ergonomie-Tagung]. Hrsg. von David Ackermann ..
    Stuttgart: Teubner, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven ; Fachtagung, veranst. vom Fachausschuss 2.1 der GI, Marburg, 21. - 23. Juni 1989 ; proceedings
    W.-M. Lippe (Hrsg.)
    Berlin [u.a.]: Springer, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Software engineering for multi-agent systems II: research issues and practical applications
    Carlos Lucena ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Objektorientierte Methoden für Informationssysteme: Fachtagung der GI-Fachgruppe EMISA, Klagenfurt, 7. - 9. Juni 1993
    Heinrich C. Mayr ... (Hrsg.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Vernetzte und komplexe Informatik-Systeme, [3]. Industrieprogramm zur 18. Jahrestagung der Gesellschaft für Informatik, Hamburg, 18./19. Oktober 1988: proceedings
    R. Valk (Hrsg.)
    Berlin [u.a.]: Springer, 1988
    Konferenzschrift, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Design and implementation of symbolic computation systems: proceedings
    International Symposium, DISCO '93, Gmunden, Austria, September 15 - 17, 1993. Alfonso Miola (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    "Structured analysis" und verwandte Ansätze: Marburg, 10./11. April 1991 ; proceedings
    [Fachtagung "Requirements Engineering '91 - 'Structured Analysis und Verwandte Ansätze"]. M. Timm (Hrsg.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Entwicklung und Prüfung sicherheitsbezogener Systeme: Software- und Systemaspekte
    Hans-Jürgen Meckelburg ..
    Berlin [u.a.]: vde-Verl, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Methoden und Werkzeuge zur Entwicklung von Programmsystemen
    Techn.-Wiss. Softwareseminar d. IBM-Laboratorien Böblingen, Bad Neuenahr, 12. - 14. Juni 1985. Hrsg. von Walter E. Proebster ..
    München [u.a.]: Oldenbourg, 1985
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Formal methods for open object based distributed systems: 6th IFIP WG 6.1 international conference ; proceedings
    FMOODS 2003, Paris, France, November 19 - 21, 2003. Elie Najm ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Testen, Analysieren und Verifizieren von Software: proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
    Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI. P. Liggesmeyer ... (Hrsg.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen: Technische Fachhochschule Berlin, 20. - 22. September, 1993
    G. Scheschonk ... (Hg.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Formal methods at the crossroads: from Panacea to foundational support ; 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, revised papers
    Bernhard K. Aichernig ... (Eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Service oriented computing: first international conference ; proceedings
    ICSOC 2003, Trento, Italy, December 15 - 18, 2003. Maria E. Orlowska ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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