Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

74 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit
    Robert Laurence Baber
    Berlin [u.a.]: de Gruyter, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Ein natürlicher Rollenbegriff für die Softwaremodellierung
    Friedrich Steimann
    Aachen: Shaker, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Objektorientierte Analyse für nebenläufige Systeme: die Methode MORE/RT
    von Wolfgang Stein
    Mannheim [u.a.]: BI-Wiss.-Verl, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Formale Programmentwicklung mit dynamischer Logik
    Maritta Heisel
    Wiesbaden: Dt. Univ.-Verl, 1992
    Monographie, Hochschulschrift, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Multidimensionale Separierung der Belange in der Softwareentwicklung durch Feature-Komponenten: ein Ansatz zur dynamischen Komposition von Anwendungen
    Doga Arinir
    Herdecke [u.a.]: W3L-Verl, 2007
    Monographie, Hochschulschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    Interactive Markov chains: and the quest for quantified quality
    Holger Hermanns
    Berlin [u.a.]: Springer, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Improving testability of object-oriented systems
    vorgelegt von Stefan Jungmayr
    Berlin: dissertation.de, 2004
    Monographie, Hochschulschrift, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    Konstruktive neuronale Lernverfahren auf Parallelrechnern
    Lutz Prechelt
    Als Ms. gedr.. - Düsseldorf: VDI-Verl, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 29 öffnen
    Partial order methods for the verification of concurrent systems: an approach to the state explosion problem
    Patrice Godefroid
    Berlin [u.a.]: Springer, 1996
    Monographie, Hochschulschrift, Gedruckte Ressource
  10. Detailansicht für Treffer 30 öffnen
    Architectural design of evolutionary software systems in continuous software engineering
    von Asuman Sünbül
    Osnabrück: Der Andere Verl, 2001
    Monographie, Hochschulschrift, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    Change oriented requirements traceability: support for evolution of embedded systems
    von Antje von Knethen
    Stuttgart: Fraunhofer IRB-Verl, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Risikominderung bei der Entwicklung von Lernsoftware durch Systematisierung des Entwurfsprozesses
    German Nemirovski
    Düsseldorf: VDI-Verlag, 2001
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten
    von Peter Liggesmeyer
    Mannheim [u.a.]: BI-Wiss.-Verl, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    Konzepte für eine verteilte wissensbasierte Softwareproduktionsumgebung
    Rudi Studer
    Berlin [u.a.]: Springer, 1987
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    A model for error detection and correction
    Brazdil, Pavel
    Boston Spa [u.a.]: Brit. Libr. Document Centre, 1981
    Monographie, Hochschulschrift, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Konzeption eines agentenbasierten, aktiven Beratungssystems für die objektorientierte Entwicklung von Softwaresystemen bei Automatisierungsprojekten
    vorgelegt von Klaus Konrad
    1998
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Statistical analysis of software reliability models
    M. C. J. van Pul
    Amsterdam, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Der erweiterte Maskengenerator eines Software-Entwicklungs-Systems: Mensch-Maschine-Schnittstelle und Funktionalität eines integrierten Systems zur Software-Erstellung
    Rosenthal, Wolfgang
    Heidelberg: Physica-Verl, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    An integrated user interface for UNIX operating systems
    submitted by Rinaldo Tempo
    1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Formal foundations for software engineering methods
    Heinrich Hußmann
    Berlin [u.a.]: Springer, 1997
    Monographie, Hochschulschrift, Gedruckte Ressource

Artikel & mehr

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