m

Documents  D.1.1 | enregistrements trouvés : 12

O
     

-A +A

P Q

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.

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

- 413 p.
ISBN 978-3-540-15975-9

Lecture notes in computer science , 0201

Localisation : Collection 1er étage

algorithme distribué # analyse des algorithmes # architecture # langage de programmation # machine virtuel # parallélisme # programmation # prolog # récursivité des langages de programmation # spécification # technique de programmation

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

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

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

These 3eme cycle

Localisation : Disparu

choleski # inversion # jacobi # methode factorielle

68Pxx

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

- 1273 p.
ISBN 978-0-444-88074-1

Handbook of theoretical computer science

Localisation : Ouvrage RdC (Hand)

automate fini # base de données relationnelle # calcul distribué # lambda calcul # langage formel # langage libre de contexte # logique des programmes # logique temporelle et modale # modèle formel # processus concurrents # programmation fonctionnelle # programmation logique # programmation temporelle et modale # réécriture de graphe # système à réécrire # sémantique # série de puissance

03D05 ; 68N17 ; 68Q42 ; 68Q45 ; 68Q68

... Lire [+]

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

- 428 p.
ISBN 978-2-84074-114-5

Localisation : Ouvrage RdC (COUS)

analyse syntaxique # application # arithmétique exacte # compilation # dessin # filtrage # fonction d'arbre # graphe # géométrie # implémentation # programmation fonctionnelle # structure de données # sémantique # terme # variable # équilibre d'arbre

68N05 ; 68P05 ; 68Q55 ; 68Q65 ; 68R10

... Lire [+]

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

- 199 p.
ISBN 978-90-6196-470-4

CWI tract , 0117

Localisation : Collection 1er étage

gestion des mémoires # informatique # langage de programmation # mémoire partagée # processeur # programmation concurrente # programmation fonctionnelle # système d'exploitation # technique de programmation

68Mxx ; 68N15 ; 68Nxx

... Lire [+]

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

These docteur

Localisation : Ouvrage RdC (C)

algebre # arithmetique # didactique de l'informatique # didactique des mathematiques # multiplan # progiciel # tableur

68M20 ; 68M99

... Lire [+]

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

- pag. mult.

Localisation : Ouvrage RdC (LEMA)

Solange # base de données lexicale # construction de base de données # fortran # griffon, langage fonctionnel de programmation de bases de do # interface # interrogation de base de données # langage de requête # lifoo, langage fonctionnel de requête # # microbe # pepin # rebu # système de gestion de bases de données documentaires # vidoc

68N15 ; 68P15

... Lire [+]

Z