Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

51 Treffer

Sortierung: 
  1. Detailansicht für Treffer 41 öffnen
    Reliable software technologies - Ada-Europe 2004: proceedings
    9th Ada Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004. Albert Llamosí ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 42 öffnen
    Dependable computing: proceedings
    EDCC-4, 4th European Dependable Computing Conference, Toulouse, France, October 23 - 25, 2002. Andrea Bondavalli ... (Eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 43 öffnen
    Service oriented computing: 4th international conference ; proceedings
    ICSOC 2006, Chicago, IL, USA, December 4 - 7, 2006. Asit Dan ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 44 öffnen
    Dependable computing: proceedings
    EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20 - 22, 2005. Mario Dal Cin ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 45 öffnen
    High-integrity software
    ed. by C. T. Sennett
    London: Pitman, 1989
    Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 46 öffnen
    Software security: theories and systems ; Mext NSF JSPS international symposium ; revised papers
    ISSS 2002, Tokyo, Japan, November 8 - 10, 2002. Mitsuhiro Okada ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 47 öffnen
    Formal methods and software engineering: proceedings
    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1 - 3, 2006. Zhiming Liu ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 48 öffnen
    Clean code: a handbook of agile software craftsmanship
    the object mentors: Robert C. Martin ..
    Upper Saddle River, NJ [u.a.]: Prentice Hall, 2009
    Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 49 öffnen
    Reliable software technology: proceedings
    Ada Europe 2005, 10th Ada Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 2005. Tullio Vardanega ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 50 öffnen
    Reliable software technologies: proceedings
    Ada Europe 2003, 8th Ada Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 - 20, 2003. Jean-Pierre Rosen ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 51 öffnen
    Architecting dependable systems: [a selection of peer-reviewed papers stemming from some original WADS 2002 papers and some invited ones]
    Rogério de Lemos ... (eds.)
    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 -