m

F Nous contacter

0

Documents  Critères de recherche : "Mathématiques pour l'informatique" | enregistrements trouvés : 5

O
     

-A +A

P Q

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


ISBN 978-2-89276-129-0

Publications du laboratoire de combinatoire et d'informatique mathématique , 0015

Localisation : Colloque 1er étage (MONT)

CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de système informatique # système communicant distribué # système continu ou discret # système à événement discret # téléphone # utilisation MEC # validation de système à base temporelle # vérification de chronogramme hiérarchique # vérification de style algébrique # vérification informatique CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de ...

68Mxx ; 68Qxx ; 93A30 ; 93B07 ; 93B50

... Lire [+]

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

- 260 p.
ISBN 978-2-04-018617-3

Localisation : Ouvrage RdC (VELU)

algèbre de Boole # algèbre linéaire # analyse combinatoire # arithmétique # calcul propositionnel # code détecteur # correction d'erreur # fonction booléennes # numération # outils mathématiques de l'informatique # relation # semble

03-01 ; 04-01 ; 05-01 ; 68Qxx

... Lire [+]

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

- 349 p.
ISBN 978-2-225-84011-1

Localisation : Ouvrage RdC (ARNO)

algèbre combinatoire # algébre de Boole # calcul ensembliste # chaine de Markov finie # comportement asymptoptique # ensembles ordonnés # fonction # graphe et arbre # langage rationnel et automate fini # logique # mathématique pour l'informatique # probabilités discrètes # récursion et induction # série génératrice

03G05 ; 05Cxx ; 06Exx ; 60Jxx ; 68Q68

... Lire [+]

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

Localisation : Disparu

algèbre et calcul # cahier électronique # calcul numérique # calcul symbolique # fichier de commande # graphique # interface frontale # langage général # liste # mathematica # matrice # programmation # règle de transformation # solution d'équations # système informatique pour mathématique

68N15

... Lire [+]

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


ISBN 978-2-225-84642-7

Memo-Guides

Localisation : Disparu

Prolog # algorithme # arbre # automate # ensemble ordonné # exercice corrigé # graphe # langage et grammaire # licence # liste # logique des prédicats # logique déclarative # mathématique pour l'intelligence artificielle # maîtrise # pile # queue # relation n- aire # structure monoïde # système formel # treillis # école d'ingénieur # étudiant en informatique des IUT

03-01 ; 03Bxx ; 05-01 ; 05Cxx ; 68-01

... Lire [+]

Z