| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2016-05-27 15:50:00 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2016-05-27 15:50:00 +0200 |
| commit | 94b924963d7927fba0bafa268c8477de2794a6da (patch) | |
| tree | 3d1dc8533904a5cc0276d2a4f69d53a2d76d9bc2 /data/M2RIT_SRLC_CLASSES | |
Adds relevant data from antares
Diffstat (limited to 'data/M2RIT_SRLC_CLASSES')
| -rw-r--r-- | data/M2RIT_SRLC_CLASSES | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/data/M2RIT_SRLC_CLASSES b/data/M2RIT_SRLC_CLASSES new file mode 100644 index 0000000..7b952ed --- /dev/null +++ b/data/M2RIT_SRLC_CLASSES @@ -0,0 +1,28 @@ +Anglais::ANGLAIS (ER9INTBM)::Anglais +::[BONUS] Anglais::Anglais +Complexité des algorithmes::CTD Complexité des algorithmes::CA +Algorithmique et systèmes répartis::NEI2A - CM - Systèmes et algorithmes répartis::ASR +::NEI2A - EXAM - Systèmes et algorithmes répartis::ASR +Intergiciels::NEIL5A - TP - Systèmes avancés::I +::NEIL5A - EXAM - Systèmes avancés::I +::NEIL5A - CM - Systèmes avancés::I +::NEIL5A - TPA - Systèmes avancés::I +::NEIL5A - TPB - Systèmes avancés::I +Calcul réparti et Grid computing::NEI2B - CM - Calcul réparti et grid computing::CRGC +::NEI2B - EXAM - Calcul réparti et grid computing::CRGC +Modèles d’exécution et architectures parallèles::UNKNOWN4::MEAP +Architectures : parallélisme et systèmes critiques::UNKNOWN5::APSC +Conception de systèmes temps réel::UNKNOWN6::CSTR +Conception conjointe de systèmes temps réel et langages (a)synchrones::UNKNOWN7::CCSTRLA +Ordonnancement dans les systèmes temps réel et embarqués::UNKNOWN8::OSTRE +Ingénierie des modèles::UNKNOWN9::IM +Modèle d'ingénierie du processus de développement::UNKNOWN10::MIPD +Spécification formelle des systèmes::UNKNOWN11::SFS +Vérification de systèmes réactifs::UNKNOWN12::VSR +Validation par analyse statique::NEIL4A - CM -Vérification par analyse statique::VAS +::NEIL4B - BE -Vérification par analyse statique::VAS +::NEIL4B - CM -Vérification par analyse statique::VAS +Techniques de compilation::UNKNOWN14::TC +Théorie des types et applications::UNKNOWN15::TTA +[BONUS] Seminaires Toulousains::S�minaire::BONUS_ST +::[BONUS][SemToulouse]::BONUS_ST |