Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Logique mathématique
Logique informatique
Actes de congrès
Parcourir le catalogue
par auteur:
Bournez , Olivier
Chetrite , Raphaël , 1981-....
Fijalkow , Nathanaël , 19..-....
Formenti , Enrico , 1968-....
Kaufmann , Emilie , 1987-....
Mattei , Pierre-Alexandre , 1989-....
Ollinger , Nicolas
Patras , Frédéric , 1967-....
Rifford , Ludovic , 1974-....
Romashchenko , Andrei Evgenjevich , 1975-....
Villata , Serena
Martin , Bruno , 19..-.... , professeur d'informatique
Riva , Sara , 19..-....
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Bournez , Olivier
Chetrite , Raphaël , 1981-....
Fijalkow , Nathanaël , 19..-....
Formenti , Enrico , 1968-....
Kaufmann , Emilie , 1987-....
Mattei , Pierre-Alexandre , 1989-....
Ollinger , Nicolas
Patras , Frédéric , 1967-....
Rifford , Ludovic , 1974-....
Romashchenko , Andrei Evgenjevich , 1975-....
Villata , Serena
Martin , Bruno , 19..-.... , professeur d'informatique
Riva , Sara , 19..-....
Titre :
Informatique mathématique : une photographie en 2022 , Olivier Bournez, Raphaël Chetrite, Nathanaël Fijalkow,... [et al.] ; Bruno Martin, Sara Riva (éd.)
Editeur :
[Paris] : CNRS Edition , DL 2022
Description :
1 vol. (295 p. ) : ill. ; 24 cm
ISBN:
978-2-271-14458-4 , br. , 22 EUR
Notes :
Bibliographie p. 287-292
Autres contributeurs : Enrico Formenti, Emilie Kaufmann, Pierre-Alexandre Mattei, Nicolas Ollinger, Frédéric Patras, Ludovic Rifford, Andrei Romashchenko, Serena Villata
L Informatique Mathématique (IM) regroupe des thématiques relevant a priori de tous les domaines de l informatique, pourvu que la démarche de recherche ou le point de vue adoptés soient mathématisables . Cet ouvrage réunit les cours proposés à l édition 2022 de l École des Jeunes Chercheuses et Chercheurs en Informatique Mathématique (EJ- CIM), organisée à Nice du 7 au 11 juin 2022 dans le cadre du Groupe de recherche en Informatique Mathématique (GdR IM) du CNRS. Cinq thèmes sont présentés par onze spécialistes du domaine, à la fois du point de vue du mathématicien et du point de vue de l informaticien : l intelligence artificielle, la théorie des jeux, les systèmes dynamiques, le calcul analogique et numérique et l aléatoire. Présentant de manière équilibrée différentes thématiques du domaine IM, cet ouvrage propose une photographie de l Informatique Mathématique aujourd hui
Sujet :
Logique mathématique
Logique informatique
Actes de congrès
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Site de Neuville
Salle de lecture
510.285 INF
Prêt
Disponible
Réserver
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.