m

Documents  68Q45 | enregistrements trouvés : 105

O

-A +A

P Q

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

We will cover some of the more important results from commutative and noncommutative algebra as far as applications to automatic sequences, pattern avoidance, and related areas. Well give an overview of some applications of these areas to the study of automatic and regular sequences and combinatorics on words.

11B85 ; 68Q45 ; 68R15

... Lire [+]

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

- 120 p.

Localisation : Salle de manutention

complexité des algorithmes # informatique théorique # mathématique discrète

68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 94Axx ; 94Bxx

... Lire [+]

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

- 214 p.
ISBN 978-3-540-56730-1

Lecture notes in computer science , 0677

Localisation : Collection 1er étage

combinatoire # déduction # langage formel # logique mathématique # méthodologie de calcul # optimisation # structure des données informatiques # théorème de preuve

68P05 ; 68Q45 ; 68Qxx ; 68R05 ; 68T15

... Lire [+]

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

- 444 p.
ISBN 978-3-540-17187-4

Lecture notes in computer science , 0243

Localisation : Collection 1er étage

algorithme # analyse des algorithmes # logique # programmation logique # structure des données # traitement de données

68P05 ; 68Pxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 224 p.
ISBN 978-0-8218-3483-1

Contemporary mathematics , 0349

Localisation : Collection 1er étage

théorie des groupes # groupe de permutation # groupe non-abélien # théorie quantique # informatique # algorithme # groupe d'automorphisme # calcul quantique

20B40 ; 20E05 ; 20F28 ; 81P68 ; 68Q05 ; 68Q17 ; 68Q42 ; 68Q45 ; 68T05

... Lire [+]

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

- 519 p.
ISBN 978-3-540-15650-5

Lecture notes in computer science , 0194

Localisation : Collection 1er étage

algorithme # algorithmes distribués # combinatoire # complexité # informatique théorique # langage # langage de programmation # logique # mathématique discrètes # processeurs # sémantique # vérification des algorithmes

68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 506 p.
ISBN 978-3-540-55511-7

Lecture notes in computer science , 0598

Localisation : Collection 1er étage

calcul par dispositif abstraits # fondement mathématique de la sémantique de programmation # langage de programmat ion # lo gique mathématique et langage formel # logique et signification des programmes

68-06 ; 68N15 ; 68Q45 ; 68Q55 ; 68S05

... Lire [+]

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

- vi; 139 p.
ISBN 978-2-271-12611-5

Localisation : Colloque 1er étage (MARS);Ouvrage RdC (INFO)

informatique mathématique # transduction # mot sturmien # maillage 3D # poset, polynôme, polytope (popopo) # algorithmique distribuée # système d'agents mobiles

68Q45 ; 68R15 ; 68P20 ; 94A08 ; 52A25 ; 06A07

... Lire [+]

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

- 562 p.
ISBN 978-3-540-50110-7

Lecture notes in computer science , 0324

Localisation : Collection 1er étage

caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 68Rxx

... Lire [+]

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


ISBN 978-0-12-175520-1

A.p.i.c. studies in data proceeding , 0016

Localisation : Colloque 1er étage (DEBR)

68DXX ; 68F10 ; 68Q45 ; 68SXX ; 68T15

... Lire [+]

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

- 281 p.
ISBN 978-2-7225-0424-0

Localisation : Colloque 1er étage (BONA)

automate # langage formel # langage algébrique # informatique théorique

00Bxx ; 68Q45 ; 68-06

... Lire [+]

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

- 684p.
ISBN 978-3-540-58043-0

Lecture notes in computer science , 0803

Localisation : Collection 1er étage

informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle

00B25 ; 68-06 ; 68Q45 ; 68Q85 ; 68T15

... Lire [+]

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

- 219 p.
ISBN 978-3-540-55553-7

Lecture notes in computer science , 0601

Localisation : Collection 1er étage

analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information

68-06 ; 68Q40 ; 68Q45 ; 68Qxx ; 68Rxx

... Lire [+]

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


ISBN 978-3-540-05377-4

Lecture notes in mathematics , 0188

Localisation : Collection 1er étage

conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de type ALGOL # sémantique de langage algorithmique # sémantique formelle # théorie algébrique # treillis de diagramme de flot conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de ...

68Q45 ; 68N01 ; 68Q55 ; 68N17 ; 68P20 ; 68-06

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

- 347 p.
ISBN 978-3-540-63385-3

Lecture notes in computer science , 1289

Localisation : Collection 1er étage

algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45

... Lire [+]

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

- 421 p.
ISBN 978-3-540-73207-5

Lecture notes in computer science , 4588

Localisation : Collection 1er étage

langage formel # grammaire # analyse numérique # automate # arbre # graphe # combinatoires # propriété algébrique des mots # dynamique formelle # décision # complexité # cryptographie # calcul quantique

68-06 ; 68Q45 ; 00B25 ; 68R15

... Lire [+]

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

- 403 p.
ISBN 978-0-8218-0579-4

DIMACS series in discrete mathematics and theoretical computer science , 0029

Localisation : Collection 1er étage

classe de complexité # informatique théorique # langage formel # processus des données électroniques # processus distribué # programme # software # spécification # sémantique # théorie d'automate # vérification

68Q10 ; 68Q45 ; 68Q55 ; 68Q60

... Lire [+]

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

- 477 p.
ISBN 978-981-02-4948-9

Localisation : Colloque 1er étage (KYOT)

mot # langage formel # automate # combinatoire des mots # semi-groupe # code # cryptographie

20-06 ; 68-06 ; 68Q45 ; 05-06 ; 20Mxx ; 11T71

... Lire [+]

Z