Rechercher

		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
	hal-00765226v1 Ouvrage (y compris édition critique et traduction) Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al. Une introduction à la science informatique pour les enseignants de la discipline en lycée Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
	hal-00656921v1 Article dans une revue Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot et al. Liability issues in software engineering: the use of formal methods to reduce legal uncertainties Communications- ACM, Association for Computing Machinery, 2011, 54 (4), pp.99-106. <10.1145/1924421.1924444>
	inria-00440437v1 Rapport Christophe Alleaune, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Nicolas Craipeau et al. Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study [Research Report] RR-7148, INRIA. 2009, pp.23
	inria-00472287v3 Communication dans un congrès Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot et al. Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), May 2010, Cape Town, South Africa. pp.135--144, 2010, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010. <http://doi.acm.org/10.1145/1806799.1806823>. <10.1145/1806799.1806823>
	hal-01421137v1 Article dans une revue Bertille Lyonnet, Guliyev Farhad, Laurence Bouquet, Bruley-Chabot Gaelle, Anaick Samzun et al. Mentesh Tepe, an early settlement of the Shomu-Shulaveri Culture in Azerbaijan Quaternary International, Elsevier, 2016, pp.170-183
		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