m

Documents  68Q70 | enregistrements trouvés : 33

O

-A +A

P Q

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

- vii; 199 p.
ISBN 978-0-8218-7563-6

Contemporary mathematics , 0582

Localisation : Collection 1er étage

théorie des groupes # cryptographie

20-XX ; 68-XX ; 20-06 ; 20F05 ; 94-06 ; 94A60 ; 20-04 ; 20C40 ; 68Q70 ; 00B25

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

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

... Lire [+]

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.


ISBN 978-0-8186-0644-1

Localisation : Colloque 1er étage (PONT)

algorithme # automatique # informatique # ordinateur

68-06 ; 68Q25 ; 68Q30 ; 68Q70 ; 68R10

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

- 557 p.
ISBN 978-3-540-09519-4

Lecture notes in computer science , 0072

Localisation : Collection 1er étage

65-06 ; 65Lxx ; 65Mxx ; 68Q40 ; 68Q70

... Lire [+]

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

Z