Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Geographischer Bezug

1.775 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Implementing and Reasoning About Hash-consed Data Structures in Coq
    BRAIBANT, Thomas ; JOURDAN, Jacques-Henri ; et al.
    In: Journal of automated reasoning, Jg. 53 (2014), Heft 3, S. 271-304
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Field : une procédure de décision pour les nombres réels en Coq / Field: a decision process for the real numbers in Coq
    DELAHAYE, David ; MAYERO, Micaela
    In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Expérimentations en Coq pour un générateur de code qualifiable / Experimenting the use of the Coq proof assistant for a qualified automated code generator
    IZERROUKEN, Nassima ; PANTEL, Marc ; et al.
    In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    GAGUÈRE (COMBAT DE COQS) ET BORLETTE (LOTERIE): QUELS ENSEIGNEMENTS SUR HAÏTI ? / GAGUÈRE (cock fight) AND BORLETTE (lottery): WHAT TEACHINGS ON HAITI?
    REDON, Marie
    In: Les espaces ludiques, 2012, Heft 82, S. 97-120
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Changements de représentation des structures de données dans Coq : le cas des entiers naturels / Change of data structure representation in Coq: the case of integers
    MAGAUD, Nicolas ; BERTOT, Yves
    In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A new extraction for Coq
    LETOUZEY, Pierre
    In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 200-219
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Gaguère (combat de coqs) et borlette (loterie) : quels enseignements sur Haïti ?
    REDON, M
    In: Les espaces ludiques, 2012, Heft 82, S. 97-120
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq / A formalization of affine bundle and schemes in type theory with Coq
    CHICLI, Laurent
    In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Modelisation of timed automata in Coq
    PAULIN-MOHRING, Christine
    In: TACS 2001 : theoretical aspects of computer software (Sendai, 29-31 October 2001), 2001, S. 298-315
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Fusion in Coq
    FREIRE NISTAL, José L ; FREIRE BRANAS, José E ; et al.
    In: Computer aided systems theory - EUROCAST 2001 (Las Palmas de Gran Canaria, 19-23 February 2001, selected & revised papers ), 2001, S. 583-596
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Certifying the Fast Fourier Transform with coq
    CAPRETTA, Venanzio
    In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 154-168
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Hardware verification using co-induction in COQ
    COUPET-GRIMAL, S ; JAKUBIEC, L
    In: TPHOLs'99 : theorem proving in higher order logics (Nice, 14-17 September 1999), 1999, S. 91-108
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Experiments with finite tree automata in Coq
    RIVAL, Xavier ; GOUBAULT-LARRECQ, Jean
    In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 362-377
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée
    GUILHOT, Frédérique
    In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138
    academicJournal
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Coq, un outil pour l'enseignement : Une expérience avec les étudiants du DESS Développement de logiciels sûrs
    DELAHAYE, David ; JAUME, Mathieu ; et al.
    In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1139-1160
    academicJournal
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Ollar Jan : le festin du coq. Contribution à l'étude des jeux et traditions utilisant des volailles / Ollar Jan: the banquet of the cockerel. Contribution to the study of games and traditions using fowl
    TRUFFAUT, Thierry
    In: Bulletin du Musée basque, 2005, Heft 166, S. 37-66
    academicJournal
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Une bibliothèque Coq pour le traitement des langues naturelles : Langages applicatifs développements et applications
    ANOUN, Houda
    In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Une traduction de la Vita Sancti Blandini de Foulcoie de Beauvais par Nicolas le Coq, diacre de Meaux (1705)
    A translation of the Vita Sancti Blandini by Foulcoie de Beauvais by Nicolas le Coq, a deacon at Meaux (1705)
    In: Revue d'histoire et d'art de la Brie et du pays de Meaux, 2000, Heft 51, S. 39-58
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Quelques remarques sur le vieux problème des noms du coq en Gascogne / Some remarks on the old problem of cock names in Gascogne
    GRZEGA, Joachim
    In: Revue de linguistique romane, 2003, Heft 265-66, S. 223-230
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Rapid neonatal weight gain in rats results in a renal ubiquinone (CoQ) deficiency associated with premature death
    SHELLEY, Piran ; TARRY-ADKINS, Jane ; et al.
    In: Mechanisms of ageing and development, Jg. 128 (2007), Heft 11-12, S. 681-687
    academicJournal
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -