VIAF

Virtual International Authority File

Search

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

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

Roberto Di Cosmo informaticien italien Wikidata ISNI

Cosmo, Roberto Di National Library of Portugal

VIAF ID: 114201219 (Personal)

Permalink: //viaf.org/viaf/114201219

ISNI: 0000  0001  1006  2430 

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
Analyse de dépendances ML pour les évaluateurs de logiciels critiques. Sudoc [ABES], France
Une approche formelle à la synthèse des applications distribuées et leur déploiement automatique, français Sudoc [ABES], France
<O >assalto planetário <a >face oculta da Microsoft National Library of Portugal
Certification of a Tool Chain for Deductive Program Verification 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 National Library of Israel German National Library National Library of France BIBSYS 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
Open Source Systems: Towards Robust Practices : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings Sudoc [ABES], France
A study of strong sums : isomorphisms and normal forms. Sudoc [ABES], France
Subtyping by Constraint Saturation, Theory and Implementation. Sudoc [ABES], France
Third-party libraries management in a software maintenance context. Sudoc [ABES], France
Transformation of topological collections of arbitrary dimension : application to the modeling do dynamical systems. 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 (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

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