Zum Inhalt springen

  2. Edwards, Stephen A. [VerfasserIn]; Halbwachs, Nicholas [VerfasserIn]; von Hanxleden, Reinhard [VerfasserIn]; Stauner, Thomas [VerfasserIn] ; Stephen A. Edwards and Nicholas Halbwachs and Reinhard von Hanxleden and Thomas Stauner [MitwirkendeR]

    04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  3. Edwards, Stephen A. [VerfasserIn]; Halbwachs, Nicholas [VerfasserIn]; von Hanxleden, Reinhard [VerfasserIn]; Stauner, Thomas [VerfasserIn] ; Stephen A. Edwards and Nicholas Halbwachs and Reinhard von Hanxleden and Thomas Stauner [MitwirkendeR]

    04491 Executive Summary – Synchronous Programming - SYNCHRON'04

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  4. Gouletquer, Pierre-Louis [VerfasserIn]; Kayser, Olivier [VerfasserIn]; Le Goffic, Michel [VerfasserIn]; Léopold, Pierre [VerfasserIn]; Marchand, Grégor [VerfasserIn]; Moullec, Jean-Michel [VerfasserIn]

    Où sont passés les Mésolithiques côtiers bretons? Bilan 1985-1995 des prospections de surface dans le Finistère

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Revue archéologique de l'ouest ; Vol. 13, n° 1, pp. 5-30

  6. Bourbouh, Hamza [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Garoche, Pierre-Loïc [MitwirkendeR]

    Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques ; Static analyses and model checking of mixed data-flow/control-flow models for critical systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-03-16

  7. Brun, Lélio [VerfasserIn] ; Université Paris sciences et lettres [MitwirkendeR]; Pouzet, Marc [MitwirkendeR]; Bourke, Timothy [MitwirkendeR]

    Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation ; Mechanized semantics and verified compilation for a dataflow synchronous language with reset

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-07-06

  11. Coutier, Léon [VerfasserIn]; Molot, Ernest [VerfasserIn]; Robert, Romain [VerfasserIn]

    Découverte d'un atelier de grès lustré

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Bulletin de la Société préhistorique de France ; Vol. 35, n° 7-8, pp. 318-319

  17. Masson, Annie [VerfasserIn]; Coqueugniot, Éric [VerfasserIn]; Roy, Simone [VerfasserIn]

    Silice et traces d'usage : le lustré des faucilles

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Comptes rendus d'activités annuelles. Association régionale pour le développement des recherches de paléontologie et de préhistoire et des Amis du Muséum ; Vol. 19, n° 1, pp. 43-52

  18. Caron, Jean-Michel [VerfasserIn]

    Étude d'un stilpnomélane des schistes lustrés piémontais

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Bulletin de la Société française de Minéralogie et de Cristallographie ; Vol. 93, n° 1, pp. 133-136

  20. Gysels, J. [VerfasserIn]; Cahen, Daniel [VerfasserIn]

    Le lustre des faucilles et les autres traces d'usage des outils en silex

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Erschienen in: Bulletin de la Société préhistorique française ; Vol. 79, n° 7, pp. 221-224