Documents (MSC Codes)

• [Multi angle] Weighted relational models / Author of the conference McCusker, Guy. -Marseille : CIRM
  
• [Multi angle] Böhm trees and Taylor expansion / Author of the conference Manzonetto, Giulio. -Marseille : CIRM
  
• [Multi angle] Taylor expansion, at work / Author of the conference Manzonetto, Giulio. -Marseille : CIRM
  
• [Multi angle] Calcul tensoriel formel sur les variétés différentielles - Partie 2 / Author of the conference Gourgoulhon, Éric. CIRM
  
• [Post-edited] Calcul tensoriel formel sur les variétés différentielles - Partie 1 / Author of the conference Gourgoulhon, Éric. -Marseille : CIRM
  
• [Multi angle] L'importance des langages en informatique / Author of the conference Berry, Gérard. CIRM
  
• [Multi angle] Overview of architectures and programming language for parallel computing / Author of the conference 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é » / Author of the conference Boisson, François. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Author of the conference Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Formal verification of numerical analysis programs / Author of the conference Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Des nombres aux arbres : comment varier ses exemples d'algorithmes ? / Author of the conference Dowek, Gilles. -Marseille : CIRM
  

Linked documents : [11 document(s)]