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.
- 310 p.
ISBN 978-3-540-62592-6
Lecture notes in computer science , 1203
Localisation : Collection 1er étage
algorithme # calcul informatique # complexité des algorithmes # géométrie de l'informatique # informatique graphique # mathématique discrète # mode de calcul # modèle de calcul # modélisation d'objet # méthodologie # structure des données
68P05 ; 68Q05 ; 68Q10 ; 68Q25 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 445 p.
ISBN 978-3-540-62048-8
Lecture notes in computer science , 1178
Localisation : Collection 1er étage
analyse d'algorithme # calcul informatique théorique # calcul statistique # géométrie de l'informatique # informatique graphique # logiciel statistique # mathématique discrète # mode et modèle de calcul # modélisation d'objet # probabilité # problème de complexité
68-XX ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 680 p.
ISBN 978-3-540-61440-1
Lecture notes in computer science , 1099
Localisation : Collection 1er étage
algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information
68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx
... 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.
- 382p.
ISBN 978-3-540-52148-8
Lecture notes in computer science , 0407
Localisation : Collection 1er étage
informatique # méthodes de calcul # sémantique # méthode de vérification assistée par ordinateur # spécification # protocoles de réseaux d'ordinateurs
00B15 ; 68-06 ; 68Q10 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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.
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.
- 642 p.
ISBN 978-3-540-60105-0
Lecture notes in computer science , 1000
Localisation : Collection 1er étage
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système parallèle # théorie de programmation # vérification de programme # vérification des systèmes
algorithme distribué # algorithmique # analyse des algorithmes # architecture de système # architecture parallèle # automate # conception et architecture des logiciels # développement # intelligence artificielle # intelligence des systèmes # mode de calcul # optimisation géométrique # recherche # réseau neuronal # science de l'informatique # système distribué # système et modèle de calcul # système hypermédia # système multimédia # système ...
68Q10 ; 68Q22 ; 68Q42 ; 68Q60 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 524 p.
ISBN 978-3-540-40753-9
Lecture notes in computer science , 2761
Localisation : Collection 1er étage
ordre partiel # concurrence # système asynchrone # algèbre de processus # jeu # système infini # automate probabiliste # HMSC # sécurité # mobilité # temps réel # modèle probabiliste # langage de programmation # technique de programmation # réseau
68-06 ; 68Q85 ; 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.
- 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.
- 375 p.
ISBN 978-0-8218-0842-9
DIMACS series in discrete mathematics and theoretical computer science , 0048
Localisation : Collection 1er étage
ADN # algorithme de graphe # algorithme distribué # algorithme parallèle # biomathématique # calcul formel # informatique théorique # langage formel # mode calculatoire # molécule # réécriture de système
05C85 ; 68-06 ; 68Q05 ; 68Q10 ; 68Q22 ; 68Q42 ; 68Q45 ; 92-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 249 p.
ISBN 978-0-8218-2053-7
DIMACS series in discrete mathematics and theoretical computer science , 0054
Localisation : Collection 1er étage
calcul moléculaire # calcul sur les bases d'ADN # informatique # modèle de calcul # mode calculatoire # biologie # ADN # biomathématique # génétique # bioinformatique # biophysique # combinatoire
68-02 ; 68Q05 ; 68Q10 ; 68M99 ; 92-00 ; 92B05 ; 92B20 ; 92C05
... 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 [+]
