Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (8)
  • Lyon (3)
  • Paris Saclay (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)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)
  • Biologie structurale et nanobiologie (1)
  • Chimie (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 (Orsay, Essonne) (2)
  • É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)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (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 chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (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 (14)
  • anglais (10)

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)
  • Belaïd Abdelwaheb (1)
  • Bensalem Saddek (1)
  • Branque Denis (1)
  • Chaminade Pierre (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)
  • Gérard Sébastien (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)
  • Wolff Burkhart (1)
  • Zarini Vincent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (10)
  • 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)
  • Chimie, minéralogie, cristallographie (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen

24 thèses pour CCSL

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

Accéder en ligne

...TESL.Only the synchronous constraints of CCSL were preserved in the original TESLlanguage in order to...

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
Informatique

Soutenue le 28-09-2017
thèse soutenue

...UML models using CCSL. TimeSquare provides an environment for modeling and analyzing timed systems. It...

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

Résultats 1 à 10