Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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.
- 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.
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.
- 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.
- 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.
- 431 p.
ISBN 978-0-471-89102-4
Localisation : Ouvrage RdC (SIMS)
algèbre abstraite # algorithme algébrique # traitement informatique
68Q30 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 198 p.
ISBN 978-0-387-96780-6
Universitext
Localisation : Ouvrage RdC (GARD)
algèbre de Boole # algèbre informatique # anneau # automatique # corps # groupe # langage # monoide # sémantique # théorie des groupes # théorie des nombres # transformée de Fourier
68Q70 ; 68Rxx
... 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.
- 306 p.
ISBN 978-2-225-81177-7
Localisation : Ouvrage RdC (DIEU)
analyse numérique # automatique # convolution # équation différentielle # équation intégrale de type convolutive
45E10 ; 65Lxx ; 65U05 ; 68Q70 ; 68Q75
... 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.
- 283 p.
ISBN 978-3-211-81776-6
Localisation : Ouvrage RdC (Comp)
algèbre de l'informatique
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.
- 316 p.
ISBN 978-0-387-96905-3
Localisation : Ouvrage RdC (BUCH)
algèbre # automate # mathématique discrète # théorie des machines séquentielles
68Q68 ; 68Q70 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- pag. mult.
Localisation : Ouvrage RdC (PAVE)
reconnaissance des formes # théorie des automates mathématiques
68Q70 ; 68T10 ; 68-01
... Lire [+]
