Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
8 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

Sprache

8 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Enhance software comprehension with dynamic and interactive diagrams ; Améliorer la compréhension d’un programme à l’aide de diagrammes dynamiques et interactifs
    Duruisseau, Mickaël ; Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) ; et al.
    In: https://hal.archives-ouvertes.fr/tel-02434803 ; Génie logiciel [cs.SE]. Université de Lille, Sciences et Technologies, 2019. Français, 2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms ; Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel
    Lelionnais, Cédrick ; ESEO-Tech ; et al.
    In: https://hal.science/tel-01093814 ; Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2014. Français. ⟨NNT : ⟩, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Contribution to the Consideration of the Behavior of Real-Time Software Execution Platforms ; Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel
    Lelionnais, Cédrick ; ESEO-Tech ; et al.
    In: https://hal.archives-ouvertes.fr/tel-01093814 ; Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2014. Français, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages ; Méthodes et Outils pour l'Intégration de la Vérification Formelle pour les Langages Dédiés
    Zalila, Faiez ; Institut de recherche en informatique de Toulouse (IRIT) ; et al.
    In: https://theses.hal.science/tel-01375380 ; Modeling and Simulation. Institut National Polytechnique De Toulouse, 2014. English. ⟨NNT : ⟩, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages ; Méthodes et Outils pour l'Intégration de la Vérification Formelle pour les Langages Dédiés
    Zalila, Faiez ; Institut de recherche en informatique de Toulouse (IRIT) ; et al.
    In: https://theses.hal.science/tel-01375380 ; Modeling and Simulation. Institut National Polytechnique De Toulouse, 2014. English. ⟨NNT : ⟩, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages ; Méthodes et Outils pour l'Intégration de la Vérification Formelle pour les Langages Dédiés
    ZALILA, Faiez ; Institut de recherche en informatique de Toulouse (IRIT) ; et al.
    In: https://tel.archives-ouvertes.fr/tel-01375380 ; Modeling and Simulation. Institut National Polytechnique De Toulouse, 2014. English, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Composition of models for the multi-paradigm modeling of the behavior of systems ; Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes
    Hardebolle, Cécile ; Gif, SUPELEC-Campus ; et al.
    In: https://theses.hal.science/tel-00421328 ; Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 2008. Français. ⟨NNT : ⟩, 2008
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Composition of models for the multi-paradigm modeling of the behavior of systems ; Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes
    Hardebolle, Cécile ; Gif, SUPELEC-Campus ; et al.
    In: https://tel.archives-ouvertes.fr/tel-00421328 ; Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 2008. Français, 2008
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -