Île-de-France - PDFSEARCH.IO - Document Search Engine

Île-de-France
Results: 2769

#	Item
131	25 écoles doctorales Domaine École doctorale ED 127 Astronomie et astrophysique d’Ile de France Add to Reading List Source URL: www.sorbonne-universites.fr Language: French - Date: 2015-12-07 07:32:40
132	Floats & Ropes: a case study for formal numerical program verication? Sylvie Boldo INRIA Saclay - Île-de-France, ProVal, Orsay, FLRI, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: astraver.linuxtesting.org Language: English - Date: 2015-07-01 11:40:20
133	Guide Après le bac Ile-de-France - Rentrée 2016 Add to Reading List Source URL: www.onisep.fr Language: French
134	Formalising security properties in electronic voting protocols St´ephanie Delaune and Steve Kremer LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France The results presented in this report are based on joint work with Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-04-22 04:30:41
135	Configurable Conduction Delay Circuits for High Spiking Rates B. Belhadj, A. Joubert, O. Temam† and R. Heliot† CEA-LETI, Minatec Campus, 17 rue des Martyrs, 38054 Grenoble, France. † INRIA Saclay Ile-de-France Add to Reading List Source URL: pages.saclay.inria.fr Language: English - Date: 2014-08-30 17:11:00
136	BILAN DES ÉMISSIONS DE POLLUANTS ATMOSPHÉRIQUES ET DE GAZ À EFFET DE SERRE EN ÎLE-DE-FRANCE POUR L’ANNÉE 2010 ET HISTORIQUEMéthodologies et résultats Juillet 2013 Add to Reading List Source URL: www.airparif.fr Language: French - Date: 2013-07-31 03:31:55
137	Enquête globale transport N° 16 La mobilité en Île-de-France Modes Add to Reading List Source URL: www.omnil.fr Language: French - Date: 2015-08-27 04:01:50
138	Deciding security for protocols with recursive tests★ Mathilde Arnaud1,2 , V´eronique Cortier2 , and St´ephanie Delaune1 1 LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France, France Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:30
139	Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-05-05 05:25:30
140	Régionales Île-‐de-‐France, avec Jean-‐Claude Delarue Le réseau va mal Que faire ? Add to Reading List Source URL: demsf.free.fr Language: French - Date: 2015-09-21 13:42:08