Recherche
-
Réalité Augmentée en extérieur : Enjeux et Etat de l'Art
Communication dans un congrès -
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès -
A scalable and generic task scheduling system for communication libraries
Communication dans un congrès -
On the Tree-Width of Planar Graphs
Communication dans un congrès -
Local Computation of Nearly Additive Spanners
Communication dans un congrès -
What Can be Observed Locally? Round-based Models for Quantum Distributed Computing
Communication dans un congrès -
Exploratory Simulation of Cell Ageing Using Hierarchical Models
(Genome Informatics Series. vol. 21, pp. 114--125, 2008)Article de revue -
The Génolevures website is designed around comparative genomic studies of hemiascomycetous yeasts
Communication dans un congrès -
Spécialiser les programmes, spécialiser les langages
(2007)Autre document