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 [+]