m

F Nous contacter

0

Documents  D.3.1 | enregistrements trouvés : 40

O

-A +A

P Q

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


ISBN 978-963-05-4242-5

Localisation : Colloque 1er étage (GYOR)

langage de programmation # langage formel

68F05

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

- 523 p.
ISBN 978-3-540-15670-3

Lecture notes in computer science , 0197

Localisation : Collection 1er étage

algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

... Lire [+]

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

- 322 p.
ISBN 978-3-540-07804-3

Lecture notes in computer science , 0044

Localisation : Collection 1er étage

architecture des systèmes # programmation # programme # traitement des données # vérification de programme

68M07 ; 68Mxx ; 68P05 ; 68Q60

... Lire [+]

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

- 567 p.
ISBN 978-3-540-10007-2

Lecture notes in computer science , 0086

Localisation : Collection 1er étage

conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

... Lire [+]

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

- 365 p.
ISBN 978-3-540-11973-9

Lecture notes in computer science , 0145

Localisation : Collection 1er étage

algorithme non numériques et problèmes # langage de programmation # modes de calcul # spécification # structures de données # système d'exploitation # vérification et raisonnement

68N05 ; 68N25 ; 68P05 ; 68Q05 ; 68Q10

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

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection 1er étage

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

... Lire [+]

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

- 395 p.
ISBN 978-3-540-16816-4

Lecture notes in computer science , 0239

Localisation : Collection 1er étage

définitions formelles et théorie # langages de programmation # sémantique des langages de programmation

68N15 ; 68Q55

... Lire [+]

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

- 336 p.
ISBN 978-3-540-17611-4

Lecture notes in computer science , 0250

Localisation : Collection 1er étage

algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

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

- 278 p.
ISBN 978-3-540-50667-6

Lecture notes in computer science , 0343

Localisation : Collection 1er étage

algèbre # grammaire # langage de programmation # logique mathématique # programmation logique # reécriture des systèmes # technique de programmation

68N17 ; 68Q25

... Lire [+]

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

- 540 p.
ISBN 978-3-540-54430-2

Lecture notes in computer science , 0527

Localisation : Collection 1er étage

constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications

68N05 ; 68N15 ; 68Q10 ; 68Q60

... Lire [+]

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

- 433 p.
ISBN 978-3-540-54444-9

Lecture notes in computer science , 0528

Localisation : Collection 1er étage

algorithmique # implementation de langage # langage de programmation # logique # progammation # progammation logique # programmation oriente objet

... Lire [+]

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

- 666 p.
ISBN 978-3-540-54396-1

Lecture notes in computer science , 0523

Localisation : Collection 1er étage

architecture des systèmes # architecture parallèle # calcul # informatique # langage de programmation # langage machine # parallélisme # programme fonctionnel

68M07 ; 68N05 ; 68N15 ; 68N17

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

- 320 p.
ISBN 978-3-540-55984-9

Lecture notes in computer science , 0641

Localisation : Collection 1er étage

analyse grammaticale # compilateur # construction de compilateur # environnement de programmation # grammaire # générateur de code # générateur de compilateur # interactif # programmation automatique # syntaxe

68Q50 ; 68Q52 ; 68Txx

... Lire [+]

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

- 504 p.
ISBN 978-3-540-56393-8

Lecture notes in computer science , 0656

Localisation : Collection 1er étage

contrainte # formalisme # graphes # langage # modularité # programmation logique # réécriture conditionnelle # réécriture des systèmes # stratégie de normalisation # systèmes # technique de preuve # terme de réécriture # terminaison # théorème de la preuve # unification #

68Mxx ; 68Nxx

... Lire [+]

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

- 403 p.
ISBN 978-3-540-56287-0

Lecture notes in computer science , 0652

Localisation : Collection 1er étage

algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique

68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10

... Lire [+]

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

- 301 p.
ISBN 978-3-540-54495-1

Lecture notes in computer science , 0530

Localisation : Collection 1er étage

algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # théorème de Ramsey intrutioniste algèbre partielle # collapsus de module de graphe par des préordres # construction et prédicat # contrôle d'interférence # domaine bifini # fibration # fonction stable # informatique # invariant universel # langage de type Algol # logique linéaire # polymorphisme de la théorie des ensembles # problème de mot # réécriture de graphe # système d'information # sémantique dénotationnelle # théorie de type imprédicative # théorie des catégories # ...

03D40 ; 18-06 ; 68-06

... Lire [+]

Z