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 16 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-00462013v1 Thèse Pavel Vassiliev. Development and implementation of a simulator for abstract state machines with real time and model-checking of properties in a language of first order predicate logic with time Other [cs.OH]. Université Paris-Est, 2008. Russian. <NNT : 2008PEST0050>
	tel-00974977v1 Thèse Jean Fortin. BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms Other [cs.OH]. Université Paris-Est, 2013. English. <NNT : 2013PEST1084>
	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-00091587v1 Communication dans un congrès Marie Duflot, Danièle Beauquier, Marius Minea. A Probabilistic Property-Specific Approach to Information Flow 2005, Springer, pp.206-220, 2005, LNCS 3685. <10.1007/11560326_16>
	inria-00099381v1 Communication dans un congrès Arnaud Durand, Miki Hermann, Phokion G. Kolaitis. Subtractive Reductions and Complete Problems for Counting Complexity Classes M. Nielsen et B. Rovan. 25th International Symposium on Mathematical Foundations of Computer Science - MFCS'2000, 2000, Bratislava, Slovaquie, Springer-Verlag, 1893, pp.323-332, 2000, Lecture Notes in Computer Science
	tel-00110831v1 Thèse Frédéric Gava. Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. Autre [cs.OH]. Université Paris XII Val de Marne, 2005. Français
	hal-01164086v3 Pré-publication, Document de travail Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn et al. Entropy Games and Matrix Multiplication Games Accepted to STACS 2016. 2015
	inria-00098956v1 Communication dans un congrès Arnaud Durand, Miki Hermann, Laurent Juban. On the complexity of recognizing the Hilbert basis of a linear Diophantine system M. Kutylowski, L. Pacholski, T. Wierzbicki. 24th International Symposium on Mathematical Foundations of Computer Science - MFCS'99, 1999, Szklarska Poreba, Poland, Springer-Verlag, 1672, pp.92-102, 1999, Lecture Notes in Computer Science
	tel-00674865v1 Thèse Jérémy Milhau. Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information Autre [cs.OH]. Université Paris-Est, 2011. Français. <NNT : 2011PEST1038>
	tel-00481376v1 Thèse Louis Gesbert. Développement systématique et sûreté d’exécution en programmation parallèle structurée Autre [cs.OH]. Université Paris-Est, 2009. Français. < NNT : 2009PEST0004 >
	tel-00779309v1 Thèse Muath Alrammal. Algorithmes de traitement de flux XML : masses de données, mémoire externe et performances extensibles Other [cs.OH]. Université Paris-Est, 2011. English. <NNT : 2011PEST1002>
	tel-00802383v1 Thèse Michel Embe Jiague. Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services Autre [cs.OH]. Université Paris-Est, 2012. Français. <NNT : 2012PEST1076>
	tel-00786926v1 Thèse Pierre Konopacki. Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles Autre [cs.OH]. Université Paris-Est, 2012. Français. <NNT : 2012PEST1089>
	tel-00952082v1 Thèse Chong Li. Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle Autre [cs.OH]. Université Paris-Est, 2013. Français. <NNT : 2013PEST1089>
	tel-00462081v1 Thèse Guozhi Wei. Optimisation du Handover dans le protocole IPv6 mobile avec la méthode E-HCF Autre [cs.OH]. Université Paris-Est, 2008. Français. <NNT : 2008PEST0011>
	hal-00097626v1 Article dans une revue Patrick Cégielski, Jean-Pierre Raoult, Denis Richard. Colloque National sur les Recherches en IUT Quadrature, EDP Sciences, 1996, 24, pp.120
		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 16 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM