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
C
compilation
Déposer une
ressource
28
résultats :
compilation
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
compilation
Affiner ma recherche
OK
1
2
3
1
2
3
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.
28
résultats
page 3
sur 3
résultats
21 à 28
Programmation en langage C
Description
:
Ce cours propose les bases du langage C au travers de 7 chapitres consacrés chacun à un aspect du langage. Complété par une présentation de la librairie standard et du débogueur GDB, le cours propose également cinq séries d'exercices de difficulté croissante.
Mots clés
:
fuscia, langage C, langage impératif, variable, type, fonction, pointeur, fichier, compilation, instruction, makefile, débogueur GDB
Date
:
01-05-2009
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
En savoir plus
Description complète
Programmation en langage C
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 nom et l'auteur
Description
:
Le séminaire étudie, à partir de cas particuliers, le double et contradictoire mouvement de rassemblement des textes dans un même ouvrage (bibliothèques, recueils, œuvres complètes, etc.) et de dissémination des œuvres (sous formes de citations, lieux communs, extraits, morceaux choisis).
Mots clés
:
righting copy, « le chevalier aux pilon flamboyant » "les deux nobles cousins", « édouard II », « le lieu commun comme sublime », « le viol de lucrèce », « le parnasse anglais », « les essais », « le belvédère », recueil de lieux communs, homosociabilité, dissémination, marquage typographique, ...
Date
:
14-12-2006
Droits
:
Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
En savoir plus
Description complète
Le nom et l'auteur
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
Doit-on réapprendre à compter aux ordinateurs ? (1996)
Description
:
Générique Auteur : Jean-François Colonna Réalisateur : Alain Longuet (c) Ecole Polytechnique France 1996
Mots clés
:
calcul, compilation, flottant, flottante, numérique, ordinateur
Date
:
03-01-1996
Droits
:
Droits réservés à l'éditeur et aux auteurs.
En savoir plus
Description complète
Doit-on réapprendre à compter aux ordinateurs ? (1996)
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
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Description
:
Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Mots clés
:
compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche
Date
:
08-10-2009
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
En savoir plus
Description complète
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
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
Introduction à la programmation
Description
:
Cours d'initiation visant à : - Présenter l'activité de programmation - Introduire et justifier la notion d'algorithme - Donner quelques principes méthodologiques - Donner quelques repères fondamentaux (complexité d'un algorithme, langages)
Mots clés
:
programmation, algorithmique, énoncé, codage, spécification, langage, programme, compilation, langage interprété
Date
:
01-01-2007
Droits
:
Cours en accès libre, propriété de son auteur et de l'INSA Rouen
En savoir plus
Description complète
Introduction à la programmation
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
Mon programme est-il bien protégé contre les cyberattaques ?
Description
:
Écrire du code sûr et s’assurer que celui-ci satisfait des propriétés de sécurité est nécessaire pour contrer d’éventuelles cyberattaques. Mais ce n’est pas suffisant. Encore faut-il que le programme qui sera exécuté par l’ordinateur soit sûr. Vous avez bien lu : écrire un programme sûr et s’assurer ...
Mots clés
:
sécurité programme, sécurité compilateur, langage programmation
Date
:
13-12-2018
Droits
:
Ce document est diffusé sous licence Creative Commons : 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
Mon programme est-il bien protégé contre les cyberattaques ?
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
Théorie des langages
Description
:
Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : ...
Mots clés
:
théorie des langages, langage formel, compilation, langage de programmation, automate fini, grammaire syntagmatique, analyseur, calculabilité
Date
:
01-09-2011
Droits
:
Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.
En savoir plus
Description complète
Théorie des langages
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
Productions_UL
Managing Java-based Systems with JMX - Basic Instrumentation
Description
:
Olivier Festor, Professeur des universités à l’Université de Lorraine, nous propose de consacrer cette leçon à la couche d'instrumentation d'une application, à l'aide de la technologie JMX (Java Management eXtensions). Cette vidéo est la deuxième leçon de la partie du cours consacrée à l'instrum ...
Mots clés
:
instrumentation, construction, objet de supervision, exploitation, enregistrement, web, interface, serveur, introspection, écriture, attribut, suffixe, préfixe, compilation, composition dynamique
Date
:
2017
Droits
:
CC BY-NC-ND
En savoir plus
Description complète
Managing Java-based Systems with JMX - Basic Instrumentation
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
1
2
3
Rebondir