Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
191	Test generation from recursive tiles systems Sébastien Chédor1 , Thierry Jéron2 , Christophe Morvan3 1 Université de Rennes I INRIA Rennes - Bretagne Atlantique, Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2012-03-30 10:27:24
192	Communiqué de presse Rennes, le 17 octobre 2016 Bretagne. Le #TourDuCode sensibilise les jeunes au numérique Add to Reading List Source URL: www.lespetitsdebrouillards.org Language: French - Date: 2017-07-01 02:46:22
193	1 Bounds on List Decoding Gabidulin Codes Antonia Wachter-Zeh Institute of Communications Engineering, Ulm University, Ulm, Germany and Institut de Recherche Math´ematique de Rennes, Universit´e de Rennes 1, Rennes, F Add to Reading List Source URL: webmath.univ-rennes1.fr Language: English - Date: 2016-03-14 12:25:55
194	Non-interference in partial order models B´eatrice B´erard Lo¨ıc H´elou¨et John Mullins Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-20 15:59:48
195	Sessions with an unbounded number of agents S. Akshay Lo¨ıc H´elou¨et Madhavan Mukund Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-12-03 15:32:44
196	Timed automata A determinization procedure Summary Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:21
197	Compatibility of Data-Centric Web Services Benoˆıt Masson1 , Lo¨ıc H´elou¨et2, and Albert Benveniste2 1 Epitech Rennes, 12 square Vercingtorix, 35000 Rennes, France INRIA Rennes, campus de Beaulieu, 35042 Rennes Ce Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:38:12
198	Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2013-09-13 06:05:42
199	Robustness of Time Petri Nets under Guard Enlargement ⋆ S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Pierre-Alain Reynier3 1 INRIA/IRISA Rennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:31:08
200	CONTEXTUAL GRAPH GRAMMARS CHARACTERISING RATIONAL GRAPHS Christophe Morvan Universit Paris-Est, INRIA Rennes Bretagne Atlantique Campus de Beaulieu, 35042 Rennes, France Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2010-08-16 04:21:18

UPDATE