Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
15 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & 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 / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Assessing the Performance of Agile Teams : 17th International conference on human-comptuer interaction, IFIP TC13
    Larusdottir, Marta Kristin ; Kyas, Marcel
    In: Lecture notes in computer science, Jg. 11930 (2020), S. 71-83
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Executable Interface Specifications for Testing Asynchronous Creol Components : IPM International Conference on Fundamentals of Software Engineering; Fundamentals of software engineering: third international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, revised selected papers
    Grabe, I. ; Kyas, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 5961, S. 324-339
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Refinement Patterns for Hierarchical UML State Machines : IPM International Conference on Fundamentals of Software Engineering; Fundamentals of software engineering: third international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, revised selected papers
    Schonborn, J. ; Kyas, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 5961, S. 371-386
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects : International symposium on formal methods; FM 2009: formal methods
    Johnsen, E.B. ; Kyas, M. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5850, S. 596-611
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A Real-Time Extension of Creol for Modelling Biomedical Sensors : Formal methods for components and objects: 7th international symposium, FMCO 2008
    Kyas, M. ; Johnsen, E.B.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5751, S. 42-60
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    An Object-Oriented Component Model for Heterogeneous Nets : Formal methods for components and objects; FMCO 2007
    Johnsen, E.B. ; Owe, O. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft NO 5382, S. 257-279
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Run-Time Monitoring of Electronic Contracts : Automated technology for verification and analysis
    Kyas, M. ; Prisacariu, C. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, S. 397-407
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    A Theory of Bounded Fair Scheduling : Theoretical aspects of computing; ICTAC 2008
    Schonborn, J. ; Kyas, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft NO 5160, S. 334-348
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    An Extended Type System for OCL Supporting Templates and Transformations : Formal methods for open object-based distributed systems: 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
    Kyas, M.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2005, S. 83-98
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    29 New Unclarities in the Semantics of UML 2.0 State Machines : Formal Methods and Software Engineering
    Fecher, H. ; Schonborn, J. ; et al.
    In: LECTURE NOTES IN COMPUTER SCIENCE, 2005, Heft 3785, S. 52-65
    serialPeriodical
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  12. Detailansicht für Treffer 12 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Buch
  13. Detailansicht für Treffer 13 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    serialPeriodical
  14. Detailansicht für Treffer 14 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    serialPeriodical
  15. Detailansicht für Treffer 15 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    serialPeriodical
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -