m

Documents  68Q68 | enregistrements trouvés : 39

O

-A +A

P Q

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.

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

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

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

- 780 p.
ISBN 978-3-540-52826-5

Lecture notes in computer science , 0443

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68P05 ; 68Q68 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx ; 68U05

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

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

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

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

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.

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

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

- 109 p.
ISBN 978-963-05-6373-4

Localisation : Ouvrage RdC (WALT)

automate # automatisme # histoire des inventions # histoire des technologies # machine # programme # technologie

68-03 ; 68Q68

... Lire [+]

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

- 211 p.

Prentice-Hall series in automatic computation

Localisation : Ouvrage RdC (HART)

algèbre de paire # contre réaction et erreur # décomposition d'un état # paire de partition # propriété de substitution # semigroupe et machine # structure algébrique des machines séquentielles # structure sans bouclage des machines

03D05 ; 68Q68

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

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

- 596 p.
ISBN 978-0-201-62716-9

Localisation : Ouvrage RdC (W)

automate cellulaire # bibliographie # complexité # cryptographie # fluide à automate cellulaire # génération de suite aléatoire # géométrie des coefficients binomiaux # indécidabilité et intractabilité en physique théorique # ingénierie de complexité # mécanique statistique des automates cellulaires # supercalcul par automaton cellulaire # système complexe # thermodynamique et hydrodynamique des automates cellulaires

01A70 ; 68P25 ; 68Q25 ; 68Q68 ; 68Q80

... Lire [+]

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

- 204 p.
ISBN 978-2-225-84173-6

Etudes et recherches en informatique

Localisation : Ouvrage RdC (BEAL)

communication # dynamique symbolique # information # informatique théorique # modèle de calcul # modèle de canal # système dynamique # théorie des automates # théorie des données # théorème de codage

68Pxx ; 68Q68 ; 94A24 ; 94A40 ; 94Axx

... Lire [+]

Z