m

F Nous contacter

0

Documents  68Q45 | enregistrements trouvés : 105

O

-A +A

P Q

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

Research schools;Algebra;Combinatorics;Computer Science;Number Theory

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.


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.

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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

- 551 p.
ISBN 978-3-540-08921-6

Lecture notes in computer science , 0064

Localisation : Collection 1er étage

automate # complexité informatique # information théorique # intelligence artificielle # langage formel # recherche d'information # théorie des automates

03C80 ; 03C99 ; 68Wxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 468 p.
ISBN 978-3-540-13883-9

Lecture notes in computer science , 0181

Localisation : Collection 1er étage

algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données

68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx

... Lire [+]

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

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection 1er étage

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

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

- 397 p.
ISBN 978-3-540-16066-3

Lecture notes in computer science , 0208

Localisation : Collection 1er étage

automate # calcul # combinatoire # complexité # informatique théorique # intelligence artificielle # langage de programmation # logique de la programmation # logique mathématique # mathématiques discrètes # parallèle # programmation parallèle # théorie des graphes

68Q10 ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 474 p.
ISBN 978-3-540-16761-7

Lecture notes in computer science , 0226

Localisation : Collection 1er étage

algèbre linéaire numérique # analyse des algorithmes et complexité des problèmes # approximation # calcul par des appareils abstraits # logique et signification des programmes # logique mathématique et langage formels # théorie des graphes

68Q05 ; 68Q25 ; 68Q45 ; 68R10

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

- 256 p.
ISBN 978-3-540-55124-9

Lecture notes in computer science , 0572

Localisation : Collection 1er étage

algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve

68P05 ; 68Q45 ; 68Q50 ; 68Q55

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

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


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.

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

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

- 628 p.
ISBN 978-3-540-64230-5

Lecture notes in computer science , 1373

Localisation : Collection 1er étage

algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation

68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx

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

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

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

Z