Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 515 p.
ISBN 978-981-238-099-9
Localisation : Colloque 1er étage (COIM)
théorie des groupes # informatique # semi-groupe # algorithme # automate # langage # langage formel
20-06 ; 68-06 ; 68Q45 ; 68Q70
... 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.
- 741 p.
ISBN 978-3-540-19488-0
Lecture notes in computer science , 0317
Localisation : Collection 1er étage
algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données
68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-61464-7
Lecture notes in computer science , 1103
Localisation : Collection 1er étage
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 339 p.
ISBN 978-0-521-42726-5
London mathematical society lecture note series , 0177
Localisation : Collection 1er étage
camonade # catégorie # informatique # reécriture d'algorithme # sémantique
18Bxx ; 18Cxx ; 68-02 ; 68Q55 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-691-08479-4
Nonlinear science : theroy and applications
Localisation : Colloque 1er étage (PARI)
reseaux informatique
68Q70 ; 68Q80
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 396 p.
ISBN 978-0-387-13350-8
Lecture notes in computer science , 0174
Localisation : Collection 1er étage
68Q40 ; 68Q70 ; 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.
- xi; 294 p.
ISBN 978-1-316-60652-0
London mathematical society student texts , 0088
Localisation : Collection 1er étage
théorie des groupes # langage formel # théorie des automates mathématiques
20-02 ; 20F65 ; 20M35 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 153 p.
ISBN 978-1-4939-0747-2
SpringerBriefs in mathematics
Localisation : Ouvrage RdC (LOHR)
informatique théorique # théorie combinatoire des groupes # compression de données # programmation
20F10 ; 20M05 ; 68Q17 ; 68Q42 ; 68-02 ; 68Q25 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 248 p.
ISBN 978-0-521-19022-0
Encyclopedia of mathematics and its applications , 0137
Localisation : Collection 1er étage
anneau commutatif # série de puissances # automate # théorème de Schützenberger
13-02 ; 13F25 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxiv; 758 p.
ISBN 978-0-521-84425-3
Localisation : Ouvrage RdC (SAKA)
informatique # théorie des automates # méthode formelle # transducteur # combinatoire # linguistique # groupe hyperbolique # théorie algébrique des nombres
68Q45 ; 20M35 ; 68Q70 ; 68-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xix; 439 p.
ISBN 978-3-642-14033-4
Springer monographs in mathematics
Localisation : Ouvrage RdC (CECC)
automate cellulaire # théorie des groupes géométriques # théorème de surjonctivité de Grmov-Weiss # conjecture de Kaplansky
37B15 ; 68Q80 ; 20F65 ; 43A07 ; 16S34 ; 20C07 ; 37-02 ; 20-02 ; 20M35 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 278 p.
ISBN 978-981-283-745-5
Localisation : Ouvrage RdC (DENE)
système algébrique # informatique # catégories d'algèbres # catégories équationnelles # théorie algébrique des automates # algèbre universel # coalgèbre # théorie des catégories # clone # théorème de Birkhoff # treillis de Post # bi-simulation
08-01 ; 08-02 ; 08A70 ; 08C05 ; 18C05 ; 68Q65 ; 68Q70 ; 68Q85
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 323 p.
ISBN 978-0-8218-4431-1
Mathematical surveys and monographs , 0148
Localisation : Collection 1er étage
auto-distributivité # groupe de tresses # ordre # plan hyperbolique # espace de configuration # problème de mots # automate # algorithme
20F36 ; 06F05 ; 06F15 ; 20B30 ; 20F34 ; 20F38 ; 57M25 ; 57M50 ; 68Q25 ; 68Q70 ; 55-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 255 p.
ISBN 978-0-521-61324-8
Localisation : Ouvrage RdC (ANDE)
langage formel # modèle de calcul # théorie algébrique des automates # informatique # machine de Turing # grammaire
68-01 ; 68Q45 ; 92C40 ; 68Q05 ; 68Q10 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 396 p.
ISBN 978-0-471-43960-8
Localisation : Ouvrage RdC (DU)
informatique # automate # langage formel # machine de Turing # complexité # complétude -NP
68Q45 ; 68Q70 ; 68Q05
... Lire [+]
