m

F Nous contacter

0

Documents  68Q50 | enregistrements trouvés : 22

O

-A +A

P Q

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

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

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

- 719 p.
ISBN 978-3-540-55719-7

Lecture notes in computer science , 0623

Localisation : Collection 1er étage

algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10

... Lire [+]

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

- 256 p.
ISBN 978-3-540-55124-9

Lecture notes in computer science , 0572

Localisation : Collection 1er étage

algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve

68P05 ; 68Q45 ; 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.

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

- 306 p.
ISBN 978-3-540-16443-2

Lecture notes in computer science , 0214

Localisation : Collection 1er étage

arbre # grammaire # graphe # sémantique # syntaxe

68Q50 ; 68Q55 ; 68R10

... Lire [+]

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

- 305 p.
ISBN 978-3-540-17218-5

Lecture notes in computer science , 0246

Localisation : Collection 1er étage

algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture

68Mxx ; 68Q05 ; 68Q30 ; 68Q50 ; 68Qxx

... Lire [+]

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

- 464 p.
ISBN 978-3-540-62844-6

Lecture notes in computer science , 1218

Localisation : Collection 1er étage

formalisme # grammaire et réécriture des systèmes # informatique théorique # intelligence artificielle # langage formel # représentation # représentation de connaissance

68Q45 ; 68Q50 ; 68Q55 ; 68T25 ; 68T30

... Lire [+]

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

- 308 p.
ISBN 978-3-540-51414-5

EATCS monographs on theoretical computer science , 0018

Localisation : Ouvrage RdC (DASS)

complexité syntaxique # grammaire # informatique théorique # langage # langage de programmation # réécriture des systèmes

68Q42 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 365 p.
ISBN 978-3-540-61650-4

Texts in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (SIKK)

algorithme # analyse syntaxique du programme # analyseur # calculateur # grammaire # linguistique # source

68Q50 ; 68Qxx ; 68S05

... Lire [+]

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

- 715 p.
ISBN 978-3-540-56583-3

Monographs in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (NAIT)

dynamique des processus logiques # ion d'information partiel # langage de programmation # logique de proposition partielle # logique et spécification de programme # logique mathématique # méthode # physique théorique # programmation logique # représentation de connaissance # système logique # sémantique # théorème de preuve # vérification de programme

68N15 ; 68Q45 ; 68Q50 ; 68Q55 ; 68Qxx

... Lire [+]

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

- 268 p.
ISBN 978-2-7296-0372-4

Localisation : Ouvrage RdC (WOLP)

automate fini # calcul # complexité # fonction récursive # grammaire # langage # machine de Turing # non calculabilité

03D05 ; 03D10 ; 03D20 ; 68Q45 ; 68Q50

... Lire [+]

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

- 540 p.
ISBN 978-3-540-16781-5

Lecture notes in computer science , 0231

Localisation : Collection 1er étage

grammaire # informatique théorique

68Q50 ; 68Q52

... Lire [+]

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

- 253 p.
ISBN 978-3-540-10245-8

Lecture notes in computer science , 0099

Localisation : Collection 1er étage

compileur # générateur # grammaire # langage # processeur

68N20 ; 68Q50 ; 68Q52

... Lire [+]

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

- 272 p.
ISBN 978-2-225-81632-1

Etudes et recherches en informatique

Localisation : Ouvrage RdC (BEST)

intelligence artificielle # langage # linguistique # logique temporelle # traitement du temps

58TXX ; 68Q45 ; 68Q50 ; 68Q55 ; 68S05

... Lire [+]

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

- 431 p.

Localisation : Ouvrage RdC (COHE)

automatique théorique # conception et fabrication de logiciel # informatique # informatique theorique # langage # langage de programmation

68-01 ; 68-02 ; 68Nxx ; 68Q45 ; 68Q50

... Lire [+]

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

- 196 p.

Collection programmation

Localisation : Ouvrage RdC (GROS)

automate fini # calculabilité # décidabilité # grammaire formelle # grammaire transformationnelle # langage algébrique # langage de Chomsky # langage de Kleene # machine de Turing # monoïde libre # mot # programmation # système combinatoire # système formel

03B25 ; 03D40 ; 68Q05 ; 68Q45 ; 68Q50

... Lire [+]

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

- 352 p.
ISBN 978-0-12-597140-9

Pure and applied mathematics , 0090

Localisation : Ouvrage RdC (ROZE)

grammaire d'itérations # homomorphisme unique itéré # langage formel # plusieurshomomorphisme itérés # substitution finie simple itérée # système iL # systèmes DOL,OL,EOL,TOL,ETOL # théorie mathématique des systèmes L

03D05 ; 68Q42 ; 68Q45 ; 68Q50

... Lire [+]

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

- 254 p.

Mathematics in science and engineering , 0029

Localisation : Ouvrage RdC (MARC)

algèbre # genre grammatical # grammaire # langage # langage formel # langage naturel # linguistique algébrique # linguistique mathématique # logique algébrique

03D05 ; 20M35 ; 68Q45 ; 68Q50 ; 68S05

... Lire [+]

Z