Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (8)
  • Lyon (3)
  • Grenoble Alpes (2)
  • Nice (2)
  • Lyon 2 (1)
  • Paris 4 (1)
  • Paris, EPHE (1)
  • Rennes 1 (1)
  • Strasbourg (1)
  • Universidade de São Paulo (Brésil) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Biologie structurale et nanobiologie (1)
  • Chimie. Environnement (1)
  • Génie civil (1)
  • Histoire (1)
  • Mathématiques (1)
  • Mathématiques Appliquées (1)
  • Mathématiques appliquées (1)
  • Mathématiques-Informatique (1)
  • Mondes anciens (1)
  • Philosophie (1)
  • Physique (1)
  • Sciences et technologie industrielles (1)
  • Théologie catholique (1)
  • Études latines (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • École Doctorale de Chimie (Lyon) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Mondes anciens et médiévaux (Paris) (1)
  • École doctorale Sciences sociales (Lyon) (1)
  • École doctorale Théologie et sciences religieuses (Strasbourg ; 1997-....) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de l'École pratique des hautes études (Paris) (1)
  • École doctorale physique (Grenoble) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (12)
  • anglais (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Mallet Frédéric (2)
  • André Charles (1)
  • Attali Dominique (1)
  • Ballou Rafik (1)
  • Baudry Benoit (1)
  • Bensalem Saddek (1)
  • Branque Denis (1)
  • Deneken Michel (1)
  • Do Anh Thiep (1)
  • Donsez Didier (1)
  • El Hadji Gamatié Abdoulaye (1)
  • Fitch Andrew N. (1)
  • Garon-Boucher Christelle (1)
  • Goldman Vel Lejbman Alfredo (1)
  • Istas Jacques (1)
  • Lachaud Jacques-Olivier (1)
  • Morales Marcel (1)
  • Méhaut Jean-François (1)
  • Poirel Dominique (1)
  • Randon Jérôme (1)
  • Reveyron Nicolas (1)
  • Rutten Eric (1)
  • Sabbah Guy (1)
  • Simonet Virginie (1)
  • Thibert Boris (1)
  • Vasylchenko Andriy (1)
  • Zarini Vincent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (7)
  • Mathématiques (3)
  • Sciences de l'ingénieur (3)
  • Histoire ancienne et préhistoire (3)
  • Philosophie de l'Antiquité, du Moyen Âge, de l'Orient (1)
  • Théologie chrétienne et société, ecclésiologie (1)
  • Physique (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

20 thèses pour CCSL

...ControlSubView by using ccsl. Thelatter is expressed by equations in equationalSubViews. The tools used to run...

Accéder en ligne

...embedded systems from specifications toimplementation.3.1.3 The UML Profile MARTE and CCSL Language...

Accéder en ligne
Sciences et technologie industrielles

Soutenue le 11-09-2013
thèse soutenue

..., les auteurs de [CCSL09] définissent le µ-reach deX comme rµ(X) = inf {t > 0 | χX(t) < µ...

Accéder en ligne

...Christianorum, Series Latina (CCSL) Adamnène, De Locis Sanctis, libri tres, Itineraria et alia geographica...

Accéder en ligne

.... Autres sources : AMBROISE DE MILAN, De officiis : éd. M. TESTARD, Turnhout, 2000 (CCSL, 15). —, De Fide...

Accéder en ligne
Mathématiques appliquées

Soutenue le 18-12-2014
thèse soutenue

...], ducoˆne normal [MOG11, CCSL09] et des mesures de courbure [MOG11, CCSLT09].Dans [NSW08], les auteurs...

Accéder en ligne

...-based applications. URSO focuses on the flexibility and34CCSL (Clock Constraint Specification Language) is a language...

Accéder en ligne

...Timesquare [46], which deines executiontraces of CCSL models. To that efect, it has references to the CCSL...

Accéder en ligne

Résultats 1 à 10