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

Mathematical theory of computation Manna, Zahor | McGraw-Hill Book Company 1974

Ouvrage

V

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

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
iv>
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Rational series and their languages Berstel, Jean ; Reutenauer, Christophe | Springer-Verlag 1988

Ouvrage

V

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

Products of automata Gecseg, Ferenc | Springer-Verlag 1986

Ouvrage

V

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

Models of massive parallelism :
analysis of cellular automata and neural networks
Garzon, Max | Springer 1995

Ouvrage

V

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

Mathématiques pour l'informatique Arnold, Ludwig ; Guessarian, I | Masson 1993

Ouvrage

V

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

th:200px;">

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

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

Automata, languages and programming#July 16-20 Paterson, M. S. | Springer-Verlag 1990

Congrès

V

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