291 research outputs found
OPEN/CAESAR : an open software architecture for verification, simulation and testing
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
Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel
Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Rapport d'activite 1992. Annexe technique Programme 6 : calcul scientifique, modelisation et logiciel numerique
Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.6 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Variational approach of a magnetic shaping problem
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
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
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
Rapport d'activite 1990. Annexe technique Programme 5 : traitement du signal, automatique et productique
Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.5 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Rapport d'activite 1992. Annexe technique Programme 4 : robotique, image et vision
Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Rapport d'activite 1991. Annexe technique Programme 4 : robotique, image et vision
Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1991 n.4 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Rapport d'activite 1991. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel
Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1991 n.2 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
- …