m

Documents  Critères de recherche : "The C++ programming language" | enregistrements trouvés : 10

O
     

-A +A

P Q

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

- 330 p.
ISBN 978-3-540-12328-6

Lecture notes in computer science , 0155

Localisation : Collection 1er étage

ada # langage de programmation

68N15

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

- 619 p.
ISBN 978-3-540-06841-9

Lecture notes in computer science , 0014

Localisation : Collection 1er étage

automate fini # grammaire algébrique # machine de Turing # schéma programme # théorie de la complexité

00Bxx ; 68-06

... Lire [+]

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

- 622 p.
ISBN 978-0-7204-2074-6

Localisation : Colloque 1er étage (ROCQ)

automates # langage formel # algorithme # programmation

00Bxx ; 03-06 ; 68-06 ; 94-06

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

- 255 p.
ISBN 978-0-13-730417-2

Prentice-hall international series in computer science

Localisation : Ouvrage RdC (GORD)

calcul lambda # langage de programmation # logique # théorie des langages

68N05 ; 68N15

... Lire [+]

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

- 243 p.
ISBN 978-3-540-10693-7

Lecture notes in computer science , 0106

Localisation : Collection 1er étage

ada # langage de programmation

68N15

... Lire [+]

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

- 254 p.
ISBN 978-3-540-13378-0

Lecture notes in computer science , 0177

Localisation : Collection 1er étage

bibliographie # catalogue # langage de programmation

68-00

... Lire [+]

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

- 361 p.
ISBN 978-0-262-23169-5

Foundations of computing series

Localisation : Ouvrage RdC (WINS)

calcul informatique # informatique théorique # langage de programmation # langage formelle # mode de calcul # spécification et vérification de programme # sémantique

68-02 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q60

... Lire [+]

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

- 392 p.
ISBN 978-0-521-62112-0

Cambridge tracts in theoretical computer science , 0045

Localisation : Ouvrage RdC (ASPE)

informatique # logiciel # programmation fonctionnelle # langage de programmation # calcul lambda # logique linéaire

68N18 ; 03B40 ; 03F52

... Lire [+]

Z