m

Documents  F.3.2 | enregistrements trouvés : 14

O
     

-A +A

P Q

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

- 435 p.
ISBN 978-3-540-61464-7

Lecture notes in computer science , 1103

Localisation : Collection 1er étage

algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes

68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70

... Lire [+]

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

- 478 p.
ISBN 978-3-540-10699-9

Lecture notes in computer science , 0107

Localisation : Collection 1er étage

informatique théorique # langage de programmation # programmation # structure de données # techniques de programmation # théorie de la programmation

68-02 ; 68A05 ; 68A30

... Lire [+]

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

- 255 p.
ISBN 978-90-6196-255-7

Mathematical centre tracts , 0159

Localisation : Collection 1er étage

informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma

68B10 ; 68C05

... Lire [+]

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

- 208 p.
ISBN 978-3-540-17184-3

Lecture notes in computer science , 0242

Localisation : Collection 1er étage

calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation

68N05 ; 68N15 ; 68Q40 ; 68R15

... Lire [+]

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

- 562 p.
ISBN 978-3-540-50110-7

Lecture notes in computer science , 0324

Localisation : Collection 1er étage

caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 68Rxx

... Lire [+]

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

- 422 p.
ISBN 978-3-540-17654-1

Lecture notes in computer science , 0252

Localisation : Collection 1er étage

langage de programmation # programmation # technique de programmation

... Lire [+]

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

- 301 p.
ISBN 978-3-540-56254-2

EATCS monographs on theoretical computer science

Localisation : Ouvrage RdC (SCHM)

algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01

... Lire [+]

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

- 715 p.
ISBN 978-3-540-56583-3

Monographs in theoretical computer science an EATCS series

Localisation : Ouvrage RdC (NAIT)

dynamique des processus logiques # ion d'information partiel # langage de programmation # logique de proposition partielle # logique et spécification de programme # logique mathématique # méthode # physique théorique # programmation logique # représentation de connaissance # système logique # sémantique # théorème de preuve # vérification de programme

68N15 ; 68Q45 ; 68Q50 ; 68Q55 ; 68Qxx

... Lire [+]

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

- 724 p.
ISBN 978-3-540-54125-7

Localisation : Ouvrage RdC (High)

architecture des processeurs # gestion de systemes # graphe # langage de programmation # réseau de Pietri # stochastique # technique de programmation # théorie des modeles

68M10 ; 68Mxx ; 90B15 ; 94A05

... Lire [+]

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

- 205 p.
ISBN 978-90-6196-292-2

CWI tract , 0019

Localisation : Collection 1er étage

03B15 ; 03G15 ; 08A99 ; 68F05 ; 68F20

... Lire [+]

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

- 285 p.
ISBN 978-3-540-54947-5

Lecture notes in computer science , 0558

Localisation : Collection 1er étage

système temps réel # temps réel

68M15 ; 68Mxx

... Lire [+]

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

- 164 p.
ISBN 978-3-540-53031-2

Lecture notes in computer science , 0454

Localisation : Collection 1er étage

algorithmique de graphe # combinatoire # générateur # informatique théorique # mode de calcul # problème de mots # relation # réécriture des systèmes # semi-groupe libre # théorie des graphes

05C85 ; 20M05 ; 68Q10 ; 68Q42 ; 68R15

... Lire [+]

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

- 308 p.
ISBN 978-3-540-51414-5

EATCS monographs on theoretical computer science , 0018

Localisation : Ouvrage RdC (DASS)

complexité syntaxique # grammaire # informatique théorique # langage # langage de programmation # réécriture des systèmes

68Q42 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 316 p.
ISBN 978-90-6196-402-5

CWI tract , 0081

Localisation : Collection 1er étage

conception et sémantique # informatique théorique # langage objet-orienté parallèle # logique # mode de calcul # parallélisme # programmation parallèle

68Q10 ; 68Q55

... Lire [+]

Z