VIAF

Virtual International Authority File

Search

Rioboo, Renaud ISNI Sudoc [ABES], France

VIAF ID: 205074649 (Personal)

Permalink: http://viaf.org/viaf/205074649

ISNI: 0000  0003  5804  9176 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Initiation aux reseaux sous UNIX : convention UNIX Sudoc [ABES], France
Intelligent Computer Mathematics 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings Sudoc [ABES], France
Programmation événementielle et programmation à base de règles pour le développement d'applications réactives sensibles au contexte.. Sudoc [ABES], France
Three studies on implementation of matrices FoCaL, quantitative proofs and proof reuse. Sudoc [ABES], France
Trois études sur l'implantation des matrices en FoCaL, les preuves quantitatives et la réutilisation des preuves / Yves Noyer ; sous la direction de Renaud Rioboo, 2010 Sudoc [ABES], France
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications. Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (2)

Open Section Close Section About

Open Section Close Section History of VIAF ID:205074649 (2)