En informatique, la programmation modulaire repose sur l'utilisation de modules, qui sont des structures permettant de définir des espaces regroupant des éléments définis par le programmeur : ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...

Python has many powerful applications as a “meta-language” or a code generation system. The newly unveiled Copapy library uses Python as a system for generating and running assembly language on the ...

FreeTelec est un logiciel disponible sur smartphone ou tablette, permettant de contrôler une FreeBox depuis l'écran de son appareil portable à l'aide d'une télécommande virtuelle. L'application ...

Une télécommande est un appareil électronique qui fait partie du quotidien de la plupart des foyer aujourd'hui. Grâce à elle, on peut changer les chaînes à la télévision mais aussi naviguer sur les ...