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.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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 [+]
