m

F Nous contacter

0

Documents  68SXX | enregistrements trouvés : 13

O
     

-A +A

P Q

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


ISBN 978-0-12-175520-1

A.p.i.c. studies in data proceeding , 0016

Localisation : Colloque 1er étage (DEBR)

68DXX ; 68F10 ; 68Q45 ; 68SXX ; 68T15

... Lire [+]

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.


ISBN 978-0-521-26793-9

Localisation : Colloque 1er étage (FONT)

68SXX

... Lire [+]

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

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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

- 720 p.
ISBN 978-3-540-16492-0

Lecture notes in computer science , 0225

Localisation : Collection 1er étage

algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique

68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX

... Lire [+]

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


ISBN 978-0-8186-0799-8

Localisation : Colloque 1er étage (SAN)

intelligence artificielle # langage # linguistique mathemati que # programmation logique

68N15 ; 68SXX ; 68T25

... Lire [+]

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

- 365 p.
ISBN 978-0-387-90641-6

Texts and monographs in computer science

Localisation : Ouvrage RdC (GRIE)

68N05 ; 68N15 ; 68SXX

... Lire [+]

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

- 284 p.
ISBN 978-0-7458-0109-4

Ellis horwood series in computer and their applications

Localisation : Monographie RdC (ABRA)

langage de programmation # langage déclaratif # progammation # programme informatique # prolog # validation

68N15 ; 68Nxx ; 68Q60 ; 68SXX

... Lire [+]

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

- 273 p.
ISBN 978-2-225-81266-8

Methode + programmes

Localisation : Ouvrage RdC (BART)

analyse combinatoire de données # arbre # intelligence artificielle # programmation # représentation des proximités

68R15 ; 68SXX ; 68Txx

... Lire [+]

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

- 460 p.
ISBN 978-0-201-18048-0

International computer science series

Localisation : Ouvrage RdC (GOUG)

analyse des données # analyse syntaxique # automate états finis # compilateur # constuction de compilateur # grammaire # informatique # langage # linguistique # outils logiciels # programmation # réalisation anormale # théorie des langages

68Q45 ; 68SXX

... Lire [+]

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

- 228 p.
ISBN 978-0-521-30413-9

Localisation : Ouvrage RdC (CHAP)

grammaire # langage # langage de programmation # linguistique # lr parsing # théorie des langages

68N15 ; 68SXX

... Lire [+]

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

- 133 p.
ISBN 978-2-225-81504-1

Etudes et recherches en informatique

Localisation : Ouvrage RdC (AUTE)

langage algébrique # théorie des langages # transduction rationnelles

68Q45 ; 68Qxx ; 68SXX

... Lire [+]

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

- 276 p.

Localisation : Ouvrage RdC (BOUD)

calcul des propositions # calcul des prédicats # langage mathématique # logique mathématique axiomatique # logique mathématique non axiomatique # quantificateur fini ou relatif # relativité des langages # syntaxe et sémantique # théorie des langages # théorie quantifiée # théorie égalitaire

03Bxx ; 68Qxx ; 68SXX

... Lire [+]

Z