291 research outputs found

    OPEN/CAESAR : an open software architecture for verification, simulation and testing

    No full text
    Theme 1 - Reseaux et systemes. Projet VASYAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1998 n.3352 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

    Variational approach of a magnetic shaping problem

    No full text
    SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1352 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

    Document description language INTERPRESS

    No full text
    SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1990 n.120 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

    Elimination of redundancy from functions defined by schemes

    No full text
    Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 n.1429 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
    • …
    corecore