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 [+]
