10 résultats : logiciel libre

Recherche en cours

Par mots-clef = logiciel libre

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

10 résultats

page 1 sur 1

résultats 1 à 10

Preuves de programmes en coq

Description : Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...

Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

Les logiciels de traitement d'images radar open source (Télédétection Radar)

Description : Cours vidéo de l'ensemble multimédia "Télédétection radar" Partie spécifique consacrée aux logiciels libres utilisés en télédétection radar.

Mots clés : teledetection, image RADAR, information géographique numérique, géométrie d'image, acquisition de données, traitement d'images, logiciel libre, Nest, PolSARpro, MapReady, procédure de traitement

Date : 18-09-2013

Droits : Licence : etalab (licence ouverte compatible CC-BY 2.0)

Les logiciels de traitement d'images radar open source (Télédétection Radar)

Ajouter à mon panier

Accéder au document

Tenir compte du caractère évolutif des TIC (référentiel C2i : module A1)

Description : Ce module, très court, est un module transversal sur certaines questions générales que l'on doit se poser autour de l'utilisation des Nouvelles Technologies de l'Information et de la Communication actuellement. Dans ce module, vous trouverez donc des réponses aux questions suivantes : Que sont les ...

Mots clés : C2i, TIC, navigation Internet, logiciel, logiciel libre, interopérabilité, format de fichier ouvert, format propriétaire, usages informatiques, Technologies l'Information et de la Communication, certification informatique et internet

Date : 02-05-2007

Droits : L'ensemble des modules mis à votre disposition sur le site C2IMES sont sous licence Creative Commons by-nc-sa v2.0. Cette licence permet une utilisation libre des ressources pour un usage non commercial et à condition de conserver la paternité de la ressource.

Tenir compte du caractère évolutif des TIC (référentiel C2i : module A1)

Ajouter à mon panier

Accéder au document

Le logiciel libre et ouvert : révolution ou évolution ?

Description : En quoi la dynamique du logiciel libre et ouvert facilite-t-elle la création d’un dialogue permanent entre recherche, industrie et société ?

Mots clés : logiciel libre, interopérabilité, transfert de technologie, propriété intellectuelle, open source, fuscia

Date : 28-09-2005

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Le logiciel libre et ouvert : révolution ou évolution ?

Ajouter à mon panier

Accéder au document

À propos du crowdsourcing

Description : Utiliser les internautes pour résoudre des problèmes, c'est le principe du crowdsourcing. David Gross-Amblard nous parle de cette pratique dans cet épisode du podcast audio.

Mots clés : crowdsourcing, travail collaboratif, logiciel libre, encyclopédie collaborative, science participative, internautes, limites crowdsourcing, fuscia

Date : 18-12-2012

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

À propos du crowdsourcing

Ajouter à mon panier

Accéder au document

Les logiciels libres, une chance pour les pays en développement

Description : La dématérialisation des éléments de la technologie est une occasion exceptionnelle pour les pays en développement, car l’économie de l’immatériel leur est bien plus accessible que l’économie du matériel.

Mots clés : logiciel libre, modèle économique, pays en voie de développement, maîtrise technologique, éducation, fuscia

Date : 03-08-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Les logiciels libres, une chance pour les pays en développement

Ajouter à mon panier

Accéder au document

CULTURE NUMÉRIQUE : 06 Les logiciels libres

Description : «Free, as in free-speech, not free-beer» Les logiciels sont des biens technologiques très particuliers, car ils permettent l'accès aux différentes données. La mainmise sur le secteur du logiciel pourrait avoir des conséquences catastrophiques sur les mémoires des entreprises et des sociétés. Les ...

Mots clés : culture numérique, cyberculture, logiciels libres

Date : 16-10-2009

Droits : Droits réservés à l'éditeur et aux auteurs. Ce document pédagogique vous a intéressé... partagez-le, il appartient au monde des ressources éducatives ouvertes (OER : Open Educational Resources) Licence Creative Commons, by-nc,sa

CULTURE NUMÉRIQUE : 06 Les logiciels libres

Ajouter à mon panier

Accéder aux documents

Culture numérique 2012-2013 > 07 : (2ème partie) Logiciels libres

Description : Cours Culture numérique

Mots clés : open source, culture numérique, logiciels libres, mouvement des logiciels libres, GNU, Richard Stallman, General Public License

Date : 23-11-2012

Culture numérique 2012-2013 > 07 : (2ème partie) Logiciels libres

Ajouter à mon panier

Accéder aux documents

L'interopérabilité - Informatique et société -

Description : Définition du terme d'interopérabilité. Présentation des risques inhérents aux environnements et formats de données fermés

Mots clés : données, formats ouverts, logiciels libres, code source

Date : 2020

Droits : Licence creative commons de type 3:http://creativecommons.org/licenses/by-nc-sa/3.0/deed.fr - pour plus d'information contacter l'auteur

L'interopérabilité - Informatique et société -

Ajouter à mon panier

Accéder au document

Etre un•e utilisateur•rice de R résilient•e - partie 2 : Se tenir au courant

Description : Se tenir au courant Apprendre R est une excellente idée pour réaliser différentes tâches au travail. Cependant, même une fois passé·e au-delà de «Bonjour Monde», vous continuerez régulièrement à avoir des problèmes dans R... Triste constat ? Non, car vous apprendrez aussi à devenir un·e utilisa ...

Mots clés : analyses statistiques, logiciel libre, fonctionnalité logicielle

Date : 05-02-2021

Etre un•e utilisateur•rice de R résilient•e - partie 2 : Se tenir au courant

Ajouter à mon panier

Accéder aux documents

Rebondir