Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
L
logiciels libres
Déposer une
ressource
10
résultats :
logiciels libres
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
logiciels libres
Affiner ma recherche
OK
1
1
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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
En savoir plus
Description complète
Preuves de programmes en coq
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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)
En savoir plus
Description complète
Les logiciels de traitement d'images radar open source (Télédétection Radar)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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.
En savoir plus
Description complète
Tenir compte du caractère évolutif des TIC (référentiel C2i : module A1)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Le logiciel libre et ouvert : révolution ou évolution ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
À propos du crowdsourcing
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
Les logiciels libres, une chance pour les pays en développement
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
CULTURE NUMÉRIQUE : 06 Les logiciels libres
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
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-sa
En savoir plus
Description complète
Culture numérique 2012-2013 > 07 : (2ème partie) Logiciels libres
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
En savoir plus
Description complète
L'interopérabilité - Informatique et société -
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
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
Droits
:
Droits réservés à l'éditeur et aux auteurs. ccIned 2021 - Tous droits réservés
En savoir plus
Description complète
Etre un•e utilisateur•rice de R résilient•e - partie 2 : Se tenir au courant
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
1
Rebondir