m

F Nous contacter

0

Documents  F.1.2 | enregistrements trouvés : 33

O

-A +A

P Q

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

- 629 p.
ISBN 978-3-540-09541-5

Lecture notes in computer science , 0075

Localisation : Collection 1er étage

informatique théorique # langage formel # logique # parallélisme # programmation

68N05

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

- 398 p.
ISBN 978-3-540-16047-2

Lecture notes in computer science , 0207

Localisation : Collection 1er étage

langage de requète # programmation parallèle # spécification # vérification de programme

68Q10

... Lire [+]

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

- 400 p.
ISBN 978-3-540-16486-9

Lecture notes in computer science , 0223

Localisation : Collection 1er étage

algorithme # complexité # logique

68Q30

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

- 252 p.
ISBN 978-3-540-55121-8

Lecture notes in computer science , 0570

Localisation : Collection 1er étage

algorithme # algorithme parallèle # analyse des algorithmes # circuit # classe de complexité # complexité # géométrie de l'informatique # gestion des systèmes # grammaire # information des systèmes # informatique théorique # logique # logique mathématique # parallèle # reécriture des systèmes # structure de données # théorie des graphes # traitement de données

03Dxx ; 68D05 ; 68P05 ; 68Q25 ; 94Cxx

... Lire [+]

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

- 620 p.
ISBN 978-3-540-55092-1

Lecture notes in computer science , 0571

Localisation : Collection 1er étage

calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel

68M20 ; 68Q05 ; 68Q10

... Lire [+]

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

- 350 p.
ISBN 978-3-540-56402-7

Lecture notes in computer science , 0657

Localisation : Collection 1er étage

algorithme distribué # algorithme parallèle # combinatoire # concept de graphe théorique # décomposition de graphes # grammaire de graphe # géométrie

05Cxx ; 05Dxx ; 68R10 ; 68R15 ; 68S05

... Lire [+]

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

- 510 p.
ISBN 978-3-540-56279-5

Lecture notes in computer science , 650

Localisation : Collection 1er étage

algorithme # algorithme combinatoire # algorithme des couleurs # algorithme des graphes # algorithme parallèle # algorithmique # calcul # complexité # graphe # géométrie de l'informatique # stucture des données # théorie de la complexité

68P05 ; 68Q25 ; 68Q30 ; 68Qxx ; 68R05

... Lire [+]

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

- 688 p.
ISBN 978-3-540-58325-7

Lecture notes in computer science , 0834

Localisation : Collection 1er étage

VLSI et routage # algorithme algébrique # algorithme combinatoire # algorithme distribué et aléatorisé # algorithme et calcul # algorithme géométrique # algorithme parallèle # approximation et optimisation # complexité # complexité informatique # géométrie informatique # structure de données

68Q25 ; 68Q35 ; 68Qxx ; 68U05

... Lire [+]

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

- 440 p.
ISBN 978-3-540-60573-7

Lecture notes in computer science , 1004

Localisation : Collection 1er étage

MAX 3-SAT # NC # PC # algorithme d'approximation # algorithme de flux parallèle # amassage à lien complet # attribution de ressource # bi-simulation # chemin # codage # complexité # construction de tas # corde # corps fini # digraphe # décis ion # ensemble de point extrémal # f-coloriage # faute catastrophique # fonction booléenne # forêt induite # graphe de co-comparabilité # graphe de faible degré # graphe non dirigé # hyper-anneau # hypercube # indexation # information # informatique du génôme # langage de graphe RNLC restreint # logique pratique # loi de Amdahl # planification de taches parallèles # polygône # polynôme de Tutte d'un graphe # problème difficile presque toujours facile # sous-graphe # super arbre # sélection par comparaison # équivalence de trace MAX 3-SAT # NC # PC # algorithme d'approximation # algorithme de flux parallèle # amassage à lien complet # attribution de ressource # bi-simulation # chemin # codage # complexité # construction de tas # corde # corps fini # digraphe # décis ion # ensemble de point extrémal # f-coloriage # faute catastrophique # fonction booléenne # forêt induite # graphe de co-comparabilité # graphe de faible degré # graphe non dirigé # hyper-anneau # hypercube ...

05Cxx ; 68-06 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 406 p.
ISBN 978-3-540-60618-5

Lecture notes in computer science , 1017

Localisation : Collection 1er étage

