Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (4)
  • Université Paris-Saclay (ComUE) (4)
  • Université de Lorraine (3)
  • Paris, CNAM (2)
  • Angers (1)
  • Bourgogne Franche-Comté (1)
  • Cachan, Ecole normale supérieure (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • Institut polytechnique de Paris (1)
  • Lyon (1)
  • Paris 11 (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 3 (1)
  • Toulouse, ISAE (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università degli studi della Calabria (1)
  • Université Côte d'Azur (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (20)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique, données, IA (1)
  • Recherche clinique. Innovation technologique. Santé publique (1)
  • Réseaux, télécom, système et architecture (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (19)
  • français (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Delahaye David (3)
  • Merz Stephan (2)
  • Monfroy Éric (2)
  • Monniaux David (2)
  • Bardin Sébastien (1)
  • Berkani Karim (1)
  • Calimeri Francesco (1)
  • Conchon Sylvain (1)
  • Debar Hervé (1)
  • Delmas Rémi (1)
  • Déharbe David (1)
  • Dowek Gilles (1)
  • Dubois Catherine (1)
  • Echenim Bertrand Mnacho (1)
  • Fontaine Pascal (1)
  • Gasquet Olivier (1)
  • Gössler Gregor (1)
  • Haddad Serge (1)
  • Iosif Radu (1)
  • Jensen Thomas (1)
  • Julliand Jacques (1)
  • Le Gall Pascale (1)
  • Longin Dominique (1)
  • Marché Claude (1)
  • Marion Jean-Yves (1)
  • Masson Pierre-Alain (1)
  • Mauny Michel (1)
  • Michel Claude (1)
  • Moy Matthieu (1)
  • Pagetti Claire (1)
  • Peltier Nicolas (1)
  • Rueher Michel (1)
  • Sappey-Marinier Dominique (1)
  • Saubion Frédéric (1)
  • Terracina Giorgio (1)
  • Wolff Burkhart (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (21)
  • Sciences de l'ingénieur (2)
  • Informatique, information, généralités (1)
  • Mathématiques (1)
  • Médecine et santé (1)

Domaines :

Fullscreen

25 thèses pour "Smt-Lib"

....3.2.1 DescriptionThe solver’s interface uses a simplified version of SMT-LIB v2 syntax. Sorts as well as functionscan be...

Accéder en ligne
Réseaux, télécom, système et architecture

Soutenue le 19-12-2017
thèse soutenue
Informatique et Télécommunications

Soutenue le 08-04-2019
thèse soutenue

Résultats 1 à 10