Documents (Codes MSC)

• [Multi angle] Weighted relational models / Auteur de la conférence McCusker, Guy. -Marseille : CIRM
  
• [Multi angle] Böhm trees and Taylor expansion / Auteur de la conférence Manzonetto, Giulio. -Marseille : CIRM
  
• [Multi angle] Taylor expansion, at work / Auteur de la conférence Manzonetto, Giulio. -Marseille : CIRM
  
• [Multi angle] Calcul tensoriel formel sur les variétés différentielles - Partie 2 / Auteur de la conférence Gourgoulhon, Éric. CIRM
  
• [Post-edited] Calcul tensoriel formel sur les variétés différentielles - Partie 1 / Auteur de la conférence Gourgoulhon, Éric. -Marseille : CIRM
  
• [Multi angle] L'importance des langages en informatique / Auteur de la conférence Berry, Gérard. CIRM
  
• [Multi angle] Overview of architectures and programming language for parallel computing / Auteur de la conférence Méhaut, Jean-françois. -Marseille : CIRM
  
• [Multi angle] Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté » / Auteur de la conférence Boisson, François. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Auteur de la conférence Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Formal verification of numerical analysis programs / Auteur de la conférence Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Des nombres aux arbres : comment varier ses exemples d'algorithmes ? / Auteur de la conférence Dowek, Gilles. -Marseille : CIRM
  

Documents liés : [11 document(s)]