8665 articles  [version française]
.:. Browse > Document list .:.
8665 documents ordered by :
First Previous ... 832 - 833 - 834 - 835 - 836 - 837 - 838 ... Next Last
fulltext access Controle de domaines temporels
Bonnans J. F., Moreno C., Saguez C.
N° RR-0308 (1984) [inria-00076249 - version 1]
fulltext access Comparaison numerique entre les solutions bidimensionnelles et tridimensionnelles d'un probleme de plaque encastree
Vidrascu M.
N° RR-0309 (1984) [inria-00076248 - version 1]
fulltext access Digital search trees revisited
Flajolet P., Sedgewick R.
N° RR-0311 (1984) [inria-00076246 - version 1]
fulltext access Probabilistic counting algorithms for data base applications
Flajolet P., Martin G. N.
N° RR-0313 (1984) [inria-00076244 - version 1]
fulltext access CRIQUET: un outil de base pour construire des systemes experts
Vignard P.
N° RR-0316 (1984) [inria-00076241 - version 1]
fulltext access Systèmes de processus communicants et interprétation parallèle de langages fonctionnels
Gamatié B.
N° RR-0320 (1984) [inria-00076237 - version 1]
fulltext access Modélisation avec pivot pour une loi générale
Pellaumail J.
N° RR-0321 (1984) [inria-00076236 - version 1]
fulltext access Proofs of partial correctness for attribute grammars and recursive procedures
Courcelle B., Deransart P.
N° RR-0322 (1984) [inria-00076235 - version 1]
fulltext access Modelling data dependencies in logic programs by attribute schemata
Deransart P., Maluszynski J.
N° RR-0323 (1984) [inria-00076234 - version 1]
fulltext access The Esterel synchronous programming language and its mathematical semantics
Berry G., Cosserat L.
N° RR-0327 (1984) [inria-00076230 - version 1]