Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

13 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Certification de programmes avec des effets calculatoires
    Ekici, Burak
    2015
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle
    Fouilhé, Alexis
    2015
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Extraction de code fonctionnel certifié à partir de spécifications inductives
    Tollitte, Pierre-Nicolas
    2013
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Automatisation des preuves pour la vérification des règles de l'Atelier B
    Jacquel, Mélanie
    2013
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire
    Duclos, Mathilde
    2016
    Hochschulschrift
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Extending type theory with syntactic models
    Boulier, Simon Pierre
    2018
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Nouvelle algorithmique pour le calcul polyédral via programmation linéaire paramétrique
    Maréchal, Alexandre
    2017
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Automating proofs with state machine inference
    Gransden, Thomas Glenn
    2017
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
    Burlyaev, Dmitry
    2015
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Automated verification of termination certificates
    Ly, Kim Quyen
    2014
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Certification of an Instruction Set Simulator
    Shi, Xiaomu
    2013
    Hochschulschrift
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Verification formelle et optimisation de l'allocation de registres
    Robillard, Benoît
    2010
    Hochschulschrift
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Siaam : Simple Isolation for an Actor-based Abstract Machine
    Sabah, Quentin
    2013
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -