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