3- colorabilité # NC algorithme pour approche de problème NP- dur # VC-dimension pour graphe # base de données à relation d'entité # croissance méristématique # décomposition modulaire d'hypergraphe # feuille défectueuse en arbre binaire # forêt induite # graphe acyclique # graphe cordal # graphe de chemin diamétral # graphe de clique # graphe de permutation # graphe en essaim incrémental # graphe ordonnable homogénément # graphe plongé sur surface # informatique et théorie des graphes # isomorphisme de graphes # mailles de dimension 2 et 3 # malléabilité # reconnaissance de graphe de droites # réécriture de graphe # schéma de routage # sous-graphe induit # structure de données compactes 3- colorabilité # NC algorithme pour approche de problème NP- dur # VC-dimension pour graphe # base de données à relation d'entité # croissance méristématique # décomposition modulaire d'hypergraphe # feuille défectueuse en arbre binaire # forêt induite # graphe acyclique # graphe cordal # graphe de chemin diamétral # graphe de clique # graphe de permutation # graphe en essaim incrémental # graphe ordonnable homogénément # graphe plongé sur ...

05-06 ; 05Cxx ; 68Rxx

... Lire [+]

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

- 406 p.
ISBN 978-3-540-62559-9

Lecture notes in computer science , 1197

Localisation : Collection 1er étage

analyse d'algorithme # calcul informatique # classe de complexité # concept de graphe théorique # géométrie de l'informatique # informatique théorique # langage formel # logique et signification de programme # logique mathématique # mathématique discrète # mode de calcul # modélisation d'objet # problème de complexité # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68R10 ; 68Rxx

... Lire [+]

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

- 415 p.
ISBN 978-3-540-61576-7

Lecture notes in computer science , 1120

Localisation : Collection 1er étage

calcul informatique # combinatoire # informatique théorique # mathématique discrète # mode de calcul # optimisation # programmation concurente # réseau d'ordinateur # système # système d'exploitation de réseau # système distribué # système partagé # système réparti # technique de programmation

68N05 ; 68Nxx ; 68Q10 ; 68Rxx ; 90Cxx

... Lire [+]

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

- 284 p.
ISBN 978-3-540-61736-5

Lecture notes in computer science , 1132

Localisation : Collection 1er étage

architecture # architecture des suites de données multiples # arithmétique # calcul informatique théorique # calcul parallèle # classification des langages # grammaire # langage de programmation # langage formel # logique et signification de programme # logique mathématique # modélisation # organisation des systèmes # programmation concurrente # structure de programmation # structure logique # système de réécriture # système informatique

... Lire [+]

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

- 371 p.
ISBN 978-3-540-63757-8

Lecture notes in computer science , 1335

Localisation : Collection 1er étage

analyse des algorithmes # calcul des algorithmes # calcul informatique # classe de complexité # décomposition de graphe # informatique théorique # langage formel # logique # logique mathématique # mathématique discrète # mode de calcul # spécification des programmes # structure des données # théorie des graphes

68Q05 ; 68Q10 ; 68Q15 ; 68Q45 ; 68Qxx

... Lire [+]

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

- 562 p.
ISBN 978-3-540-50110-7

Lecture notes in computer science , 0324

Localisation : Collection 1er étage

caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 68Rxx

... Lire [+]

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

- 684 p.
ISBN 978-3-540-09510-1

Lecture notes in computer science , 0071

Localisation : Collection 1er étage

algorithme machine # algorithmique # calcul parallèle # grammaire # informatique graphique # informatique théorique # langages # logique de programmation # machine de Turigny # mode de calcul # programmation parallèle # représentation de langages # répartition et stockage des données # réécriture des systèmes # stucture des données

68-XX

... Lire [+]

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

- 412 p.
ISBN 978-3-540-66907-4

Lecture notes in computer science , 1745

Localisation : Collection 1er étage

HiPC # architecture des processus # compilation # débit à haute fréquence # informatique # mathématique de l informatique # mécanique de programmation # outil de l informatique # performance des systèmes # planificationn # programmation # système d exploitation

68-06 ; 68M10 ; 68Q22 ; 68Qxx

... Lire [+]

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

- 414 p.
ISBN 978-3-540-66731-5

Lecture notes in computer science , 1665

Localisation : Collection 1er étage

algorithme # classe de complexité # complexité des algorithmes # géométrie de l informatique # informatique théorique # logique et spécification de programme # logique mathématique # mathématique discrète # mode de calcul # strucutre de données # théorie des graphes

00B25 ; 05-06 ; 68-06 ; 68R10

... Lire [+]

Z