Documents (Authors)

• [Multi angle] Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté » / Author of the conference Boisson, François. -Marseille : CIRM
  

Documents (Event Organizers)

• [Post-edited] Affectation dans l'enseignement supérieur : sélection et algorithmes / Author of the conference Courant, Judicaël. CIRM
  
• [Multi angle] SMT solving / Author of the conference Monniaux, David. -Marseille : CIRM
  
• [Multi angle] Méthodes probabilistes / Author of the conference Bonamy, Marthe. -Marseille : CIRM
  
• [Multi angle] La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique / Author of the conference Dowek, Gilles. -Marseille : CIRM
  
• [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Author of the conference Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Informatique et physique : quelques interactions / Author of the conference Dowek, Gilles. -Marseille : CIRM
  
• [Multi angle] L'importance des langages en informatique / Author of the conference Berry, Gérard. CIRM
  
• [Post-edited] L'informatique, de la révolution technique à la révolution mentale / Author of the conference Berry, Gérard. CIRM
  

Linked documents : [9 document(s)]