| 000 | 02795cam0a2200397 4500 | ||
|---|---|---|---|
| 001 | 14332 | ||
| 009 | 185800114 | ||
| 003 | http://www.sudoc.fr/185800114 | ||
| 005 | 20250630092420.0 | ||
| 010 |
_a9782271087911 _bbr. _d22 EUR |
||
| 073 | 1 | _a9782271087911 | |
| 090 | _a14332 | ||
| 099 |
_tOUVR _zALEX28453 |
||
| 100 | _a20150601d2015 k y0frey50 ba | ||
| 101 | 0 |
_afre _2639-2 |
|
| 102 | _aFR | ||
| 105 | _aa ||||000yy | ||
| 106 | _ar | ||
| 181 |
_6z01 _ctxt _2rdacontent |
||
| 181 | 1 |
_6z01 _ai# _bxxxe## |
|
| 182 |
_6z01 _cn _2rdamedia |
||
| 182 | 1 |
_6z01 _an |
|
| 183 | 1 |
_6z01 _anga _2RDAfrCarrier |
|
| 200 | 1 |
_aInformatique mathématique _eune photographie en 2015 _fFlorent Becker, Nathalie Bertrand, Wadoud Bousdira... [et al.] _gNicolas Ollinger (éd.) |
|
| 214 | 0 |
_a[Paris] _cCNRS éditions _dDL 2015 |
|
| 215 |
_a1 vol. (VII-252 p.) _cill. en noir et en coul., couv. ill. en coul. _d25 cm |
||
| 312 | _aLa couv. porte en plus : "gdr iM" (Groupe de recherche informatique mathématique) | ||
| 314 | _aAutres 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 | _aBibliogr. p. [229]-244. Notes bibliogr. | ||
| 330 | _aLa 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 |
_b1. Algorithmes efficaces en géométrie algébrique réelle. _b2. Algorithmes modérément exponentiels. _b3. Calcul des programmes parallèles avec Coq. _b4. Construire et calculer dans un monde en 2D. _b5. Contrôle, probabilités et obsezrvation partielle. |
|
| 517 |
_aInformatique mathématique _eune photographie en deux mille quinze |
||
| 606 |
_3031498949 _aInformatique _xMathématiques _2rameau |
||
| 606 |
_3027282171 _aAlgorithmes _2rameau |
||
| 700 | 1 |
_3073272302 _aT'kindt _bVincent _f1973-.... _cchercheur en informatique _4070 |
|
| 701 | 1 |
_3078817374 _aOllinger _bNicolas _f19..-.... _4340 |
|