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.
- 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.
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.
- 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.
- 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.
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.
- 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.
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.
- 412 p.
Prentice-Hall series in automatic computation
Localisation : Ouvrage RdC (ARBI)
automate # machine de Turing # fonction récursive # complexité # programmation # problème de Post # théorie de la décomposition algébrique # automate stochastique
68Q70 ; 68Q05
... 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 452 p.
ISBN 978-0-12-046370-1
Localisation : Ouvrage RdC (Reso)
information théorique # informatique # réecriture # résolution d'équation # structure algébrique # technique algébrique
65Kxx ; 65Lxx ; 65Mxx ; 68Q70 ; 68Uxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 107 p.
ISBN 978-3-540-13719-1
EATCS monographs on theoretical computer science , 0007
Localisation : Ouvrage RdC (GECS)
automate linéaire # informatique théorique # représentation de produit # théorie algébrique d'automate # théorie de machine séquentielle
68Q68 ; 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 [+]
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.
- 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 [+]
