m

F Nous contacter

0

Documents  Salomaa, Arto | enregistrements trouvés : 14

O
     

-A +A

P Q

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.


ISBN 978-981-02-2682-4

Localisation : Colloque 1er étage (MAGD)

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

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

- 625 p.
ISBN 978-3-540-60649-9

Localisation : Ouvrage RdC (Hand)

mot # langage formel # grammaire # logique # linguistique # intelligence artificielle # génétique moléculaire # complexité # cryptologie # modélisation linéaire

68Q45 ; 68-00 ; 68-XX ; 68P25

... Lire [+]

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

- 528 p.
ISBN 978-3-540-60648-2

Localisation : Ouvrage RdC (Hand)

mot # langage formel # grammaire # logique # linguistique # intelligence artificielle # génétique moléculaire # complexité # cryptologie # modélisation linéaire

68Q45 ; 68-00 ; 68-XX ; 68P25

... Lire [+]

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

- 873 p.
ISBN 978-3-540-60420-4

Localisation : Ouvrage RdC (Hand)

mot # langage formel # grammaire # logique # linguistique # intelligence artificielle # génétique moléculaire # complexité # cryptologie # modélisation linéaire

68Q45 ; 68-00 ; 68-XX ; 68P25

... Lire [+]

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

- 464 p.
ISBN 978-3-540-62844-6

Lecture notes in computer science , 1218

Localisation : Collection 1er étage

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

... Lire [+]

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

- 271 p.
ISBN 978-3-540-61356-5

Texts in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (SALO)

RSA # atteignabilité # cryptoganalyse # cryptographie à clef publique # cryptosystème # défense # protocole cryptographique # stratégie d'attaque # système à havresac

11T71 ; 68T25 ; 94A60

... Lire [+]

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

- 240 p.
ISBN 978-3-540-57456-9

Monographs in theoretical computer science

Localisation : Ouvrage RdC (CALU)

algorithmique # codage # complexité aléatoire # fonction aléatoire # hasard # statistique # suite aléatoire # théorie de l'information

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

... Lire [+]

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

- 245 p.
ISBN 978-3-540-52831-9

EATCS monographs on theoretical computer science , 0023

Localisation : Ouvrage RdC (SALO)

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

... Lire [+]

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

- 372 p.
ISBN 978-2-200-21063-2

Localisation : Ouvrage RdC (SALO)

automate # complexité # cryptographie # informatique théorique # langage # logique # machine de turing

68-01 ; 68Q05 ; 68Qxx

... Lire [+]

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

- 284 p.
ISBN 978-0-521-30245-6

Encyclopedia of mathematics and its applications , 0025

Localisation : Collection 1er étage

03D15 ; 68D15 ; 68F10

... Lire [+]

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

- 144 p.
ISBN 978-0-914894-69-8

Localisation : Ouvrage RdC (SALO)

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

... Lire [+]

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

- 352 p.
ISBN 978-0-12-597140-9

Pure and applied mathematics , 0090

Localisation : Ouvrage RdC (ROZE)

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

... Lire [+]

Z