m

F Nous contacter

0

Documents  Engeler, Erwin | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 245 p.
ISBN 978-3-540-11160-3

Lecture notes in computer science , 0125

Localisation : Collection 1er étage

algorithmique # grammaire # langage # logique # sémantique # syntaxe

68N17

... Lire [+]

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

- 142 p.
ISBN 978-0-8176-3801-6

Progress in theoretical computer science

Localisation : Ouvrage RdC (ENGE)

algèbre combinatoire # algébrisation d'algorithme # algébrisation d'algèbre universelle # calcul algébrique # informatique logique # programme combinatoire # protologique

05-02 ; 17Bxx ; 68Qxx

... Lire [+]

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

- 257 p.
ISBN 978-981-02-0872-1

Localisation : Oeuvres complètes RdC (ENGE)

algèbre combinatoire # algébraisation d'algorithmes # approximation algorithmique # corps différentiel combinatoire # logique de "peut faire" # logique des propriétés algorithmiques # modélisation # propriété algorithmique des structures # structure de problème # théorie de Galois # théorie des constructions géométriques # Engeler # oeuvres complètes

03C05 ; 08Axx ; 11S20 ; 51M15 ; 68Qxx

... Lire [+]

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

- 232 p.
ISBN 978-2-225-81967-4

Etudes et recherches en informatique

Localisation : Ouvrage RdC (AUDU)

algorithme parallèle # logique modale # logique temporelle # parallèle # programme parallèle # programme séquentiel # système distribué # sémantique # validation de programmes # vérification de programme

03B45 ; 03B70 ; 68Q55 ; 68Q60

... Lire [+]

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

- 81 p.

Lectures in advanced mathematics , 0003

Localisation : Ouvrage RdC (ENGE)

automate # grammaire formelle # langage algorithmique # langage formel # machine séquentielle # signature des programmes # structure mathématique # théorie algorithmique des nombres

03D05 ; 68Q45 ; 68Q50

... Lire [+]

Z