271466556

Title	Sources
Algorithmes
Building and implementing a personal data law in the WAEMU space : a comparative study of Burkina Faso, Côte d'Ivoire, Niger, and Senegal.
Conception de systèmes d'exploitation : le cas Linux
Construire et mettre en œuvre un droit des données personnelles dans l'espace UEMOA : étude comparée à partir des cas du Burkina Faso, de la Côte d'Ivoire, du Niger et du Sénégal
CONTRIBUTIONS A LA THEORIE DES MODELES FINIS ET A LA COMPLEXITE DESCRIPTIVE
Le dixième problème de Hilbert : son indécidabilité
Éléments pour une histoire de l'informatique
Fondements des bases de données
Foundations of databases
Hilbert's tenth problem
Imperative characterization of sequential algorithms in general, primitive recursive or polynomial time.
Logic Colloquium '94, Clermont-Ferrand, France 21-30 July 1994 / ed. Patrick Cegielski [et al.]. - Amsterdam, 1997.
Logic colloquium'94 : selected papers
Ma collaboration avec Julia Robinson
Modélisation et simulation informatique, mathématiques, sciences pour l'ingénieur, biologie, biochimie
Pedagogical formal and functional systems.
Quelques contributions a l'etude des arithmetiques faibles
Some contributions in mathematical logic and automata theory.
Studies in weak arithmetics.
Systèmes formels et systèmes fonctionnels pédagogiques
Théorie élémentaire de la multiplication des entiers naturels

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

Eyrolles ‎(8)
CSLI Publications ; Société mathématique de France ‎(8)
North-Holland ‎(5)
CSLI Publications ; Presses Universitaires du Pôle de Recherche et d'Enseignement Supérieur Paris-Est ‎(5)
Masson ‎(4)
l'Harmattan ‎(4)
Vuibert informatique ‎(3)
CSLI Publications, Center for the Study of Language and Information ‎(2)
Cyberlibris ‎(1)
CSLI Publ. ‎(1)

VIAF