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