m

F Nous contacter

0

Documents  68Q10 | enregistrements trouvés : 103

O

-A +A

P Q

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

- 328 p.
ISBN 978-3-540-16766-2

Lecture notes in computer science , 0227

Localisation : Collection 1er étage

algorithme vlsi # algorithmique # architecture # informatique parallèle # processeur

68Q05 ; 68Q10 ; 68Q35

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

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

- 397 p.
ISBN 978-3-540-16066-3

Lecture notes in computer science , 0208

Localisation : Collection 1er étage

automate # calcul # combinatoire # complexité # informatique théorique # intelligence artificielle # langage de programmation # logique de la programmation # logique mathématique # mathématiques discrètes # parallèle # programmation parallèle # théorie des graphes

68Q10 ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx

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

- 439 p.
ISBN 978-3-540-97628-8

Lecture notes in computer science , 0507

Localisation : Collection 1er étage

algorithme # algorithme des graphes # graphes # informatique théorique # intelligence artificielle # parallélisme # performance

68M20 ; 68Q10 ; 68Q22 ; 68Qxx ; 68Txx

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


ISBN 978-0-8218-0131-4

Proceedings of symposia in applied mathematics , 0038

Localisation : Collection 1er étage

complexite # informatique # theorie de la complexite

68Q05 ; 68Q10 ; 68Q20 ; 68Q75

... Lire [+]

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

Localisation : Colloque 1er étage (BESA)

algorithmique numerique # calcul parallele # parallelisme

65-06 ; 68Q10

... Lire [+]

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

- 195 p.
ISBN 978-3-540-55038-9

Lecture notes in computer science , 0569

Localisation : Collection 1er étage

parallèle # programmation logique # prolog

68M15 ; 68Q10

... Lire [+]

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

- 402 p.
ISBN 978-3-540-54869-0

Lecture notes in computer science , 0555

Localisation : Collection 1er étage

algorithmique # complexité # compression # heuristique # informatique graphique # informatique orienté # intelligence artificielle # relations homme- machine # réseaux # réseaux neuronaux

68M10 ; 68M15 ; 68Q10 ; 68Uxx

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

- 318 p.
ISBN 978-3-540-55236-9

Lecture notes in computer science , 0579

Localisation : Collection 1er étage

algorithes non numérique # algorithmes distribuées # algorithmique # analyse des algorithmes # complexité des algorithmes # informatique théorique # programmation concurente # programmation distribuée # réseaux # systèmes concurents # traitement de l'information

68-06 ; 68M10 ; 68M15 ; 68Q10 ; 68Q15

... Lire [+]

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

- 723 p.
ISBN 978-3-540-55564-3

Lecture notes in computer science , 0600

Localisation : Collection 1er étage

calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel

68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 719 p.
ISBN 978-3-540-55719-7

Lecture notes in computer science , 0623

Localisation : Collection 1er étage

algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10

... Lire [+]

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

- 491 p.
ISBN 978-0-89871-253-7

SIAM proceedings series list

Localisation : Colloque 1er étage (HOUS)

algorithme # implémentation parallèle # méthode de décomposition du domaine # équation aux dérivées partielles

35-06 ; 49M27 ; 65M55 ; 68Q10 ; 68Q22

... Lire [+]

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

- 351 p.
ISBN 978-3-540-57879-6

Lecture notes in computer science , 0787

Localisation : Collection 1er étage

analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...

68P05 ; 68Q10 ; 68Qxx ; 68R10

... Lire [+]

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

- 221 p.
ISBN 978-0-8218-0518-3

DIMACS series in discrete mathematics and theoretical computer science , 0027

Localisation : Collection 1er étage

algorithme distribué # algorithme parallèle # automate de tessellation # calcul parallèle # calcul, processeur # classe de complexité # informatique théorique # itérativité # réécriture de système # structure cellulaire

68Q05 ; 68Q10 ; 68Q15 ; 68Q22 ; 68Q42

... Lire [+]

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

- 403 p.
ISBN 978-0-8218-0579-4

DIMACS series in discrete mathematics and theoretical computer science , 0029

Localisation : Collection 1er étage

classe de complexité # informatique théorique # langage formel # processus des données électroniques # processus distribué # programme # software # spécification # sémantique # théorie d'automate # vérification

68Q10 ; 68Q45 ; 68Q55 ; 68Q60

... Lire [+]

Z