m

F Nous contacter

0

Documents  Critères de recherche : "Le langage C" | enregistrements trouvés : 47

O

-A +A

P Q

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

- 281 p.
ISBN 978-2-7225-0424-0

Localisation : Colloque 1er étage (BONA)

automate # langage formel # langage algébrique # informatique théorique

00Bxx ; 68Q45 ; 68-06

... Lire [+]

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

- 120 p.

Localisation : Salle de manutention

complexité des algorithmes # informatique théorique # mathématique discrète

68Q25 ; 68Q45 ; 68Q55 ; 68Qxx ; 94Axx ; 94Bxx

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

Publications du departement de mathematiquess

Localisation : Colloque 1er étage (AVIG)

algorithme # automate # complexite des algorithmes # langage

68Q25

... Lire [+]

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

Localisation : Colloque 1er étage (MURO)

addition # algèbre associative de dimension infinie # alphabet infini # ensemble d'essai # ensemble d'égalité # ensemble reconnaissable de mot bi-infini # fonction rationnelle # intersection des CFL # langage commutatif # langage context-free # langage de type FIFO ou LIFO # langage formel # mot infini # mélange itéré des cartes # représentation # substitution # théorie des langages # transduction rationnelle # équivalence des langages NTS

68FXX

... Lire [+]

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

Research talks;Computer Science

68N15 ; 68Q55

... Lire [+]

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

- viii; 205 p.
ISBN 978-2-7598-1194-6

Localisation : Loisir RdC

récréation mathématique # langage mathématique # humour

00A08 ; 00A06 ; 97-01

... Lire [+]

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


ISBN 978-2-87908-009-3

Localisation : Salle Informatique 1er étage

changement de l'implémentation # changement du langage # convention # convertisseur # description de page # encodage standard # exécution multiple # format de fichier postscript encapsulé # graphique # jeu de caractère # langage postscript # limite de l'implémentation # opérateur standard du langage postscript # pendu couleur # police de caractère # périphérique de sortie # stratégie de compatibilité # structure des documents # système graphique et fenétrage changement de l'implémentation # changement du langage # convention # convertisseur # description de page # encodage standard # exécution multiple # format de fichier postscript encapsulé # graphique # jeu de caractère # langage postscript # limite de l'implémentation # opérateur standard du langage postscript # pendu couleur # police de caractère # périphérique de sortie # stratégie de compatibilité # structure des documents # système graphique ...

68N15 ; 68N99

... Lire [+]

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


ISBN 978-2-84180-079-7

Localisation : Disparu

langage C++ # langage de programmation

68N15

... Lire [+]

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


ISBN 978-2-7117-8839-2

Collection "Vuibert Supérieur"

Localisation : Enseignement RdC (MONA)

arbre # automate et langage # expression algébrique # flux # programmation Caml

68-01

... Lire [+]

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

- 276 p.

Localisation : Ouvrage RdC (BOUD)

calcul des propositions # calcul des prédicats # langage mathématique # logique mathématique axiomatique # logique mathématique non axiomatique # quantificateur fini ou relatif # relativité des langages # syntaxe et sémantique # théorie des langages # théorie quantifiée # théorie égalitaire

03Bxx ; 68Qxx ; 68SXX

... Lire [+]

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

- 166 p.
ISBN 978-2-225-82567-5

Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

... Lire [+]

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

- 288 p.
ISBN 978-2-225-81953-7

Logique mathématiques informatique , 0004

Localisation : Ouvrage RdC (MARG)

Pascal # analyse des algorithmes # complexité des algorithmes # dérécursification # langage de programmation # logique du premier ordre # preuve de programme # récursivité # standard # vérification de programme

03B10 ; 68N05 ; 68N15 ; 68Q25

... Lire [+]

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

- 278 p.
ISBN 978-2-225-81087-9

Etudes et recherches en informatique

Localisation : Ouvrage RdC (AUTE)

informatique des langages # informatique théorique # langage algébrique

68Q70

... Lire [+]

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


ISBN 978-2-7108-0581-6

Collection informatique

Localisation : Salle Informatique 1er étage

TURBO C # bibliothèque de programmation # compilateur # langage de programmation

68N15 ; 68N20

... Lire [+]

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


ISBN 978-2-7108-0593-9

Collection informatique

Localisation : Salle Informatique 1er étage

TURBO C # compilateur # langage de programmation # outil de programmation

68N15 ; 68N20

... Lire [+]

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

- 287 p.
ISBN 978-2-225-81900-1

Logique mathématiques informatique , 0003

Localisation : Ouvrage RdC (MARG)

Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité

03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17

... Lire [+]

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

- Pp. 1157-2383
ISBN 978-2-85036-187-6

Le Robert Langage & Culture

Localisation : Encyclopédie RdC

... Lire [+]

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

- 1156 p.
ISBN 978-2-85036-187-6

Le Robert Langage & Culture

Localisation : Encyclopédie RdC

... Lire [+]

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

- 924 p.
ISBN 978-2-85036-112-8

Le Robert Langage & Culture

Localisation : Encyclopédie RdC

... Lire [+]

Z