m

F Nous contacter

0

Documents  68Pxx | enregistrements trouvés : 79

O

-A +A

P Q

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


ISBN 978-0-89838-173-3

Localisation : Colloque 1er étage (PHIL)

FORTRAN # LISP # MACSYMA # MAPLE # REDUCE # SMP # analyse de données # application d'algèbre informatique # bifurcation de Hopf # calcul symbolique # chimie # mathématique symbolique # modélisation de polymère # moteur de chaleur photochimique # muMATH # mécanique # onde de Stokes # robot # solution exacte pour super treillis # théorie des champs quantiques

62-07 ; 68-06 ; 68Pxx ; 68Q40 ; 92Exx

... Lire [+]

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


ISBN 978-3-7051-0002-2

Localisation : Colloque 1er étage (TOUL)

68Pxx ; 68U20

... Lire [+]

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


ISBN 978-3-7051-0001-5

Localisation : Colloque 1er étage (TOUL)

68Pxx ; 68U20

... Lire [+]

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


ISBN 978-0-8247-7600-8

Statistics

Localisation : Colloque 1er étage (LURA)

traitement d'images

68Pxx ; 68Q75 ; 68U05 ; 68U10

... Lire [+]

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


ISBN 978-0-89838-173-3

Localisation : Bibliothèque de Jussieu

calcul formel # gestion des donnees # traitemt des donnees

68C01 ; 68Pxx

... Lire [+]

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

- 383 p.
ISBN 978-0-8247-7746-3

Lecture notes in pure and applied mathematics , 0106

Localisation : Colloque 1er étage (COLL)

algèbre de l'informatique # logique mathématiques # logique symbolique

03-02 ; 68Pxx ; 68Q40

... Lire [+]

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


ISBN 978-9971-50-454-0

Localisation : Colloque 1er étage (TOKY)

approximation diophantienne # groupe libre # informatique theorique # integration # theoreme de fermat # theorie des nombres

00Bxx ; 11-06 ; 20-06 ; 22-06 ; 68Pxx

... Lire [+]

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

- 197 p.
ISBN 978-0-8218-5095-4

Contemporary mathematics , 0089

Localisation : Collection 1er étage

algorithme # graphe # informatique théorique # théorie des graphes

05Cxx ; 68Mxx ; 68Pxx ; 68Qxx

... Lire [+]

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

- 326 p.
ISBN 978-0-387-97019-6

Localisation : Colloque 1er étage (CAMB)

informatique # mathematique # outils mathematiques de l'informatique

03-06 ; 11-06 ; 68-06 ; 68Pxx ; 68U05

... Lire [+]

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

- 403 p.
ISBN 978-3-540-10291-5

Lecture notes in computer science , 0100

Localisation : Collection 1er étage

graphes # informatique graphique # structure des données # traitement des données

68Pxx ; 68R10 ; 68Rxx

... Lire [+]

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

- 260 p.
ISBN 978-3-540-10576-3

Lecture notes in computer science , 0104

Localisation : Collection 1er étage

informatique théorique

68-02 ; 68Pxx ; 68Rxx

... Lire [+]

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

- 444 p.
ISBN 978-3-540-17187-4

Lecture notes in computer science , 0243

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # logique # programmation logique # structure des données # traitement de données

68P05 ; 68Pxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 770 p.
ISBN 978-3-540-54415-9

Lecture notes in computer science , 0526

Localisation : Collection 1er étage

complexité # grammaire # informatique théorique # programmation logique # syntaxe émantique # théorie des types

68Pxx ; 68Q50 ; 68Q55

... Lire [+]

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

- 548 p.
ISBN 978-3-540-53709-0

Lecture notes in computer science , 0480

Localisation : Collection 1er étage

algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe

68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 68Qxx

... Lire [+]

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

- 551 p.
ISBN 978-3-540-55270-3

Lecture notes in computer science , 0580

Localisation : Collection 1er étage

application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données

68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx

... Lire [+]

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

- 260 p.
ISBN 978-3-540-55693-0

Lecture notes in computer science , 0618

Localisation : Collection 1er étage

base de données orientéé objet # gestion des bases de données # implémentation parallèle # modèle de données non relationnel # programmation logique # système de bases de données # système industriel

68-06 ; 68N17 ; 68Pxx

... Lire [+]

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

- 545p.
ISBN 978-3-540-58241-0

Lecture notes in artificial intelligence , 0827

Localisation : Colloque 1er étage (BONN)

ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # ...

68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx

... Lire [+]

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

- 628 p.
ISBN 978-3-540-64230-5

Lecture notes in computer science , 1373

Localisation : Collection 1er étage

algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation

68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 495 p.
ISBN 978-3-540-61814-0

Lecture notes in computer science , 1154

Localisation : Collection 1er étage

accessibilité des données # base de données déductive # déduction # gestion de système d'informatique # informatique théorique # intelligence artificielle # langage formel # logique # logique mathématique # stockage de l'information # sémantique # théorie de la preuve # traitement des données

68-15 ; 68P05 ; 68P20 ; 68Pxx

... Lire [+]

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

- 219 p.
ISBN 978-3-540-62221-5

Lecture notes in computer science , 1183

Localisation : Collection 1er étage

calcul # gestion de système d'information # gestion des fichiers # informatique # modélisation # méthodologie # simulation # structure des données # système d'information # traitement des donées

68P05 ; 68Pxx ; 68Qxx ; 68U20 ; 68Uxx

... Lire [+]

Z