Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (20)
  • Nice (17)
  • Paris Saclay (16)
  • Paris 11 (15)
  • Lyon (14)
  • Grenoble (13)
  • Rennes 1 (12)
  • Paris 3 (10)
  • Paris 7 (10)
  • Bordeaux (9)
  • Paris, CNAM (9)
  • Côte d'Azur (8)
  • Palaiseau, Ecole polytechnique (8)
  • Université de Lorraine (7)
  • Dijon (6)
  • Pau (6)
  • Orléans (5)
  • Paris 1 (5)
  • Toulouse, INPT (5)
  • Besançon (4)
  • Limoges (4)
  • Sorbonne Paris Cité (4)
  • Toulouse 3 (4)
  • Lorient (3)
  • Lyon, École normale supérieure (3)
  • Lyon, École normale supérieure (sciences) (3)
  • Nantes (3)
  • Paris 5 (3)
  • Paris, ENMP (3)
  • Paris, ENST (3)
  • Troyes (3)
  • Aix-Marseille (2)
  • Bordeaux 1 (2)
  • Ecole centrale de Lille (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Lille 3 (2)
  • Nantes, Ecole des Mines (2)
  • Paris 6 (2)
  • Paris 9 (2)
  • Paris Sciences et Lettres (2)
  • Rennes 2 (2)
  • Strasbourg (2)
  • Warsaw, Uniwersytet Warszawski (2)
  • Amiens (1)
  • Avignon (1)
  • Bordeaux 4 (1)
  • Cachan, Ecole normale supérieure (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • City university of New York. Graduate school and university center (1)
  • Colorado state university (1)
  • Columbia university (New York) (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Evry, Institut national des télécommunications (1)
  • Johann-Wolfgang-Goethe-Universität (Francfort-sur-le-Main, Allemagne) (1)
  • Johannes-Kepler-Universität (Linz, Autriche) (1)
  • Jouy-en Josas, HEC (1)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Mulhouse (1)
  • Nancy 1 (1)
  • Nantes, Ecole nationale vétérinaire (1)
  • Paris 10 (1)
  • Paris 12 (1)
  • Paris Est (1)
  • Paris, Institut d'études politiques (1)
  • Prove & Run (1)
  • Rennes, INSA (1)
  • Rouen, INSA (1)
  • Saint-Etienne (1)
  • Strasbourg 1 (1)
  • Supélec (1)
  • Toulouse 1 (1)
  • Tours (1)
  • Télécom Bretagne (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Università commerciale Luigi Bocconi (Milan, Italie) (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Universität des Saarlandes (1)
  • Université Savoie Mont Blanc (1)
  • Université d'Abomey-Calavi (Bénin) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Univerzitet u Novom Sadu (1)
  • Valenciennes (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (130)
  • Études anglophones (8)
  • Mathématiques (7)
  • Physique (7)
  • Sciences économiques (7)
  • Mathématiques Appliquées (4)
  • Science politique (4)
  • Informatique et applications (3)
  • Informatique, temps réel, robotique et automatique (3)
  • Microélectronique (3)
  • Sciences de gestion (3)
  • Chimie (2)
  • Droit (2)
  • Droit privé et sciences criminelles (2)
  • Développement Durable (2)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (2)
  • Etudes anglophones (2)
  • Génie Industriel (2)
  • Génie des procédés (2)
  • Intelligence Artificielle (2)
  • Langues et littératures anglaises et anglo-saxonnes (2)
  • Mathématiques et Informatique (2)
  • Sciences de l'information et de la communication (2)
  • Sciences politiques (2)
  • Sociologie (2)
  • Stic (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • Anglais (1)
  • Anthropologie (1)
  • Archéologie (1)
  • Astrophysique (1)
  • Automatique et productique (1)
  • Automatique et traitement du signal et des images (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, traitement du signal et des images (1)
  • Biologie Cellulaire (1)
  • Biologie Marine (1)
  • Biologie moléculaire et cellulaire (1)
  • Biomolécules, Pharmacologie, Thérapeutique (1)
  • Chimie et physique du vivant (1)
  • Chimie organique, minérale, industrielle (1)
  • Chimie physique (1)
  • Droit Public (1)
  • Droit public (1)
  • Electronique (1)
  • Electronique et Optoélectronique, Nano- et Microtechnologies (1)
  • Electronique et communications (1)
  • Ethnologie (1)
  • Etudes cinématographiques et audiovisuelles (1)
  • Génie Industriel (1)
  • Génie des Procédés (1)
  • Génie des Procédés et de l'Environnement (1)
  • Génie industriel (1)
  • Histoire (1)
  • Histoire de l'art (1)
  • Histoire et civilisations des mondes moderne et contemporain (1)
  • Informatique temps réel, robotique et automatique (1)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (1)
  • Langues et littératures étrangères. Langues et cultures des sociétés anglophones (1)
  • Langues, littératures et civilisations anglophones (1)
  • Lasers, matière et nanosciences (1)
  • Linguistique et didactique de l'anglais (1)
  • Littérature américaine (1)
  • Littérature comparée (1)
  • Littérature générale et comparée (1)
  • Mathématiques appliquées (1)
  • Mathématiques et applications (1)
  • Mathématiques et informatique (1)
  • Mouvement et comportement pour la santé et l'autonomie (1)
  • Nanophysique (1)
  • Optique, Photonique et Traitement d'Image (1)
  • Philosophie, épistémologie. Epistémologie, histoire des sciences et des techniques (1)
  • Physique Quantique (1)
  • Physique subatomique et astroparticules (1)
  • Physique/Informatique (1)
  • Psychologie (1)
  • Recherche clinique, innovation technologique, santé publique (1)
  • Réseaux et télécommunications (1)
  • Science et Génie des Matériaux (1)
  • Sciences appliquées (1)
  • Sciences de gestion. Prospective, innovation, stratégie, organisation (1)
  • Sciences de la santé (1)
  • Sciences de la terre et de l'univers et de l'environnement (1)
  • Sciences de la vie et de la santé (1)
  • Sciences du bois et des fibres (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sciences du mouvement humain (1)
  • Sciences et technologies industrielles (1)
  • Sciences juridiques (1)
  • Sciences juridiques. Droit international et européen (1)
  • Signal et images (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté Logiciel et Calcul Haute Performance (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Théologie catholique (1)
  • Télécommunications (STIC) (1)
  • Électronique (1)
  • Électronique, électrotechnique, automatique (1)
  • Énergétique (1)
  • Études anglaises – Anglais de spécialité, didactique de la langue (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (21)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (12)
  • École doctorale Informatique, télécommunications et électronique (Paris) (11)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (11)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (10)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (10)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (7)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (6)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (6)
  • Ecole doctorale Informatique de Paris-Sud (5)
  • École doctorale Sciences sociales et humanités (Pau) (5)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (5)
  • École doctorale Sciences fondamentales et appliquées (Nice) (4)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (4)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (3)
  • Ecole doctorale de Dauphine (Paris) (3)
  • MATISSE (3)
  • Mathématiques, Sciences et technologies de l'information, Informatique (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (3)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (3)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (2)
  • École doctorale Arts, lettres, langues (Rennes) (2)
  • École doctorale Biologie-Santé Nantes-Angers (2)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (2)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (2)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (2)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (2)
  • École doctorale Sociétés, Humanités, Arts et Lettres (Nice) (2)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • École doctorale physique (Grenoble) (2)
  • Droit et Science Politique (1)
  • Ecole Doctorale Espaces, Cultures, Sociétés (Aix-en-Provence) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole Doctorale Sciences du Mouvement Humain (Marseille) (1)
  • Ecole Doctorale Sociétés, Politique, Santé publique (SP2) (Bordeaux) (1)
  • Ecole doctorale Economie, organisations, société (Nanterre) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ecole doctorale Particules, Noyaux, Cosmos (2009-2015 ; Paris) (1)
  • Ecole doctorale Physique de la Région Parisienne (....-2013) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (1)
  • Institut d'études politiques (Paris). École doctorale (1)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • Physique (1)
  • Physique (Grenoble) (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; ...-2014) (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (1)
  • École Doctorale Mécanique, Énergétique, Génie civil et Procédés (Toulouse) (1)
  • École doctorale 502 Biologie-Santé (Nantes-Angers) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (1)
  • École doctorale Droit et Science Politique (Toulouse) (1)
  • École doctorale Droit international et européen (Paris) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (1)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (1)
  • École doctorale Langue, littérature, image : civilisation et sciences humaines (domaines anglophone, francophone et d'Asie orientale) (Paris) (1)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; ...-2016) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Physique en Île-de-France (Paris) (1)
  • École doctorale Physique et chimie-physique (Strasbourg) (1)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (1)
  • École doctorale Savoirs scientifiques : Epistémologie, Histoire des sciences, Didactique des disciplines (Paris) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (1)
  • École doctorale Sciences exactes et leurs applications. UFR Sciences et Techniques (Pau) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Théologie et sciences religieuses (Strasbourg) (1)
  • École doctorale biologie-santé - Bio-santé (Limoges) (1)
  • École doctorale d'Économie (Paris) (1)
  • École doctorale de science politique (Paris) (1)
  • École doctorale des Humanités (Mulhouse) (1)
  • École doctorale des Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale en Sciences de l'Homme et de la Société (Amiens) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale sciences juridiques (Grenoble) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (159)
  • français (135)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (7)
  • Barthe Gilles (6)
  • Bertot Yves (5)
  • Herbelin Hugo (5)
  • Jensen Thomas (5)
  • Paulin-Mohring Christine (5)
  • Blazy Sandrine (4)
  • Hirschowitz André (4)
  • Loulergue Frédéric (4)
  • Merz Stephan (4)
  • Muller Jean-Michel (4)
  • Daumas Marc (3)
  • Jouannaud Jean-Pierre (3)
  • Mosbah Mohamed (3)
  • Werner Benjamin (3)
  • Aït-Ameur Yamine (2)
  • Castéran Pierre (2)
  • Contejean Evelyne (2)
  • Delahaye David (2)
  • Di Cosmo Roberto (2)
  • El Kamel Abdelkader (2)
  • Filliâtre Jean-Christophe (2)
  • Fradet Pascal (2)
  • Frau-Meigs Divina (2)
  • Genet Thomas (2)
  • Girault Alain (2)
  • Kesner Delia (2)
  • Leroy Xavier (2)
  • Malliaras George (2)
  • Maupeu Hervé (2)
  • Monin Jean-François (2)
  • Monniaux David (2)
  • Nicolle Christophe (2)
  • Pantel Marc (2)
  • Viêt Triêm Tông Valérie (2)
  • Alami Rachid (1)
  • Alamir Mazen (1)
  • Alberge Florence (1)
  • Alexis Henri (1)
  • Alla Hassane Lotfi (1)
  • Anceaume Emmanuelle (1)
  • Andres Yves (1)
  • Antoni Thomas (1)
  • Augusto Vincent (1)
  • Aupetit-Berthelemot Christelle (1)
  • Avrachenkov Konstantin (1)
  • Aycard Olivier (1)
  • Azuelos Martine (1)
  • Baillot Patrick (1)
  • Bajard Jean-Claude (1)
  • Ball Vincent (1)
  • Barakat Chadi (1)
  • Baratchart Laurent (1)
  • Barras Bruno (1)
  • Barucq Hélène (1)
  • Baude Françoise (1)
  • Baudry Marc (1)
  • Ben Ameur Walid (1)
  • Bensrhair Abdelaziz (1)
  • Benzaken Véronique (1)
  • Berkani Karim (1)
  • Berruet Pascal (1)
  • Bessière Pierre (1)
  • Bhargavan Karthikeyan (1)
  • Bilbiie Florin Ovidiu (1)
  • Blanqui Frédéric (1)
  • Bodeveix Jean-Paul (1)
  • Boldo Sylvie (1)
  • Bonafous-Murat Carle (1)
  • Boochs Frank (1)
  • Borbely Andras (1)
  • Bouju Emmanuel (1)
  • Bourgougnon Nathalie (1)
  • Bourillot Eric (1)
  • Bozarslan Hamit (1)
  • Busnel Yann (1)
  • CHAZARAIN J. (1)
  • Calabretto Sylvie (1)
  • Cancés Jean-Pierre (1)
  • Cani Marie-Paule (1)
  • Cardey-Greenfield Sylviane (1)
  • Castets-Renard Céline (1)
  • Catren Gabriel (1)
  • Chabaud Didier (1)
  • Charron-Bost Bernadette (1)
  • Cheverry Christophe (1)
  • Chevy Frédéric (1)
  • Clavaguera Sarrio Carine (1)
  • Clouet Johann (1)
  • Clémençon Stéphan (1)
  • Collot Johann (1)
  • Compagnon Daniel (1)
  • Corre Eric (1)
  • Cortés Juan (1)
  • Cottatellucci Laura (1)
  • Crolard Tristan (1)
  • Cruz Christophe (1)
  • Cullot Nadine (1)
  • Cuppens Frédéric (1)
  • Dang Thao (1)
  • Dantoine Thierry (1)
  • Dauzère-Pérès Stéphane (1)
  • David René (1)
  • De Mathelin Michel (1)
  • Delais-Roussarie Elisabeth (1)
  • Delmas Claude (1)
  • Delorme Xavier (1)
  • Deneire Luc (1)
  • Deneken Michel (1)
  • Denis Jérôme (1)
  • Déharbe David (1)
  • Dianteill Erwan (1)
  • Doherty Gabriel (1)
  • Dolgui Alexandre (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dordi Claudio (1)
  • Dowek Gilles (1)
  • Dufour Dabadie Isabelle (1)
  • Duhamel Pierre (1)
  • Dumas Philippe (1)
  • Duplay Mathieu (1)
  • Durand Irène (1)
  • Durand Rodolphe (1)
  • Déloye Yves (1)
  • Echahed Rachid (1)
  • Edouard Jean-Louis (1)
  • Ercolessi Maria Cristina (1)
  • Escudero Sanz Francisco-Javier (1)
  • Favery Bruno (1)
  • Filali Mamoun (1)
  • Filliat David (1)
  • Fontaine Pascal (1)
  • Foufou Sebti (1)
  • Fraczkiewicz Anna (1)
  • Franck Didier (1)
  • Fréville Arnaud (1)
  • Féraud Louis (1)
  • Galey Jean-Baptiste (1)
  • Gaudel Marie-Claude (1)
  • Gaudry Pierrick (1)
  • Gava Frédéric (1)
  • Genevès Pierre (1)
  • Gensel Jérôme (1)
  • Gentès Annie (1)
  • Gesbert David (1)
  • Geslin Albane (1)
  • Ghilezan Silvia (1)
  • Giorgetti Alain (1)
  • Girard Antoine (1)
  • Giudicelli-Delage Geneviève (1)
  • Goerbig Mark Oliver (1)
  • Gonzalez Gérard (1)
  • Gosse Charlie (1)
  • Gravier Guillaume (1)
  • Grégoire Benjamin (1)
  • Gueraoui Kamal (1)
  • Guibal Frédéric (1)
  • Guicheux Jérôme (1)
  • Guillaume Bertrand (1)
  • Guméry Pierre-Yves (1)
  • Gutleben Christian (1)
  • Hachicha Nejib (1)
  • Hardouin Jean-Benoit (1)
  • Hassenteufel Patrick (1)
  • Henrio Ludovic (1)
  • Herri Jean-Michel (1)
  • Huet Fabrice (1)
  • Huetz de Lemps Xavier (1)
  • Hyvernat Pierre (1)
  • Héroux Pierre (1)
  • Jaber Ali (1)
  • Jacquenet François (1)
  • Jakoby Bernhard (1)
  • Jakubowicz Jérémie (1)
  • Jaume Mathieu (1)
  • Jeannet Bertrand (1)
  • Joloboff Vania (1)
  • Julliand Jacques (1)
  • Junca Stéphane (1)
  • Kaltenberger Florian (1)
  • Kirchner Hélène (1)
  • Kosmatov Nikolaï (1)
  • Kosnick Kira (1)
  • Kouvouama Abel (1)
  • Kovalyov Mikhail I (1)
  • Labayle Henri (1)
  • Labbé Stéphane (1)
  • Lakomski-Laguerre Odile (1)
  • Lalanda Philippe (1)
  • Lang Frédéric (1)
  • Laugier Christian (1)
  • Lauter Christoph Quirin (1)
  • Layaida Nabil (1)
  • Le Bideau Jean (1)
  • Le Cacheux Jacques (1)
  • Le Coq Laurence (1)
  • Le Pape Alain (1)
  • Le Riche Rodolphe (1)
  • Leblond Juliette (1)
  • Lefort Claire (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (142)
  • Sciences de l'ingénieur (44)
  • Physique (16)
  • Mathématiques (13)
  • Science politique (10)
  • Economie (9)
  • Droit (9)
  • Informatique, information, généralités (7)
  • Sciences de la vie, biologie, biochimie (6)
  • Médecine et santé (6)
  • Littératures anglaise et anglo-saxonne (6)
  • Chimie, minéralogie, cristallographie (5)
  • Gestion et organisation de l'entreprise (5)
  • Sciences sociales, sociologie, anthropologie (4)
  • Langue anglaise. Anglo-saxon (4)
  • Arts du spectacle, loisirs (3)
  • Histoire et critique littéraires, rhétorique (3)
  • Langues et linguistique (2)
  • Technologie (Sciences appliquées) (2)
  • Littérature américaine en anglais (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Psychologie (1)
  • Théologie chrétienne et société, ecclésiologie (1)
  • Education et enseignement (1)
  • Ethnologie (1)
  • Linguistique générale (1)
  • Sciences de la terre (1)
  • Génie chimique, technologies alimentaires (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Sport (1)
  • Histoire générale de la France (1)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (1)
  • Histoire générale de l'Afrique (1)

Domaines :

Fullscreen

285 thèses pour Proof assistant

...Lu models Pastry in TLA+, and uses the accompanying TLC model checkerand the TLAPS proof assistant...

Accéder en ligne

.... The proof assistant PVS [139] and the Why3system [72] are examples of this style of delegation. In the...

Accéder en ligne

Résultats 1 à 10