Arnold, André 1945-
Arnold, A. (André), 1945-
Arnold, André
Arnold, A.
André Arnold
VIAF ID: 49268739 ( Personal )
Permalink: http://viaf.org/viaf/49268739
Preferred Forms
- 100 0 _ ‡a André Arnold
-
-
-
-
- 100 1 0 ‡a Arnold, A. ‡q (André), ‡d 1945-
-
-
-
- 100 1 _ ‡a Arnold, André ‡d 1945-
- 100 1 _ ‡a Arnold, André, ‡d 1945-....
-
- 100 1 _ ‡a Arnold, André
-
- 100 1 _ ‡a Arnold, André ‡d 1945-
4xx's: Alternate Name Forms (9)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales | |
Les arbres en algèbre et en programmation : troisième Colloque de Lille : tenu a Lille les 16, 17, 18 février 1978 | |
Automata theory: distributed models 11.01. - 15.01.93 ; [report on the Dagstuhl-Seminar "Automata Theory: Distributed Models"] | |
C3 : Actes | |
CAAP '90 | |
CAAP '90 : 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings | |
Choice and integration of a parallel processors network in the real time acquisition system of the 4π multidetector DIAMANT : modelling, implementation and benchmark of the software allocated onto this network. | |
Choix et intégration d'un réseau de processeurs parallèles dans le système d'acquisition temps réel du multidétecteur 4π DIAMANT : modélisation, réalisation, et évaluation du logiciel implanté sur ce réseau | |
Cómo jugar con su hijo | |
Complexité d'algorithmes de séparation de graphes pour des implémentations séquentielles et réparties de l'élimination de Gauss | |
Complexity bounds of separator theorems on graphs for sequential and distributed implementations of gaussian elimination. | |
Conception et réalisation d'un vérificateur de modèles AltaRica | |
Construction and analysis of transition systems with MEC | |
Contribution à l'étude des monoi͏̈des de commutations | |
Contribution au test de protocoles OSI | |
Contribution to the study of communicating systems and of mutual exclusion algorithms. | |
Correctness of a centralized implementation of csp. | |
Dépliages efficaces de réseaux de Petri | |
Discrete event modeling and analysis for systems biology models | |
DSS, data-synchronized system. | |
Efficient unfoldings of Petri nets. | |
EQUATIONS AND REWRITING SYSTEMS IN THE FREE MONOID: A COMMON APPROACH. | |
Equations et systèmes de réécritures dans le monoïde libre : une approche commune | |
Étude de la reconnaissabilité des langages rationnels de mots infinis | |
Forêts algébriques strictes et bimorphismes | |
Handbuch der Pflanzenphysiologie | |
Implémentation centralisée de CSP : étude théorique et réalisation | |
Mathematics for computer science | |
Les mathématiques à la portée de l'ordinateur | |
Mathématiques pour l'informatique | |
The Mec software : fonctional description and internals. | |
The Metric space of infinite trees : algebraic and topological properties | |
Modélisation et implantation d'un système de raisonnement à partir de littérature médicale : application à la cancérologie | |
Modélisation et traitement des connaissances sur le temps et les tâches médicales pour les systèmes experts en cancérologie | |
Modelling and managing knowledge on time and medical tasks for knowledge based systems in oncology. | |
Non deterministic recursive program schemes | |
Pictures and stories from forgotten children's books | |
Pièces faciles | |
Programmes parallèles : modèles et validation | |
Propriétés de la communication à travers des canaux FIFO | |
Propriétés logiques du non déterminisme et μ-calcul modal | |
Réalisation de l'outil Mec : spécification fonctionnelle et architecture | |
Respiratory enzymes | |
Rudiments of µ-calculus | |
SOME PROPERTIES OF COMMUNICATION THROUGH FIFO CHANNELS. | |
Die sportärztliche Untersuchung | |
SSD, système synchronisé par les données | |
Study of the recognition problems for regular languages on infinite words. | |
Synthèse pour une logique temps-réel faible. | |
Synthesis for a weak real-time logic | |
Systèmes de transitions finit et sémantique des processus communicants. | |
Systèmes d'équations dans le magmoïde : ensembles rationnels et algébriques d'arbres | |
Théorie des magmoi͏̈des | |
The World book of children's games |