-
An optimal triangulation for second order elliptic problems
Disponible dans les fichiers attachés à ce document -
A survey on attribute grammars.Part III classified bibliography
Résumé disponible dans les fichiers attachés -
Calculs de processus et verification
Résumé disponible sur le PDF -
Une methode particulaire pour les equations non lineaires de diffusion convec...
Résumé disponible dans les fichiers attachés -
Dynamic behaviour of an unreliable two-machines transfer line
This dataset has no description
-
Conflicts between 2 vector transfers in Cray-XMP computers
This dataset has no description
-
Natural semantics on the computer
Disponible dans les fichiers attachés à ce document -
Average case lower bounds on the construction and searching of partial orders
This dataset has no description
-
Stabilite du schema de Glimm Roe pour les systemes de lois de conservation
Résumé disponible dans les fichiers attachés -
A model to analyse the causality in synchronous real time systems
Disponible dans les fichiers attachés à ce document -
Dérivation d'algorithmes distribués d'arbitrage
Disponible dans les fichiers attachés à ce document -
Précision numérique dans le cumul d'un grand nombre de termes
Disponible dans les fichiers attachés à ce document -
Petri nets and algebraic calculi of processes
Disponible dans les fichiers attachés à ce document -
Évaluation récursive des grammaires attribueés : deux implantations
Résumé disponbile dans les fichiers attachés -
Application de CEYX à la construction de programmes sous forme de machines vi...
Disponible dans les fichiers attachés à ce document -
Ordonnancement de transmissions périodiques
This dataset has no description
-
Continuation de solutions stationnaires et périodiques d'équations modélisant...
Résumé disponible dans les fichiers attachés -
Constructions:a higher order proof system for mechanizing mathematics
This dataset has no description
-
Mathematical methods in the analysis of algorithms and data structures
This dataset has no description
