VIAF

Virtual International Authority File

Search

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

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

Roberto Di Cosmo Wikidata

Di Cosmo, R. German National Library

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 (11)

Open Section Close SectionWorks

Title Sources
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
Hold-up planétaire, la face cachée de Microsoft. xR Extended Titles RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of France
Isomorphisms of types : from ?calculus to information retrieval and language design NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library xR Extended Titles RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of 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
Vers une certification de l'extraction de coq Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries 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 (25)