Griffiths, Michael, 1940-
Griffiths, Michael, 1940-2022, chercheur en informatique
Griffiths, M.
Griffiths, M. (Michael), 1940-
Griffiths, Michael, informaticien
Griffiths, M. (Michael)
VIAF ID: 44327628 ( Personal )
Permalink: http://viaf.org/viaf/44327628
Preferred Forms
-
-
- 100 1 _ ‡a Griffiths, M. ‡q (Michael)
-
- 100 1 0 ‡a Griffiths, M. ‡q (Michael), ‡d 1940-
-
-
-
- 100 1 _ ‡a Griffiths, Michael ‡d 1940-
- 100 1 _ ‡a Griffiths, Michael ‡d 1940-...
-
-
- 100 1 _ ‡a Griffiths, Michael, ‡d 1940-2022, ‡c chercheur en informatique
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Algorithmique et programmation | |
Analyse déterministe et compilateurs | |
Architecture des systèmes d'exploitation | |
Compiler Construction : An Advanced Course | |
Comprendre la compilation | |
Contribution à l'algorithmique non numérique dans les ensembles ordonnés | |
Contribution à l'étude de la simulation automatique du raisonnement | |
CONTRIBUTION TO THE DEFINITION AND MODELISATION OF AN EXPERT SYSTEM IN NUMERICAL CALCULATION. IMPLEMENTATION OF A SYSTEM EXPERT CODE GENERATOR. | |
Contribution to the mechanical simulation of reasoning. | |
Etude d'éléments fondamentaux des langages de programmation : contrôle de l'utilisation des objets et primitives d'exécution | |
EVOLUTION DE L'INFORMATIQUE DANS LE DOMAINE DE LA MODELISATION PHYSIQUE | |
EVOLUTION OF COMPUTING IN PHYSICAL MODELLING. | |
Extensions syntaxiques dans un contexte LL(1) | |
F2-VMDL : un gestionnaire de versions de schémas pour le S.G.B.D Farandole II | |
Grammar transformation as an aid to compiler production | |
The GRIFFON functional database programming language. | |
An incremental and interactive Algol compiler | |
Langages algorithmiques et compilateurs : section C4 | |
De l'optimisation des programmes | |
Mécanismes de base dans les systèmes superviseurs : conception et réalisation d'un système à accès multiples | |
A MEET-GRAPH TO MODELIZE AND TO DEAL WITH TEMPORAL CONSTRAINTS EXPRESSED BY INTERVALS. | |
Méthodes pour la mise au point de grammaires LL (1) | |
Méthodologie d'écriture de compilateurs : une expérience du langage ALGOL 68 | |
Méthodologie pour la construction de systèmes CAO : SIGMA-CAO : une méthode globale pour la spécification, la mise en oeuvre et l'utilisation de systèmes intégrés pour la conception assistée par ordinateur | |
UNE MODELISATION PAR LE GRAPHE DE LA RELATION MEET POUR TRAITER DES CONTRAINTES TEMPORELLES EXPRIMEES A L'AIDE D'INTERVALLES | |
Optimisation d'un compilateur incrémental et conversationnel de PL-1 | |
Outils de mise au point pour langages de haut niveau : association de modules et contrôle de l'exécution | |
Parallelisation of algorithms for production management. | |
Program construction : international summer school | |
The role of programming in teaching informatics : proceedings of the IFIP TC3 Working Conference on Teaching Programming, Paris, France, 7-9 May 1984 | |
Séminaire de programmation : année 1970-71 | |
Software Engineering : An Advanced Course | |
Système couplé PDP-8/IBM-360 pour l'assemblage et la transmission de programmes | |
Techniques algorithmiques pour l'intelligence artificielle | |
Travaux d'automatisation de processus linguistiques par le groupe informatique de Nancy, 1979-1980 [Texte imprimé] | |
Zola : a language to represent and to operationalise conceptual models. |