CRI - PDFSEARCH.IO - Document Search Engine

CRI
Results: 2263

#	Item
261	jsCoq: Towards Hybrid Theorem Proving Interfaces Emilio Jesús Gallego Arias Benoît Pin MINES ParisTech Add to Reading List Source URL: cri.ensmp.fr Language: English - Date: 2017-01-31 09:05:32
262	Microsoft Word - thèse_ ipiso2006_alexandre aubry.doc Add to Reading List Source URL: cri.mines-paristech.fr Language: French - Date: 2008-01-31 09:19:04
263	Real Time Systems Compilation with Lopht Dumitru Potop-Butucaru INRIA Paris/ AOSTE team Jan. 2016 Add to Reading List Source URL: cri.ensmp.fr Language: English - Date: 2016-02-08 04:37:49
264	Towards a Unified Environmental Monitoring, Control and Data Management System for Irradiation Facilities: the CERN IRRAD Use Case B. Gkotse1,2, M. Glaser1, P. Jouvelot2, E. Matli1, G. Pezzullo1, F. Ravotti1 1 European Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2017-10-24 11:26:18
265	INSTITUT DES SCIENCES ET TECHNOLOGIES École doctorale nO 432: Sciences des Métiers de l’Ingénieur Doctorat ParisTech THÈSE Add to Reading List Source URL: cri.mines-paristech.fr Language: French - Date: 2011-08-03 09:20:21
266	Towards Compositional and Generative Tensor Optimizations Add to Reading List Source URL: cri.mines-paristech.fr Language: English - Date: 2017-12-18 11:28:53
267	Mathématiques et systèmes Centre de recherche en informatique Pour obtenir la copie de ce document contacter/ To get a copy of this document contact Add to Reading List Source URL: cri.mines-paristech.fr - Date: 2011-04-13 09:22:50
268	ED n° 431 : Information, communication, modélisation et simulation. N° attribué par Add to Reading List Source URL: cri.mines-paristech.fr Language: French - Date: 2009-04-24 04:05:13
269	2015-ENST-0046 EDITE - ED 130 Doctorat ParisTech THÈSE pour obtenir le grade de docteur délivré par Add to Reading List Source URL: cri.ensmp.fr Language: English - Date: 2016-01-19 05:31:14
270	Samuel BENVENISTE Born September the 16th, 1984 in Lyon (Rhône) 7 du Banquier, 75013 Paris, France + ( (cell), + ( (home) Add to Reading List Source URL: www.cri.mines-paristech.fr Language: English - Date: 2012-01-17 09:14:25

UPDATE