VIAF

Virtual International Authority File

Search

Di Cosmo, Roberto, 1963- NUKAT Center of Warsaw University Library ISNI Library of Congress/NACO National Library of France German National Library

Di Cosmo, Roberto RERO - Library Network of Western Switzerland Sudoc [ABES], France

Roberto Di Cosmo informaticien italien Wikidata

VIAF ID: 114201219 (Personal)

Permalink: http://viaf.org/viaf/114201219

ISNI: 0000  0001  1006  2430 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (12)

Open Section Close SectionWorks

Title Sources
Une approche formelle à la synthèse des applications distribuées et leur déploiement automatique, français Sudoc [ABES], France
Une étude des sommes fortes isomorphismes et formes normales Sudoc [ABES], France
Etude formelle des distributions de logiciel libre formal study of Free Software distributions Sudoc [ABES], France
Généralisation des jeux combinatoires et applications aux langages logiques Sudoc [ABES], France
Gestion des bibliothèques tierces dans un contexte de maintenance logicielle Sudoc [ABES], France
hold-up planétaire la face cachée de Microsoft RERO - Library Network of Western Switzerland National Library of France Sudoc [ABES], France
Isomorphisms of types : from [lambda]-calculus to information retrieval and language design German National Library National Library of France NUKAT Center of Warsaw University Library Library of Congress/NACO RERO - Library Network of Western Switzerland Sudoc [ABES], France
Linux embarqué nouvelle étude de cas : traite d'OpenEmbedded Sudoc [ABES], France
Manifeste pour une création artistique libre dans un internet libre Sudoc [ABES], France
A study of strong sums : isomorphisms and normal forms. Sudoc [ABES], France
Third-party libraries management in a software maintenance context. Sudoc [ABES], France
Vers une certification de l'extraction de coq Sudoc [ABES], France

Open Section Close Section Selected Co-authors

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

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section History of VIAF ID:114201219 (12)