m

F Nous contacter

0

Documents  D.2.6 | enregistrements trouvés : 8

O
     

-A +A

P Q

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

- 494 p.
ISBN 978-3-540-18834-6

Lecture notes in computer science , 0294

Localisation : Collection 1er étage

architecture des processeurs # calcul # communication réseau # engineering logiciel # environnement de programmation # géométrie de l

68M10 ; 68Mxx ; 68N05 ; 68Nxx ; 68Qxx ; 68Rxx ; 68U05

... Lire [+]

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

Localisation : Colloque 1er étage (ALPE)

calcul informatique de haute performance # environnement de programmation parallèle # ordonnancement statique ou en-ligne # parallélisation automatique # problème irrégulier et compilation # surveillance et évaluation de système parallèle ou distribué # temps de compilation # temps de fonctionnement multifilié

68-06 ; 68M20 ; 68N20 ; 68N25

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

- 483 p.
ISBN 978-3-540-17219-2

Lecture notes in computer science , 0247

Localisation : Collection 1er étage

analyse numérique # combinatoire # environnement de la programmation # informatique théorique # mathématique discrète # théorie des graphes

68N05

... Lire [+]

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

- 604 p.
ISBN 978-3-540-17189-8

Lecture notes in computer science , 0244

Localisation : Collection 1er étage

base des connaissances # configuration # gestion des logiciels # programmation # programmation des périphériques # système d'information # traitement des données

68N99 ; 68P15 ; 68Q10 ; 68T30

... Lire [+]

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

- 185 p.
ISBN 978-3-540-18923-7

Lecture notes in computer science , 0295

Localisation : Collection 1er étage

68-06 ; 68Q10

... Lire [+]

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

- 87 p.
ISBN 978-3-540-60615-4

Lecture notes in computer science , 1001

Localisation : Collection 1er étage

analyse des algorithmes # analyse numérique # codage # conception de logiciel # environnement de logiciel # interactivité de programme # logiciel # logique et signification de programme # logique mathématique # probabilité statistique # problème de complexité # spécification et vérification de programme # théorie d'informatique

68B15 ; 68Nxx ; 68Q60 ; 68Qxx ; 86Q25

... Lire [+]

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

- 217 p.
ISBN 978-3-540-12693-5

Lecture notes in computer science , 0160

Localisation : Collection 1er étage

constructions et carastéristique de langage # environnements de programmation # exigeneces # ingenierie de logiciels # outils et techniques # processus # specification # vérification de programme # vérification et raisonnement sur les programmes

68N05 ; 68O60 ; 68T15

... Lire [+]

Z