Вы здесь

Главная

INRIA

Связанные издания:

Using Conceptual Clustering to Learn about Function Structure and Behaviour in Design
Using Static Analysis to Derive Imperative Code from ALPHA
VM_pRAY: An Efficient RAY Tracing Algorithm on a Distributed Memory Parallel Computer
Weighted Systems of Equations
When all the Observers of a Distributed Computation do Agree
Yalta: un langage pour la teleoperation
Метод и средства автоматизации построения моделей активных систем
П -universality of some propositional logics of concurrent programs
Франко-русский институт по информатике и прикладной математике имени А.М.Ляпунова