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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
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.
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.
- 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.
- 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 357 p.
ISBN 978-0-387-90698-0
Localisation : Oeuvres complètes RdC (ELGO)
Elgot # algorithme abstrait # automate de sortie # calcul monadique # filet logique # langage de programmation # mathématique # oeuvres choisies # processus séquentiel coordonnés # programmation structurée # théorie de récursion # théorie des machines # équation d'itération # oeuvres complètes
01A75 ; 03Dxx ; 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.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 316 p.
ISBN 978-0-387-96905-3
Localisation : Ouvrage RdC (BUCH)
algèbre # automate # mathématique discrète # théorie des machines séquentielles
68Q68 ; 68Q70 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 283 p.
Annals of mathematics studies , 0034
Localisation : Ouvrage RdC (Auto)
automate fini # informatique # machine de Turing # modèle de calcul # synthèse d'automate # théorie des automates
68-XX ; 68Q05 ; 68Q68
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (Comp)
analyse d'inférence # déduction # heuris tique # informatique théorique # mathématique mécanique # mécanisation de la théorie des équations # méthode de la preuve # programmation informatique # système formel # théorie algébrique des langages à contexte libre # théorie des automates
03D05 ; 03Fxx ; 68Q45 ; 68Q68 ; 68Qxx
... Lire [+]
