André, Pascal 1967-...
André, Pascal, 1967-...., chercheur en informatique
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
André, Pascal, informaticien
VIAF ID: 227068365 (Personal)
Permalink: http://viaf.org/viaf/227068365
Preferred Forms
Works
| Title | Sources |
|---|---|
| 3e, 14-15 ans |
|
| 3ème |
|
| 4e, 13-14 ans |
|
| 4ème |
|
| 5e, 12-13 ans |
|
| 6e, 11-12 ans |
|
| Architecture d'entreprise : alignement des cartographies métiers et applicatives du système d'information |
|
| ASPECTS PROBABILISTES DU PROBLEME DE LA SATISFACTION D'UNE FORMULE BOOLEENNE, ETUDE DES PROBLEMES SAT, NUMBER-SAT ET MAX-SAT |
|
| Astrolabe l'aventure océanienne |
|
| CE1, 7-8 ans |
|
| CE2, 8-9 ans |
|
| CM1, 9-10 ans |
|
| CM2, 10-11 ans |
|
| Composants, services et aspects : techniques et outils pour la vérification |
|
| CONTRIBUTION A LA REALISATION D'UN SYSTEME AUTOMATISE DE CONDITIONNEMENT DU STOCK PHARMACEUTIQUE |
|
| Contribution à l'élaboration d'un processus d'extraction des architectures logicielles : Méta-modèle, méthode et outil |
|
| Contribution to the specification and the verification of component-based software systems : enrichment of the Kmelia data language and verification of contracts. |
|
| Développement de logiciels avec UML 2 et OCL cours, études de cas et exercices corrigés |
|
| Egypte l'aventure de 160 savants aux côtés de Bonaparte |
|
| Enterprise Architecture : Business-IT alignment. |
|
| etude de la composition et des proprietes thermodynamiques des plasmas thermiques a l'equilibre et hors d'equilibre thermodynamique |
|
| Exercices corrigés d'UML : passeport pour une maîtrise de la notation |
|
| Exercices corrigés en langage Z génie logiciel les spécifications formelles par l'exemple |
|
| Français-maths-histoire-géo-sciences |
|
| Génie logiciel : conception des systèmes d'information : panorama des méthodes et techniques |
|
| Graines de génie |
|
| Interopérabilité et sécurité des systèmes d'information : application aux systèmes de gestion de l'éducation |
|
| METHODES FORMELLES ET A OBJETS POUR LE DEVELOPPEMENT DU LOGICIEL : ETUDES ET PROPOSITIONS |
|
| Modeling and design of a physical vapor deposition process assisted by thermal plasma (PS-PVD) |
|
| Modélisation et dimensionnement d'un procédé de dépôt physique en phase vapeur assisté par plasma thermique. |
|
| Spécification des logiciels : deux exemples de pratiques récentes Z et UML : génie logiciel |
|
| study of composition and thermodynamic properties in thermal plasmas at and out of thermodynamic equilibrium. |
|
| Trésors des premiers imprimeurs la naissance de l'imprimerie dans l'Europe du XVè siècle |
|
