m

F Nous contacter

0

Documents  Critères de recherche : "Informatique" | enregistrements trouvés : 73

O

-A +A

P Q

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

Research talks;Computer Science

68Wxx ; 68P05 ; 68M11 ; 68U20 ; 68Q80 ; 68T05 ; 94A60 ; 94A08

... Lire [+]

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

- vi; 139 p.
ISBN 978-2-271-12611-5

Localisation : Colloque 1er étage (MARS);Ouvrage RdC (INFO)

informatique mathématique # transduction # mot sturmien # maillage 3D # poset, polynôme, polytope (popopo) # algorithmique distribuée # système d'agents mobiles

68Q45 ; 68R15 ; 68P20 ; 94A08 ; 52A25 ; 06A07

... Lire [+]

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

- vi; 427 p.

Localisation : Colloque 1er étage (MARS)

bioinformatique # phylogénie # analyse de séquences # analyse de structures # algorithmique des séquences # modélisation # analyse des génomes # analyse des réseaux d'interaction # text mining # ontologie

00B25 ; 68-06 ; 92-06

... Lire [+]

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.

Localisation : Salle de manutention

algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'approximation infinitésimale # équation diophantienne algorithmique # approximation simultanée # courbe 2D en infographie # définabiblité et décidabilité # extension d'entiers # informatique # logique # machine de Turing à arrêt décidable ou universelle # modélisation markovienne # problème de comptage de la satisfiabilité généralisée # prédicat de divisibilité # réseau de neurones # réseau de transmission par cellule # simulation de fonction récursive partielle # théorème fondamental d'ap...

03B25 ; 03D20 ; 11Dxx ; 68U05 ; 92B20

... Lire [+]

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

Localisation : Colloque 1er étage (ROCQ)

equation aux derivees partielles # theorie des groupes

20-02 ; 35-02

... Lire [+]

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


ISBN 978-2-906899-25-4

Localisation : Colloque 1er étage (AVIG)

calculateur # centre informatique # configuration réseau # intelligence artificielle # maintenance des systèmes de télécommunications # science de l

68T35 ; 68Txx ; 68U07

... Lire [+]

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

- 350 p.
ISBN 978-0-589-19067-5

Recherches en didactique des mathematiques

Localisation : Colloque 1er étage (MARS)

didactique des mathematiques # pedagogie

97-06

... Lire [+]

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

Les cahiers du l.i.u.c.

Localisation : Colloque 1er étage (MARS)

arithmetique # arithmetique des ordinateurs # code correcteur # complexite # distribu tion invariante continue # equation sur les corps fini # informatique theorique # mathematiques de l'informatique # systeme d'equation algebrique

68-06 ; 68Qxx

... Lire [+]

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

Mathématiques et informatique

Localisation : Colloque 1er étage (PARI)

automate # décidabilité # logique # mathématique discrète # mathématiques et informatique # matroïde # opérateur # réécriture des systèmes

68N05 ; 68Q42 ; 68Q68 ; 68Qxx ; 68Rxx

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

didactique de l'informatique # didactique des mathematiques

96-06 ; 97-06 ; 98-06

... Lire [+]

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

Publication de l'universite de caen

Localisation : Colloque 1er étage (MARS)

science de l'ordinateur

68-06

... Lire [+]

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

- 215 p.
ISBN 978-0-387-15641-5

Lecture notes in computer science , 0192

Localisation : Collection 1er étage

arbres # automate # informatique théorique # logique

03D05 ; 68Q68 ; 68Qxx

... Lire [+]

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

- vii; 561 p.

Localisation : Colloque 1er étage (PARI)

informatique

00Bxx ; 68-06

... Lire [+]

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

Collection de la direction des etudes et recherches d'electricite de france ecole d'ete d'informatiq

Localisation : Colloque 1er étage (BREA)

informatique graphique # interaction des logiciels graphique # logiciel # logiciels graphiques interactifs

68U05 ; 68U10

... Lire [+]

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

- xx; 740 p.
ISBN 978-2-7057-0335-6

Localisation : Colloque 1er étage (NANC)

informatique # technologie de l'information # intelligence artificielle

00Bxx ; 68-06

... Lire [+]

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

- vi; 280 p.
ISBN 978-2-7225-0482-0

Localisation : Colloque 1er étage (JOUG)

théorie des codes # théorie de l'information # code correcteur d'erreurs

94-06 ; 00B25

... Lire [+]

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

- 281 p.
ISBN 978-2-7225-0424-0

Localisation : Colloque 1er étage (BONA)

automate # langage formel # langage algébrique # informatique théorique

00Bxx ; 68Q45 ; 68-06

... Lire [+]

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

- 455-909 p.

Localisation : Colloque 1er étage (PARI)

intelligence artificielle # traitement des données # système # réseau # AFCET

68Txx ; 97R40 ; 68-XX ; 97RXX ; 97R50

... Lire [+]

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

- 454 p.

Localisation : Colloque 1er étage (PARI)

intelligence artificielle # traitement des données # système # réseau # AFCET

68Txx ; 97R40 ; 68-XX ; 97RXX ; 97R50

... Lire [+]

Z