Home
Browse
By authors
By publications
By year
Domain list
By document type
Last articles
Search
Search
Advanced search
Search by id
Services
Help
Export
HalTools
28972 articles – 22398 references
[version française]
.:.
Browse
>
By year
> 1988 .:.
215 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
-
6
-
7
...
Implementation of the Atkin-Goldwasser-Kilian primality testing algorithm
Morain F.
N° RR-0911 (1988) [inria-00075645 - version 1]
Simulation d'ecoulements turbulents a moyenne instationnaire
Begue C., Cardot B., Pironneau O.
N° RR-0914 (1988) [inria-00075642 - version 1]
On the stability and convergence of higher order mixed finite element methods for second order elliptic problems
Suri M.
N° RR-0915 (1988) [inria-00075641 - version 1]
Compatibility and consensus in numerical taxonomy
Diday E.
N° RR-0917 (1988) [inria-00075638 - version 1]
Les schemas d'action dans des activites professionnelles. Utilisation et construction de nouveaux schemas dans des taches administratives
Sebillotte S.
N° RR-0918 (1988) [inria-00075637 - version 1]
Reachability, observability, minimality and extendibility for two-point boundary-value descriptor systems
Nikoukhah R., Willsky A.S., Levy B. C.
N° RR-0920 (1988) [inria-00075635 - version 1]
Normalization and linearity in unification logic
Le Chenadec P.
N° RR-0922 (1988) [inria-00075633 - version 1]
Mailleur 3D en topologie "cylindrique"
George P. L., Golgolab A.
N° RT-0100 (1988) [inria-00070066 - version 1]
Proceedings of the Workshop on Parallel and Distributed Algorithms Bonas, France
Jézéquel J.-M., Adam M., Ingels P., Jard C., Raynal M.
Dans Experimentation on parallel machines is helpful to analyse distributed algorithms (1988) [hal-00765038 - version 1]
Vers des outils formels de description des taches orientes conception d'interfaces
Scapin D. L.
N° RR-0893 (1988) [inria-00075662 - version 1]