Mathematical and Engineering Methods in Computer Science

Le livre "Méthodes mathématiques et d'ingénierie en informatique" est une collection d'articles révisés issus du 9e atelier de doctorants sur les méthodes mathématiques et d'ingénierie en informatique, MEMICS 2014. Cet atelier s'est tenu en octobre 2014 à Telč, en République tchèque. Les 13 articles soigneusement sélectionnés et révisés proviennent d'un total de 28 travaux soumis et sont complétés par quatre contributions invitées. Les sujets traités sont variés et vont des algorithmes, de la logique et des jeux à l'informatique haute performance, en passant par l'analyse, la vérification et le test assistés par ordinateur, la conception et le diagnostic matériel, la graphisme informatique et le traitement d'image, ainsi que l'intelligence artificielle et le traitement du langage naturel. Cette collection offre des perspectives précieuses sur les tendances et les développements de recherche actuels en informatique.