Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 628 p.
ISBN 978-3-540-64230-5
Lecture notes in computer science , 1373
Localisation : Collection 1er étage
algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation
68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 723 p.
ISBN 978-3-540-56503-1
Lecture notes in computer science , 0665
Localisation : Collection 1er étage
algorithme efficient # analyse numérique # arithmétique de l'informatique # calcul distribué # calcul informatique # calcul parallèle # calcul réparti # complexité de calcul informatique # conception logique # géométrie de l'informatique # informatique théorique # logique # mathématique discrète # sous-algorithmique # structure logique # système d'exploitation # technique de programmation # théorie des automates # théorie du langage
68N05 ; 68N25 ; 68Q10 ; 68Q22 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Mathématiques et informatique
Localisation : Colloque 1er étage (PARI)
automate # décidabilité # logique # mathématique discrète # mathématiques et informatique # matroïde # opérateur # réécriture des systèmes
68N05 ; 68Q42 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 262 p.
ISBN 978-3-540-12925-7
Lecture notes in computer science , 0167
Localisation : Collection 1er étage
construction et structure de langage # langage de programmation # programmation # techniques de programmation
68N15 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 376 p.
ISBN 978-3-540-56320-4
Lecture notes in computer science , 0653
Localisation : Collection 1er étage
automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision
68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 419 p.
ISBN 978-3-540-54967-3
Lecture notes in computer science , 0560
Localisation : Collection 1er étage
algorithme # algorithmique # automate # complexité # informatique théorique # sémantique # théorie des automates # type
68Q15 ; 68Q55 ; 68Q68 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 397 p.
ISBN 978-3-540-16066-3
Lecture notes in computer science , 0208
Localisation : Collection 1er étage
automate # calcul # combinatoire # complexité # informatique théorique # intelligence artificielle # langage de programmation # logique de la programmation # logique mathématique # mathématiques discrètes # parallèle # programmation parallèle # théorie des graphes
68Q10 ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-306-44080-9
NATO ASI series , 0280
Localisation : Colloque 1er étage (COMO)
L-système # application de tore # automate auto-reproduisant # chaos spatio-temporel # classe d'Epstein # codage # complexité déroulante # complexité entropie et physique de l'information # dynamique de fonction d'échelle # fonction de présentation # formation de forme # forme dans le chaos # forme de croissance # forme simple ou complexe # front courbe stable # helium liquide # lissité de Zygmund # modélisation de comportement d'échelle asymptotique # ordre # quasi- périodicité # renormalisation # spectre de puissance de signal mesuré # structure fractale # théorème des fonctions implicites # treillis d'application couplé # verrouillage de mode # échelle universelle en connection de Rayleigh-Bénard
L-système # application de tore # automate auto-reproduisant # chaos spatio-temporel # classe d'Epstein # codage # complexité déroulante # complexité entropie et physique de l'information # dynamique de fonction d'échelle # fonction de présentation # formation de forme # forme dans le chaos # forme de croissance # forme simple ou complexe # front courbe stable # helium liquide # lissité de Zygmund # modélisation de comportement d'échelle ...
15A12 ; 15A60 ; 58F13 ; 65F35 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 215 p.
ISBN 978-0-387-15641-5
Lecture notes in computer science , 0192
Localisation : Collection 1er étage
arbres # automate # informatique théorique # logique
03D05 ; 68Q68 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 508 p.
ISBN 978-3-540-96022-5
Lecture notes in computer science , 0170
Localisation : Collection 1er étage
algèbre # automatique # engineering # logique mathématique # logique symbolique
03D05 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-2-225-80266-9
Etudes et recherches en informatique
Localisation : Ouvrage RdC (PIN)
hiérarchisation # informatique théorique # langage des automates # langage rationnel # langage testable # semi-groupe # structure des semi-groupes finis # théorème de Schutzenberger # théorème de Simon # variété de groupes # variété de langages
03D05 ; 68Q68 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 151 p.
ISBN 978-3-540-18626-7
EATCS monographs on theoretical computer science , 0012
Localisation : Ouvrage RdC (BERS)
automate linéaire # informatique théorique # langage de série rationnelle # langage formel # théorie de machine sequentielle
68D15 ; 68Q45 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 107 p.
ISBN 978-3-540-13719-1
EATCS monographs on theoretical computer science , 0007
Localisation : Ouvrage RdC (GECS)
automate linéaire # informatique théorique # représentation de produit # théorie algébrique d'automate # théorie de machine séquentielle
68Q68 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 266 p.
ISBN 978-3-540-56149-1
Texts in theoretical computer science an EATCS series
Localisation : Ouvrage RdC (GARZ)
analyse d'automate cellulaire # calcul en parallèle # informatique théorique # réseau neuronal # traitement parallèle
68Q10 ; 68Q68 ; 68Q80
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 349 p.
ISBN 978-2-225-84011-1
Localisation : Ouvrage RdC (ARNO)
algèbre combinatoire # algébre de Boole # calcul ensembliste # chaine de Markov finie # comportement asymptoptique # ensembles ordonnés # fonction # graphe et arbre # langage rationnel et automate fini # logique # mathématique pour l'informatique # probabilités discrètes # récursion et induction # série génératrice
03G05 ; 05Cxx ; 06Exx ; 60Jxx ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 448 p.
ISBN 978-0-07-039910-5
McGray-Hill computer science series
Localisation : Ouvrage RdC (MANNA)
algorithme # automate # calcul des prédicats # informatique théorique # logique # machine de Turing # mathématique de l'informatique # programmation # théorie du point fixe # vérification de programme
03B05 ; 68Q05 ; 68Q60 ; 68Q68 ; 68Qxx
... Lire [+]