Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		10th International Workshop on Numerical Software Verification Alessandro Abate , Sylvie Boldo 10th International Workshop on Numerical Software Verification, France. Springer, 2017 Proceedings/Recueil des communications hal-01662076v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach Lakshmeesh Maruthi , Ilya Tkachev , Alfonso Carta , Eugenio Cinquemani , Pascal Hersen , et al. Computational Methods in Systems Biology, 8859, Springer International Publishing, pp.155-172, 2014, Lecture Notes in Computer Science, 978-3-319-12981-5. ⟨10.1007/978-3-319-12982-2_12⟩ Chapitre d'ouvrage hal-01096959v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats