m

F Nous contacter

0

Documents  68Txx | enregistrements trouvés : 124

O

-A +A

P Q

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


ISBN 978-0-444-87647-8

North-holland mathematics studies , 0102

Localisation : Colloque 1er étage (BORG)

68Qxx ; 68Rxx ; 68SXX ; 68Txx

... Lire [+]

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

I.S.N.M. , 0006

Localisation : Colloque 1er étage (HANN)

68-06 ; 68C05 ; 68Q25 ; 68Txx

... Lire [+]

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


ISBN 978-0-444-70024-7

C.w.i. monographs , 0001

Localisation : Colloque 1er étage (AMST)

algebre # automatique # informatique # informatique theorique # intellige nce artificielle # stochastique

68Mxx ; 68Q70 ; 68Q75 ; 68Qxx ; 68Txx

... Lire [+]

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

- 214 p.
ISBN 978-0-387-96414-0

Localisation : Colloque 1er étage (LARA)

biologie # controlee # epidemiologie # intelligence artificiel le # mathematiques de l'informatique # mathematiques et industrie

00-02 ; 00A69 ; 68-06 ; 68Txx ; 69Q40

... Lire [+]

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


ISBN 978-2-86601-081-2

Localisation : Colloque 1er étage (MARS)

68-06 ; 68Txx

... Lire [+]

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


ISBN 978-2-86601-084-3

Micad 87 , 0002

Localisation : Colloque 1er étage (PARI)

automatisme # cao # informatique graphique # intelligence artificielle # robotique # systeme expert

68-06 ; 68Txx ; 68U05

... Lire [+]

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


ISBN 978-2-86601-083-6

Micad 87 , 0001

Localisation : Colloque 1er étage (PARI)

automatique # cao # informatique graphique # intelligence artificielle # robotique

68-06 ; 68Txx ; 68U65

... Lire [+]

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


ISBN 978-0-201-11569-7

Localisation : Colloque 1er étage (PRIN)

analyse par grappe # intelligence artificielle # strategie statistique

62H30 ; 68Txx

... Lire [+]

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


ISBN 978-4-274-07221-5

Localisation : Colloque 1er étage (TOKY)

Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini

68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx

... Lire [+]

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

- 439 p.
ISBN 978-3-540-97628-8

Lecture notes in computer science , 0507

Localisation : Collection 1er étage

algorithme # algorithme des graphes # graphes # informatique théorique # intelligence artificielle # parallélisme # performance

68M20 ; 68Q10 ; 68Q22 ; 68Qxx ; 68Txx

... Lire [+]

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

- 29 p.

Localisation : Colloque 1er étage (PARI)

intelligence artificielle # robotique

68T10 ; 68Txx

... 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.


ISBN 978-7-80003-196-0

Localisation : Colloque 1er étage (BEIJ)

algebre de l'informatique # calcul symbolique # raisonnement automatise # theorie de la preuve

68C20 ; 68Txx

... Lire [+]

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

- 427 p.
ISBN 978-3-540-55789-0

Lecture notes in computer science , 0626

Localisation : Collection 1er étage

gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

... Lire [+]

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

- 613 p.
ISBN 978-3-540-55578-0

Lecture notes in computer science , 0602

Localisation : Collection 1er étage

apprentissage assisté par ordinateur # ingenierie de logiciel # intelligence artificielle # éducation et informatique

68-06 ; 68Nxx ; 68Txx ; 68U30

... Lire [+]

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

- 360 p.
ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Collection 1er étage

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

... Lire [+]

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

- 320 p.
ISBN 978-3-540-55984-9

Lecture notes in computer science , 0641

Localisation : Collection 1er étage

analyse grammaticale # compilateur # construction de compilateur # environnement de programmation # grammaire # générateur de code # générateur de compilateur # interactif # programmation automatique # syntaxe

68Q50 ; 68Q52 ; 68Txx

... Lire [+]

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

- 376 p.
ISBN 978-3-540-56320-4

Lecture notes in computer science , 0653

Localisation : Collection 1er étage

automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision

68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

analyse des données # analyse numérique # combinatoire # intelligence artificielle # représentation de l'incertain # traitement symptomatique de l'information

65-06 ; 65U05 ; 68R05 ; 68Rxx ; 68Txx

... Lire [+]

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


ISBN 978-2-85428-290-0

Localisation : Colloque 1er étage (SANT)

Gaspard Monge # approximation spectrale # fissure en milieu poreux # fluide viscoélastique # formation des gouttes # homogénéisation des équations de Navier-Stokes # loi de Brinkman # mathématique appliquée # matrice de covariance généralisée # méthode des éléments finis mixtes # science de l'ingénieur # éqoulement quasi-newtonien # équation de Navier-Stokes

00A69 ; 00A79 ; 62Nxx ; 65M60 ; 68Txx

... Lire [+]

Z