Your search returned 10 results. Subscribe to this search

|
1. Analyse des pointeurs pour le langage C / Amira Mensi ; sous la direction de François IrigoinPublication : 2013Availability: Accès au texte intégral | Click here to access online | Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00944703] (1).
2. Analyse statique des systèmes de contrôle-commande : invariants entiers et flottants / Vivien Maisonneuve ; sous la direction de François IrigoinPublication : 2015Availability: Accès au texte intégral | Click here to access online | Click here to access online
3. Thèses Etude et modélisation des mécanismes d'endommagement en forge à froid [Ressource électronique] / par Ludovic Bourgeon ; sous la direction de François BayPublication : Paris : MINES ParisTech, 2010Availability: Click here to access online Copies available for reference: En ligne[http://tel.archives-ouvertes.fr/tel-00451888] (1).
4. Thèses Formal certification of game-based cryptographic proofs [Ressource électronique] / par Santiago José Zanella Béguelin ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00584350] (1).
5. Modélisation du mélange de polymères chargés et de la casse de fibres rigides en extrusion bivis / Audrey Durin ; sous la direction de Bruno VergnesPublication : 2012Availability: Accès au texte intégral | Click here to access online | Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00687658] (1).
6. Thèses On type-based termination and dependent pattern matching in the calculus of inductive constructions [Ressource électronique] / par Jorge Luis Sacchini ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2011Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00622429] (1).
7. Thèses Préservation des preuves et transformation de programmes [Ressource électronique] / par César Kunz ; sous la direction de Gilles BarthePublication : Paris : MINES ParisTech, 2009Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00004940] (1).
8. Thèses Résolution de grands systèmes linéaires issus de la méthode des éléments finis sur des calculateurs massivement parallèles [Ressource électronique] / par Ibrahima Gueye ; sous la direction de Georges Cailletaud et François-Xavier RouxPublication : Paris : MINES ParisTech, 2010Availability: Click here to access online Copies available for reference: En ligne[http://tel.archives-ouvertes.fr/tel-00477653] (1).
9. Thèses Solution de guidage-navigation-pilotage pour véhicules autonomes hétérogènes en vue d'une mission collaborative [Ressource électronique] / par David Vissière ; sous la direction de Nicolas PetitPublication : Paris : MINES ParisTech, 2008Availability: Click here to access online Copies available for reference: En ligne[http://pastel.archives-ouvertes.fr/pastel-00004492] (1).
10. Thèses Tapping into the source : corporate involvement in open source software [Ressource électronique] / par Jan Eilhard ; sous la direction de François LévêquePublication : Ville : Nom de l'institution l'ayant mis en ligne, Année de mise en ligneAvailability: Click here to access online Copies available for reference: En ligne[http://tel.archives-ouvertes.fr/tel-00528121] (1).

Powered by Koha