Normal view MARC view

Informatique mathématique (Record no. 14332)

MARC details
000 -Etiquette de la notice
Leader	02795cam0a2200397 4500
009 - PPN
ppn	185800114
003 - Identifiant de la notice
Identifiant	http://www.sudoc.fr/185800114
005 - Identifiant de la version
Identifiant	20250630092420.0
010 ## - Numéro international normalisé du livre (ISBN)
ISBN	9782271087911
Qualificatif	br.
Disponibilité et/ou prix	22 EUR
073 #1 - EAN
Numéro normalisé	9782271087911
099 ## - ESPCI local
Type de document Koha	Ouvrage
ID Alexandrie	ALEX28453
100 ## - Données générales de traitement
Données générales de traitement	20150601d2015 k y0frey50 ba
101 0# - Langue de la ressource
Langue du texte, de la bande son, etc.	français
--	639-2
102 ## - Pays de publication ou de production
Pays de publication	France
105 ## - Zone de données codées : textes, monographies
Données codées sur les monographies textuelles	a \|\|\|\|000yy
106 ## - Zone de données codées : forme de la ressource
Données codées sur la forme de la ressource – Présentation matérielle	r
181 ## - Zone de données codées : Forme de la ressource
Données de liaison entre champs	z01
Autre référentiel utilisé pour coder la forme du contenu	texte
Code du référentiel	rdacontent
181 #1 - Zone de données codées : Forme de la ressource
Données de liaison entre champs	z01
Forme du contenu selon l’ISBD sous forme codée	i#
Qualificatif(s) du contenu selon l’ISBD sous forme codée	xxxe##
182 ## - Zone de données codées : type de média
Données de liaison entre champs	z01
Autre référentiel utilisé pour coder le type de médiation	sans média
Code du référentiel	rdamedia
182 #1 - Zone de données codées : type de média
Données de liaison entre champs	z01
Type de médiation selon l’ISBD sous forme codée	sans média
183 #1 - Zone de données codées : Type de carrière
Données de liaison entre champs	z01
Type de support sous forme codée	nga
Code du référentiel	RDAfrCarrier
200 1# - Titre et mention de responsabilité
Titre propre	Informatique mathématique
Complément du titre	une photographie en 2015
Première mention de responsabilité	Florent Becker, Nathalie Bertrand, Wadoud Bousdira... [et al.]
Mention de responsabilité suivante	Nicolas Ollinger (éd.)
214 #0 - Mentions de production, publication, diffusion et manufacture
Lieu de publication, production, distribution/diffusion, fabrication	[Paris]
Nom de l’éditeur, du producteur, distributeur/diffuseur, fabricant	CNRS éditions
Date de publication, production, distribution/diffusion, fabrication, copyright	DL 2015
215 ## - Description physique
Type de présentation matérielle et importance matérielle	1 vol. (VII-252 p.)
Autres caractéristiques matérielles	ill. en noir et en coul., couv. ill. en coul.
Dimensions	25 cm
312 ## - Note sur les titres associés
Texte de la note	La couv. porte en plus : "gdr iM" (Groupe de recherche informatique mathématique)
314 ## - note sur la responsabilité intellectuelle
Texte de la note	Autres contributions : Jérôme Durand-Lose, Serge Haddad, Christophe Lenté, Mathieu Liedloff, Frédéric Loulergue, Mohab Safey El Din, Julien Tesson, Vincent T'Kindt, Ioan Todinca (auteurs)
320 ## - Bibliographies internes/Note d'index
Texte de la note	Bibliogr. p. [229]-244. Notes bibliogr.
330 ## - Résumé ou extrait
Texte de la note	La 4e de couv. indique : "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 2015 de l'École des Jeunes Chercheurs en Informatique Mathématique (EJCIM), organisée à Orléans du 30 mars au 3 avril 2015 dans le cadre du GDR IM. Cinq thèmes sont présentés par douze spécialistes français du domaine : algorithmique en géométrie algébrique, algorithmes modérément exponentiels, programmation parallèle en Coq, modèles de calcul géométriques, contrôle des modèles probabilistes partiellement observables. 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"
359 2# -
--	1. Algorithmes efficaces en géométrie algébrique réelle.
--	2. Algorithmes modérément exponentiels.
--	3. Calcul des programmes parallèles avec Coq.
--	4. Construire et calculer dans un monde en 2D.
--	5. Contrôle, probabilités et obsezrvation partielle.
517 ## - Autres variantes du titre
Autre variante du titre	Informatique mathématique
Complément du titre	une photographie en deux mille quinze
606 ## - Sujet - Nom commun
Identifiant de la notice d'autorité	031498949
Élément d'entrée	Informatique
Subdivision de sujet	Mathématiques
Code du format utilisé	rameau
606 ## - Sujet - Nom commun
Identifiant de la notice d'autorité	027282171
Élément d'entrée	Algorithmes
Code du format utilisé	rameau
700 #1 - Auteur principal
Identifiant de la notice d'autorité	073272302
Élément d'entrée	T'kindt
Partie du nom autre que l'élément d'entrée	Vincent
Dates	1973-....
Eléments ajoutés aux noms autres que les dates	chercheur en informatique
Code de fonction	Auteur
701 #1 - Coauteur
Identifiant de la notice d'autorité	078817374
Élément d'entrée	Ollinger
Partie du nom autre que l'élément d'entrée	Nicolas
Dates	19..-....
Code de fonction	Editeur

Holdings
Perdu	Date de création	Site de rattachement	Site actuel	Localisation	Code à barres	Cote	Exclu du prêt	Type de document Koha
	30/06/2025	La bibliothèque de l'ESPCI	La bibliothèque de l'ESPCI	Magasin	IF-074	IF-074		Ouvrage