m

F Nous contacter

0

Documents  68B10 | enregistrements trouvés : 10

O
     

-A +A

P Q

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

- 431 p.
ISBN 978-3-540-12896-0

Lecture notes in computer science , 0164

Localisation : Collection 1er étage

68B10 ; 68B15 ; 68B45 ; 68N15 ; 68Nxx

... Lire [+]

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

- 164 p.
ISBN 978-90-6196-177-2

Mathematical centre tracts , 0109

Localisation : Collection 1er étage

analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

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

- 232 p.

Mathematical centre tracts , 0134

Localisation : Collection 1er étage

68-06 ; 68B10 ; 68B20

... Lire [+]

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

- 489 p.
ISBN 978-3-540-10250-2

Lecture notes in computer science , 0094

Localisation : Collection 1er étage

compileur # générateur # grammaire # langage de programmation # processeur # sémantique # vérification de programme

68B10

... Lire [+]

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

- 207 p.

Mathematical centre tracts , 0016

Localisation : Collection 1er étage

68A15 ; 68A30 ; 68B10 ; 68F05

... Lire [+]

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

- 118 p.
ISBN 978-90-6196-207-6

Mathematical centre tracts , 0131

Localisation : Collection 1er étage

programme # programme de correction # vérification de programme

68B10

... Lire [+]

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

- 180 p.
ISBN 978-90-6196-302-8

CWI tract , 0026

Localisation : Disparu

analyse de la programmation # programmation # système informatique

68A05 ; 68B10

... Lire [+]

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

- 147 p.
ISBN 978-3-540-09987-1

Lecture notes in computer science , 0082

Localisation : Collection 1er étage

calcul # langage formel # logique # outil mathématique de l'informatique # programmation # théorie des nombres

68B10 ; 68C01

... Lire [+]

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

- 216 p.
ISBN 978-90-6196-363-9

CWI tract , 0056

Localisation : Collection 1er étage

analyse des programmes # automate # circuit # commande combinatoire # commande non combinatoire # configuration des réseaux # réseau informatique # translation # vérification de programme

68B10 ; 68D10 ; 68FXX ; 94Cxx

... Lire [+]

Z