Recherche

		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00260180v2 Rapport Pierre Martinon, Frédéric Bonnans, Julien Laurent-Varin, Emmanuel Trélat. Numerical study of optimal trajectories with singular arcs for space launcher problems [Research Report] RR-6460, INRIA. 2008, pp.26
	inria-00072322v1 Rapport J. Frederic Bonnans, Philippe Chartier, Hasnaa Zidani. Discrete Approximations of the Hamilton-Jacobi Equation for an Optimal Control Problem of a Differential-Algebraic System [Research Report] RR-4265, INRIA. 2001
	inria-00139273v2 Rapport J. Frederic Bonnans, Pierre Martinon, Emmanuel Trélat. Singular arcs in the generalized Goddard's Problem [Research Report] RR-6157, INRIA. 2007, pp.25
	inria-00151285v3 Rapport Pierre Deransart, Mireille Ducassé, Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue) [Interne] RR-6229, INRIA. 2007, pp.54
	inria-00073660v1 Rapport Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot. Formal Validation of Data-Parallel Programs : a Two-Component Assertional Proof System for a Simple Language [Research Report] RR-3033, INRIA. 1996
		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM