m

Documents  Critères de recherche : "Automata, languages and programming" | enregistrements trouvés : 25

O

-A +A

P Q

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

- 671 p.
ISBN 978-3-540-10003-4

Lecture notes in computer science , 0085

Localisation : Collection 1er étage

automate # complexité # informatique théorique # progammation # théorie des langages

68-XX

... Lire [+]

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

- 682 p.
ISBN 978-3-540-09510-1

Lecture notes in computer science , 0071

Localisation : Collection 1er étage

combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-06 ; 68N05 ; 68N15 ; 68R05 ; 68Rxx

... Lire [+]

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

- 508 p.
ISBN 978-3-540-08860-8

Lecture notes in computer science , 0062

Localisation : Collection 1er étage

combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX ; 68N15 ; 68Rxx

... Lire [+]

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

- 569 p.
ISBN 978-3-540-08342-9

Lecture notes in computer science , 0052

Localisation : Collection 1er étage

automate # combinatoire # informatique théorique # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX

... Lire [+]

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

- 552 p.
ISBN 978-3-540-10843-6

Lecture notes in computer science , 0115

Localisation : Collection 1er étage

automate # complexité # langage # logique # programmation

68-XX

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

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

- 762 p.
ISBN 978-3-540-54233-9

Lecture notes in computer science , 0510

Localisation : Collection 1er étage

algorithme # automate # complexité # langage des automates # langage forme # programmation fonctionnelle # programmation # programmation logique

68Q68

... Lire [+]

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

- 719 p.
ISBN 978-3-540-55719-7

Lecture notes in computer science , 0623

Localisation : Collection 1er étage

algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10

... Lire [+]

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

- 683 p.
ISBN 978-3-540-60084-8

Lecture notes in computer science , 0944

Localisation : Collection 1er étage

algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique

68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx

... Lire [+]

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

- 788 p.
ISBN 978-3-540-51371-1

Lecture notes in computer science , 0372

Localisation : Collection 1er étage

algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve

68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05

... Lire [+]

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

- 695 p.
ISBN 978-3-540-56939-8

Lecture notes in computer science , 0700

Localisation : Collection 1er étage

calcul informatique # cryptologie # encryptage des données # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # structure des données # technique de programmation

68N05 ; 68Nxx ; 68P05 ; 68P25 ; 68Rxx

... Lire [+]

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

- 782 p.
ISBN 978-3-540-58201-4

Lecture notes in computer science , 0775

Localisation : Collection 1er étage

algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...

68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80

... Lire [+]

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

- 680 p.
ISBN 978-3-540-61440-1

Lecture notes in computer science , 1099

Localisation : Collection 1er étage

algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information

68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx

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

- 684 p.
ISBN 978-3-540-09510-1

Lecture notes in computer science , 0071

Localisation : Collection 1er étage

algorithme machine # algorithmique # calcul parallèle # grammaire # informatique graphique # informatique théorique # langages # logique de programmation # machine de Turigny # mode de calcul # programmation parallèle # représentation de langages # répartition et stockage des données # réécriture des systèmes # stucture des données

68-XX

... Lire [+]

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

- 780 p.
ISBN 978-3-540-52826-5

Lecture notes in computer science , 0443

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68P05 ; 68Q68 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx ; 68U05

... Lire [+]

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

- 619 p.
ISBN 978-3-540-06841-9

Lecture notes in computer science , 0014

Localisation : Collection 1er étage

automate fini # grammaire algébrique # machine de Turing # schéma programme # théorie de la complexité

00Bxx ; 68-06

... Lire [+]

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

- xiv; 1083 p.
ISBN 978-3-540-42287-7

Lecture notes in computer science , 2076

Localisation : Collection 1er étage

informatique # automate # language # programmation

00B25 ; 68-06

... Lire [+]

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

- xxii; 789 p.
ISBN 978-3-642-02926-4

Lecture notes in computer science , 5555

Localisation : Collection 1er étage

informatique # logiciel

68-06 ; 68Nxx ; 68Qxx ; 00B25

... Lire [+]

Z