Catalogue 
 Ressources numériques 
 Nouveautés 
 Liens utiles 
 Mon compte 
   
Recherche rapideRecherche avancéeRecherche alphabétiqueHistoriqueInformation
Recherche    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
    Ajouter à ma liste 
    Exemplaires
    SiteEmplacementCoteType de prêtStatut 
    Site de NeuvilleSalle de lecture510.285 INFPrêtDisponibleRéserver


    Pour toute question, contactez la bibliothèque
    Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.
    Horizon Portail d'Information