m

F Nous contacter

0

Documents  68Qxx | enregistrements trouvés : 242

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research talks;Computer Science;Mathematics Education and Popularization of Mathematics

Tous les fournisseurs d'applications mettent actuellement en place des infrastructures "cloud". Cette nouvelle approche de l'utilisation des logiciels va complètement changer notre comportement en tant qu'utilisateurs, mais aussi en tant qu'enseignants et en tant que chercheurs.
L'objectif de cet exposé est de dégager les grands concepts scientifiques de cette évolution technologique et commerciale.
* Pourquoi le cloud aujourd'hui?
* Qu'est-ce qui a permis son émergence si rapide maintenant?
* Qu'est-ce que ça change pour l'enseignement?
* Quels sont les nouveaux défis de recherche qui sont posés?
Tous les fournisseurs d'applications mettent actuellement en place des infrastructures "cloud". Cette nouvelle approche de l'utilisation des logiciels va complètement changer notre comportement en tant qu'utilisateurs, mais aussi en tant qu'enseignants et en tant que chercheurs.
L'objectif de cet exposé est de dégager les grands concepts scientifiques de cette évolution technologique et commerciale.
* Pourquoi le cloud aujourd'hui?
* Qu'est-ce ...

68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 159 p.
ISBN 978-2-87775-047-9

Localisation : Colloque 1er étage (ROUE)

informatique théorique # théorie des automates # théorie des codes # théorie algébrique des langages # logique

68-06 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xvii-705 p.
ISBN 978-981-4401-52-4

World scientific proceedings series on computer engineering and information science , 5

Localisation : Colloque 1er étage (XIAN)

logique # logique floue # programmation # intelligence artificielle

03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xix; 714 p.
ISBN 978-3-540-32301-3

Lecture notes in computer science , 3884

Localisation : Collection 1er étage

informatique # complexité # logiciel # analyse d'algorithmes # structures de données # mathématiques discrètes pour l'informatique # langage formel

68-06 ; 68Qxx ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 222 p.

Localisation : Colloque 1er étage (CAEN)

11Yxx ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxii; 789 p.
ISBN 978-3-642-02926-4

Lecture notes in computer science , 5555

Localisation : Collection 1er étage

informatique # logiciel

68-06 ; 68Nxx ; 68Qxx ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 177 p.
ISBN 978-0-8218-3444-2

Contemporary mathematics , 0360

Localisation : Collection 1er étage

théorie des groupes # statistique # cryptographie # topologie de faible dimension # calcul scientifique # informatique

20-06 ; 57-06 ; 68-06 ; 94-06 ; 68P25 ; 57Mxx ; 68Qxx ; 94A60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Colloque 1er étage (MARS)

calcul # calcul géométrique # informatique théorique # machine # machine aléatoire # nombre réel # programme numérique # solution arithmétique

11-02 ; 12-02 ; 65-XX ; 68Q05 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 412 p.
ISBN 978-3-540-66907-4

Lecture notes in computer science , 1745

Localisation : Collection 1er étage

HiPC # architecture des processus # compilation # débit à haute fréquence # informatique # mathématique de l informatique # mécanique de programmation # outil de l informatique # performance des systèmes # planificationn # programmation # système d exploitation

68-06 ; 68M10 ; 68Q22 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 120 p.

Localisation : Salle de manutention

complexité des algorithmes # informatique théorique # mathématique discrète

68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 94Axx ; 94Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 780 p.
ISBN 978-3-540-52826-5

Lecture notes in computer science , 0443

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68P05 ; 68Q68 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 494 p.
ISBN 978-3-540-18834-6

Lecture notes in computer science , 0294

Localisation : Collection 1er étage

architecture des processeurs # calcul # communication réseau # engineering logiciel # environnement de programmation # géométrie de l

68M10 ; 68Mxx ; 68N05 ; 68Nxx ; 68Qxx ; 68Rxx ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 311 p.
ISBN 978-3-540-52282-9

Lecture notes in computer science , 0415

Localisation : Collection 1er étage

algèbre de l

68Q15 ; 68Q25 ; 68Qxx ; 68Rxx ; 68U05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 592 p.
ISBN 978-3-540-61550-7

Lecture notes in computer science , 1113

Localisation : Collection 1er étage

aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d

68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 435 p.
ISBN 978-3-540-54345-9

Lecture notes in computer science , 0520

Localisation : Collection 1er étage

algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme

68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 741 p.
ISBN 978-3-540-19488-0

Lecture notes in computer science , 0317

Localisation : Collection 1er étage

algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données

68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 517 p.
ISBN 978-3-540-63437-9

Lecture notes in computer science , 1295

Localisation : Collection 1er étage

informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète

68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 68Qxx ; 68Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 371 p.
ISBN 978-3-540-63757-8

Lecture notes in computer science , 1335

Localisation : Collection 1er étage

analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 680 p.
ISBN 978-3-540-61440-1

Lecture notes in computer science , 1099

Localisation : Collection 1er étage

algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information

68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx

... Lire [+]

Z