Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

14 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Développement modulaire de théories et gestion de l'espace de nom pour l'assistant de preuve Coq.
    Soubiran, Elie
    2010
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Question de confiance : communication sceptique entre Coq et des prouveurs externes
    Keller, Chantal
    2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formalisation des nombres algébriques : construction et théorie du premier ordre.
    Cohen, Cyril
    2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Outils génériques de preuve et théorie des groupes finis
    Garillot, François
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Calculs vérifiés en algèbre homologique
    Spiwack, Arnaud
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 öffnen
    Développement et vérification des logiques probabilistes et des cadres logiques
    Maksimović, Petar
    2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée
    Ramananandro, Tahina
    2012
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Etude sur le typage de l'égalité dans les systèmes de types
    Siles, Vincent
    2010
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Preuves formelles pour l'optimisation globale -- Méthodes de gabarits et sommes de carrés
    Magron, Victor
    2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
    Tesson, Julien
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
    Boespflug, Mathieu
    2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Développement et Vérification des Logiques Probabilistes et des Cadres Logiques
    Maksimovic, Petar
    2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Development and verification of probability logics and logical frameworks
    Maksimovic, Petar
    2013
    Online Hochschulschrift
    Zugriff:
    Volltext
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -