76.

01 janv. 2013

Logiciel

Pff library
Pff library

BOLDO, Sylvie

77.

01 janv. 2014

Logiciel

PAXQuery
massively parallel processing of XQuery queries

CAMACHO RODRIGUEZ, Jesus

78.

01 janv. 2012

Logiciel

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

79.

01 janv. 1970

Logiciel

Pactole
Formalisation en Coq de modèles et d'algorithmes d'essaims de robots mobiles.

BALABONSKI, Thibaut

80.

27 janv. 2015

Logiciel

Orphea
Pseudo-knot RNA sequence finder

AMAR, Patrick

81.

01 janv. 2007

Logiciel

OptimAX
Optimiseur algébrique pour Active XML

ABITEBOUL, Serge

82.

01 janv. 2013

Logiciel

OpenWP
OpenWP

CAPPELLO, Franck

83.

10 févr. 2014

Logiciel

OpenScop
OpenScop

BASTOUL, Cédric

84.

01 janv. 2017

Logiciel

OntoEvent-B
Générateur de contextes Event-B à partir des ontologies

AIT-SADOUNE, Idir

85.

01 juin 2000

Logiciel

OntoClass & OntoQuery
Moteur de réécriture de requêtes en termes de vues pour la mise en oeuvre de médiateurs

GOASDOUE, François

86.

04 févr. 2014

Logiciel

ocamlgraph
bibliothèque de graphes pour Ocaml

FILLIÂTRE, Jean-Christophe

87.

24 août 2009

Logiciel

Núcleo
Boîte à outils núcleo

CHAPUIS, Olivier

88.

03 oct. 2014

Logiciel

NT2
The Numerical Template Toolbox

FALCOU, Joël

89.

07 août 2009

Logiciel

NestedAlign
Pairwise RNA secondary structure comparison

DENISE, Alain

90.

01 janv. 2014

Logiciel

Nautilus Analyzer
Nautilus Analyzer

HERSCHEL, Mélanie

91.

01 janv. 2014

Logiciel

myNRC2.0
Smart memory allocator

LACASSAGNE, Lionel

92.

01 janv. 2014

Logiciel

MultiBoost
MultiBoost

KÉGL, Balázs

93.

01 mai 2007

Logiciel

MPICH-V
Interface àpassage de messages pour les ressources volatiles

HERAULT, Thomas

94.

01 janv. 2014

Logiciel

MoGo
Computer-Go program

TEYTAUD, Olivier

95.

17 juil. 2014

Logiciel

ModHelX
ModHel'X - A framework for heterogeneous modeling

BOULANGER, Frédéric

96.

01 janv. 2014

Logiciel

Mlpost
Mlpost: une interface Objective Caml pour Metapost

FILLIÂTRE, Jean-Christophe

97.

01 janv. 2013

Logiciel

Metisse
Metisse: système de fenêtrage pour l\'exploration de nouveaux environnements graphiques interactifs

CHAPUIS, Olivier

98.

01 janv. 2014

Logiciel

Metis
Metis

TEYTAUD, Olivier

99.

15 oct. 2012

Logiciel

Metaphore
Metaphore

FALCOU, Joël

100.

01 août 2009

Logiciel

MESAM
MESAM

REYNAUD, Chantal