Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Experience with the management of software projects 1988: proceedings of the 2nd IFAC/IFIP Workshop, Sarajevo, Yugoslavia, 27 - 29 September 1988
    [IFAC/IFIP Workshop on Experience with the Management of Software Projects]. Ed. by R. Milanovic ..
    Oxford [u.a.]: Pergamon Pr, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Einführung und formale Beschreibung eines Kalküls zur Programmentwicklung
    Weber, Matthias
    Sankt Augustin: GMD, 1988
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Die Verwendung mehrwertiger und nicht-monotoner Logiken zur Programmkonstruktion
    Ges. für Mathematik u. Datenverarbeitung mbH
    Sankt Augustin: GMD, 1988
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Prädikative Spezifikation und Analyse des Vorgehensmodells
    Walter Schmidt
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Prototyping in industriellen Software-Projekten: Erfahrungen und Analysen
    Antoinette Kieback ..
    Sankt Augustin, 1991
    Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Vergleich von Expertensystemshells für den PC
    Rainer Mantz ; Manfred Scheer ; Thomas Uthmann. Ges. für Mathematik u. Datenverarbeitung mbH
    Sankt Augustin: GMD, 1988
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Design methods based on nets: DeMoN ; final report
    Eike Best (ed.)
    Sankt Augustin, 1993
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Agenten-basiertes Prozeßmodell mit Berücksichtigung von Kapazitätsrestriktionen
    Frank Kimmlingen
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Software-Qualitätssicherung durch Automatisierung: ein modellbasierter Ansatz
    Andreas Metzger
    Als Ms. gedr.. - Kaiserslautern, 2005
    Monographie, Hochschulschrift, Gedruckte Ressource
    Zugriff:
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    Design Exploration für Multimedia-Systeme
    Andrea Kuth
    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Software-Entwicklung in der interaktiven Programmierumgebung des CDL-Labors: Workshop Software-Entwicklung im CDL-Labor, 29./30. April 1980, Birlinghoven
    hrsg. von Michael Bayer ... Gesellschaft für Mathematik und Datenverarbeitung mbH, Bonn
    Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1980
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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