Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Certified semantics and analysis of JavaScript
    Bodin, Martin
    2016
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Verasco: a Formally Verified C Static Analyzer ; Verasco: un analyseur statique pour C formellement vérifié
    Jourdan, Jacques-Henri ; Langages de programmation, types, compilation et preuves (GALLIUM) ; et al.
    In: https://hal.science/tel-01327023 ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩, 2016
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Certified semantics and analysis of JavaScript ; Sémantique et analyse certifiée de JavaScript
    Bodin, Martin ; Software certification with semantic analysis (CELTIQUE) ; et al.
    In: https://theses.hal.science/tel-01478722 ; Programming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S087⟩, 2016
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
    Garnacho, Manuel
    2010
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
    Benayoun, Vincent
    2014
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Analyse de dépendances ML pour les évaluateurs de logiciels critiques. ; ML Dependency Analysis for Critical-Software Assessors
    Benayoun, Vincent ; Paris, CNAM ; et al.
    2014
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Automatic and formal certification of critical systems by instrumentation of abstract interpreters ; Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
    Garnacho, Manuel ; DCS ; et al.
    In: https://theses.hal.science/tel-00720595 ; Logique en informatique [cs.LO]. Université de Grenoble, 2010. Français. ⟨NNT : ⟩, 2010
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    ML Dependency Analysis for Critical-Software Assessors ; Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
    Benayoun, Vincent ; Centre d'études et de recherche en informatique et communications (CEDRIC) ; et al.
    In: https://theses.hal.science/tel-01062785 ; Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2014. Français. ⟨NNT : 2014CNAM0915⟩, 2014
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique
    Maréchal, Alexandre
    2017
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    New Algorithmics for Polyhedral Calculus via Parametric Linear Programming ; Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique
    Maréchal, Alexandre ; VERIMAG (VERIMAG - IMAG) ; et al.
    In: https://hal.science/tel-01695086 ; Computational Geometry [cs.CG]. Université Grenoble Alpes, 2017. English. ⟨NNT : ⟩, 2017
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique ; New algorithmics for polyhedral calculus via parametric linear programming
    Maréchal, Alexandre ; Université Grenoble Alpes (ComUE) ; et al.
    2017
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -