En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Salomaa, Arto 14 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computation and automata Salomaa, Arto | Cambridge University Press 1985

Ouvrage

- 284 p.
Cote : 00008889

03D15 ; 68D15 ; 68F10

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Jewels of formal language theory Salomaa, Arto | Computer Science Press ; Inc. 1981

Ouvrage

- 144 p.
Cote : 00005087
science informatique # formule de langage # grammaire # logique mathématique et fondation # théorie de la comptabilité et de la récursion # automates et grammaires formelles en liaison avec des questions logiques

00A30 ; 03Bxx ; 68F05

Localisation : Ouvrage RdC (SALO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The mathematical theory of l systems Rozenberg, Grzegorz ; Salomaa, Arto | Academic Press 1980

Ouvrage

- 352 p.
Cote : 00005057
grammaire d'itérations # homomorphisme unique itéré # langage formel # plusieurshomomorphisme itérés # substitution finie simple itérée # système iL # systèmes DOL,OL,EOL,TOL,ETOL # théorie mathématique des systèmes L

03D05 ; 68Q42 ; 68Q45 ; 68Q50

Localisation : Ouvrage RdC (ROZE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Automata,languages and programming :
fourth colloquium,university of turku#July 18-22 Salomaa, Arto ; Steinby, Magnus | Springer-Verlag 1977

Congrès

- 569 p.
Cote : 00012108
automate # combinatoire # informatique théorique # langage de progammation # mathématique discrète # processeur # théorie des langages

68-XX

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction à l'informatique théorique :
calculabilité & complexité Salomaa, Arto | Armand Colin 1989

Ouvrage

- 372 p.
Cote : 00012974
automate # complexité # cryptographie # informatique théorique # langage # logique # machine de turing

68-01 ; 68Q05 ; 68Qxx

Localisation : Ouvrage RdC (SALO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Public-key cryptography Salomaa, Arto | Springer-Verlag 1990

Ouvrage

- 245 p.
Cote : 00015500
chiffrement des données # classe de complexité # communication # complexité d'un problème # corps finis # cryptographie # cryptosystème à clé publique # information # informatique # informatique théorique # standard de chiffrement des données # théorie algébrique du codage # théorie des données

68-XX ; 68P25 ; 68Pxx ; 94A60 ; 94Axx

Localisation : Ouvrage RdC (SALO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Information and randomness
an algorithmic perspective Calude, Cristian ; Chaitin, Gregory J. ; Salomaa, Arto | Springer-Verlag 1994

Ouvrage

- 240 p.
Cote : 00017476
algorithmique # codage # complexité aléatoire # fonction aléatoire # hasard # statistique # suite aléatoire # théorie de l'information

62B10 ; 68Q30 ; 68U99 ; 94-XX ; 94A15

Localisation : Ouvrage RdC (CALU)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Developments in language theory II
at the crossroads of mathematics, computer science and biology
July 17-21 Dassow, Jürgen ; Rozenberg, Grzegorz ; Salomaa, Arto | World Scientific 1996

Congrès


Cote : 00019604
accepteur de langage neuronal # automate auto-modifiant # automate cellulaire # biologie # concurrence # dérivation contrôlée # graphe # informatique # logique temporelle linéaire propositionnelle # mathématique # mot infini # robustesse en analyse grammaticale # suite et code # synonymie # système de grammaire # sémantique de langage finitaire # théorie du langage

03B65 ; 05Cxx ; 68Qxx ; 92-XX

Localisation : Colloque 1er étage (MAGD)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Public-key cryptography Salomaa, Arto | Springer 1996

Ouvrage

- 271 p.
Cote : 00019673
RSA # atteignabilité # cryptoganalyse # cryptographie à clef publique # cryptosystème # défense # protocole cryptographique # stratégie d'attaque # système à havresac

11T71 ; 68T25 ; 94A60

Localisation : Ouvrage RdC (SALO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

New trends in formal languages :
control, cooperation, and combinatorics Paun, Gheorghe ; Salomaa, Arto | Springer 1997

Ouvrage

- 464 p.
Cote : 00021656
formalisme # grammaire et réécriture des systèmes # informatique théorique # intelligence artificielle # langage formel # représentation # représentation de connaissance

68Q45 ; 68Q50 ; 68Q55 ; 68T25 ; 68T30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

Langue