ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

couverture du numéro

LANGAGES APPLICATIFS. DÉVELOPPEMENTS ET APPLICATIONS
 LISTE DES ARTICLES POUR LE VOL 26/9 - 2007
SOMMAIRE  [GRATUIT]
- pp.1064-1064
Éditorial  [GRATUIT]
- pp.1065-1066
Typer la désérialisation sans sérialiser les types
Grégoire HENRY, Michel MAUNY, Emmanuel CHAILLOUX - pp.1067-1090
Un moniteur de référence sûr d'une base de données
Julien BLOND, Charles MORISSET - pp.1091-1110
Une bibliothèque Coq pour le traitement des langues naturelles
Houda ANOUN - pp.1111-1136
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs
Julien COHEN - pp.1137-1167
Représentation et manipulation de structures topologiques dans un langage fonctionnel
Antoine SPICHER, Olivier MICHEL - pp.1169-1194
Chronique : Comment gagner la confiance en C ?  [GRATUIT]
Sandrine BLAZY - pp.1195-1200
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier