A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Les représentations intermëdiaires
1990
Revue de Synthèse
Preserved Fulltext
(les cellules de la memoire de la machine). ...
reposait sur des bases theoriques plus solides que la premiere version de FORTRAN; pour les calculs de gestion, Ie langage COBOL est issu de compromis entre les utilisateurs et des soucis de generalisations ...
doi:10.1007/bf03181029
pmid:27743186
fatcat:rbrpqpqofrebfah73csb5tl234
Introduction aux bases de données et aux fondements de l'exemple relationnel
2005
Mathématiques et sciences humaines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Ce document est un fac-similé de l'édition imprimée. ...
− machines Lisp, Java ou encore Prolog. ...
INTRODUCTION Un système de gestion de bases de données (SGBD) est un instrument informatique pour la conservation et la gestion d'informations. ...
doi:10.4000/msh.2906
fatcat:e3qdcznawfbcpkrmebqyi36jom
Principes De Programmation C
[article]
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Ce fichier présente un support de cours pour l'enseignement de programmation en utilisant le langage C. ...
et la gestion du projet. ...
Des instructions et des
données de programme sont stockées dans des puces
de mémoire pour un accès rapide par le CPU. ...
doi:10.5281/zenodo.1213213
fatcat:vvfjwsadkzhrxajrrhzevmozay
Étude formelle de l'implémentation du code des impôts
[article]
2020
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Le code des impôts définit dans son texte législatif une fonction mathématique permettant de calculer l'impôt sur le revenu d'un foyer fiscal. ...
accompagnent cet article : une formalisation mécanisée de la sémantique du langage M, un compilateur pour le langage M basé sur cette sémantique,ainsi que le prototype d'encodage du code des impôts dans ...
Dans notre interpréteur OCaml, nous préférons exécuter une analyse de dépendance afin d'ordonner -partiellement -les assignations et assertions. ...
doi:10.6084/m9.figshare.12587327.v2
fatcat:odgghsqxknhwdoywqbvq5gnyrm
Contribution au Niveau de l'Approche Indirecte à Base de Transfert dans la Traduction Automatique
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Le futur Si le verbe (to be) est conjugué au futur (MD="will" & VB ="be"), la phrase sera précédée de "سيصبح" ou "ستصبح" selon le genre du sujet (figure 6.4) et l'attribut sera suffixé. ...
Le passé Si le verbe (to be) est conjugué au passé (VBD ="was" ou "were"), la phrase négative sera précédée de يكن" "لم ou تكن" "لم selon le genre du sujet (figure 6.6) et l'attribut sera suffixé ...
Ce mémoire est organisé en sept chapitres : Le chapitre 1 introduit le contexte dans lequel se situent nos travaux de recherche. ...
arXiv:1911.07030v1
fatcat:6q4kqtltlnaotjd4qibyoj2j6m
Liste des organismes et participants : Ont contribué à la rédaction de ce rapport
2004
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
interviews) et de séquences de reportage ou d'interventions (musique, danse, sketchs). ...
Un corpus documentaire joue le rôle de mémoire matérielle constituée par des personnes dans le cadre d'une activité. ...
fatcat:klub6iy6wza4rpagtpovwygceq
Langages et modèles à objets État des recherches et perspectives
1998
Amedeo Napoli. INRIA
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Ce type d'application pose le problème de la représentation de graphes (que l'on retrouve dans les applications à la gestion de réseau, par exemple). ...
Ce dernier chapitre apporte, s'il en était besoin, du grain à moudre aux travaux futurs dans le domaine de la classification. ...
Aristote et le Lycée. Que sais-je?, N o 928. Presses Universitaires de France, Paris, 1988. [Buchheit et al., 1993] M. Buchheit, F.-M. Donini, et A. Schaerf. ...
fatcat:dcxxtia6vfdq3d6d7ezxcyc6ka
Colloque International Discours et Document International Symposium Discourse and Document Fascicule n° 1 2006 Présidents du colloque Comité de programme Comité d'organisation Colloque International : Discours et Document International Symposium: Discourse and Document
2006
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Responsable : Patrice ENJALBERT L'objectif du colloque Discours et Document est de rassembler des chercheurs intéres-sés par ce qu'on peut appeler le « niveau document » en linguistique du discours, en ...
Ce fascicule regroupe les communications pré-sentées au colloque. ...
Bibliography BERNSTEIN M. (1998)
Remerciements NaviLire a reçu un soutien financier en 2005 de l'Ambassade de France au Danemark. NaviTexte est soutenu par un programme ECOS-Sud (U05H01). ...
fatcat:z5qkci6yqvdffldgpjyeqdj7bu
Actes de la 9ème conférence des Technologies de l'Information et de la Communication pour l'Enseignement (TICE 2014) NOUVELLES PÉDAGOGIES, SCIENCES ET TECHNOLOGIES DU NUMÉRIQUE
2014
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Ils confirment ainsi le rôle primordial du tuteur dans la réussite d'une formation à distance. ...
À Maen Juganaikloo, Albert Cau et Christian Michaud pour leur implication dans le projet.
Références ...
Pour espérer que le système ne soit pas victime de la domination de la modalité visuelle et qu'il reste dans leur mémoire plus qu'une trajectoire dans un décor de montagne, pour que la mémorisation des ...
fatcat:s6elri6rgvg7pbjczlnos2jwma
Traitement automatique des langues et apprentissage des langues assisté par ordinateur : bilan, résultats et perspectives
2011
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Dans le cas de dansé pour ont dansé, nous avons renoncé à l'explication d'une erreur phonétique pour l'imparfait dansaient. ...
On trouve aussi le terme de blogue. Terminons par mentionner qu'il existe des outils de gestion de contenu spécialisés dans l'enseignement. ...
Pour faire le tri entre plusieurs solutions, il calcule une proximité de sens à l'aide de WordNet ( §3.5.3). Le correcteur se base également sur des fréquences de mots. ...
doi:10.13097/archive-ouverte/unige:16552
fatcat:zhhhawmhfjd5bhfu23pp7wntdi