VIAF

Virtual International Authority File

Search

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

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

Di Cosmo, R. German National Library

VIAF ID: 114201219 (Personal)

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

ISNI-test: 0000  0001  1006  2430 

Open Section Close Section Preferred Forms

 

 

 

 

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

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-test RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of France
Isomorphisms of types: from [lambda]-calculus to information retrieval and language design NUKAT Center of Warsaw University Library Library of Congress/NACO German National Library xR Extended Titles-test 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 About

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