Inria Websites
Data Visualization Software | Tulip
Tulip is a software system dedicated to the visualization of huge graphs. It enables, 3D visualizations, 3D modifications, plugin support, support for clusters and navigation, and automatic graph drawing.
Not Applicable
$
8.95
Locativité et Interactivité en Logique, linguistique et informatique -
Le projet LOCI (Locativité et interaction en linguistique, logique et informatique) s’organise autour de trois concepts mis en avant dans l’approche ludique : la locativité, la procéduralité et la normativité. Ces concepts sont particulièrement opérants dans l'étude du signe et de la signification, qu'il s'agisse de la
6,111,172
$
240.00
Grigori Fursin's Homepage
Information about Grigori Fursin, homepage, research, cv, hobbies, social
Not Applicable
$
8.95
€SBC: Your partner in international business development
Unique interlocutor of IT companies, the ESBC-network advises start-ups towards a growth strategy on an international level in Americas, Asia and Europe. Our assistance starts from scratch to an IPO.
Not Applicable
$
8.95
Alt-Ergo by OCamlPro - Main Page
Alt-Ergo is an open-source automatic solver of mathematical formulas based on Satisfiability Modulo Theories (SMT). It is used by tools such as Why3, Frama-C, The Spark toolset, Caveat, EasyCrypt and Cubicle. AltErgo is maintained and distributed by the OCamlPro company since September 2013.
1,289,466
$
960.00
