Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 720 p.
ISBN 978-3-540-16492-0
Lecture notes in computer science , 0225
Localisation : Collection 1er étage
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique
68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-4-274-07221-5
Localisation : Colloque 1er étage (TOKY)
Colmerauer # ICOT # INGCT # application # architecture # impact # langage de programmation logique # machine à base de connaissance # machine à inférence parallèle # machine à inférence séquentielle # méthodologie # philosophie # programme logique # projet # recherche et développement # système d'exploitation # système informatique de 5ème génération # système logiciel de base # système matériel # équation et inéquation sur arbre fini et infini
68-06 ; 68Mxx ; 68Nxx ; 68Qxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-86974-6
Localisation : Colloque 1er étage (OXFO)
Europe # Japon # algorithme parallèle # algorithme à flux de données # dynamique des fluides # hydrodynamique galactique # machine MIMD # matériel et langage # multiprocesseur architecture de processeur # méthode numérique et algorithme # processeur parallèle # processeur vectoriel # processeur à rangée # simulation Monte-Carlo # super calculateur # équation de Navier-Stokes
68-06 ; 68Nxx ; 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.
- 539 p.
ISBN 978-3-540-08446-4
Lecture notes in computer science , 0057
Localisation : Collection 1er étage
analyse numérique # calcul numérique # évaluation # langage de progammation # logiciel # portabilité # text
65-XX ; 65Y05 ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 341 p.
ISBN 978-3-540-09981-9
Lecture notes in computer science , 0083
Localisation : Collection 1er étage
conception assistée par ordinateur # langage # programmation # sémantique # testes
68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 416 p.
ISBN 978-3-540-12727-7
Lecture notes in computer science , 0159
Localisation : Collection 1er étage
algèbre # algorithme # arbre # langage de programmation # programmation # programme # représentation de données # structure des données # techniques de programmation
68Nxx ; 68Q40 ; 68Q42 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 468 p.
ISBN 978-3-540-13883-9
Lecture notes in computer science , 0181
Localisation : Collection 1er étage
algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données
68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 245 p.
ISBN 978-3-540-16444-9
Lecture notes in computer science , 0215
Localisation : Collection 1er étage
algorithme # algorithmique # informatique théorique
68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 336 p.
ISBN 978-3-540-17611-4
Lecture notes in computer science , 0250
Localisation : Collection 1er étage
algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog
68N17 ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 572 p.
ISBN 978-3-540-54398-5
Lecture notes in computer science , 0524
Localisation : Collection 1er étage
Pietrie # progammation # réseaux de Pietrie # théorie générale de progammation
68N05 ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 521 p.
ISBN 978-3-540-16042-7
Lecture notes in computer science , 0206
Localisation : Collection 1er étage
algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme
68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (VITT)
an neaux de vorticite # analyse numerique # configuration optimale pour les edp # cristaux liquides # equation aux derivees partielles # methode de volumes finis # modeles de ginzburg-landau # modelisation numerique d'ecoulement reactif # problemes variationnels # singularites # suites stationnaires # visualisation scientifique
65-06 ; 65Kxx ; 65Mxx ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 521 p.
ISBN 978-3-540-55808-8
Lecture notes in computer science , 0629
Localisation : Collection 1er étage
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...
68-06 ; 68-50 ; 68Nxx ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 613 p.
ISBN 978-3-540-55578-0
Lecture notes in computer science , 0602
Localisation : Collection 1er étage
apprentissage assisté par ordinateur # ingenierie de logiciel # intelligence artificielle # éducation et informatique
68-06 ; 68Nxx ; 68Txx ; 68U30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 398 p.
ISBN 978-3-540-55676-3
Lecture notes in computer science , 0616
Localisation : Collection 1er étage
analyse d'algorithme # bisimulation # calcul par dispositif abstrait # complexité # informatique théorique # logique des programmes # modélisation # multi-processeur # réseau de Pétri # signification des programmes # simulation # système d'exploitation
68-06 ; 68N25 ; 68Nxx ; 68Q25 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 504 p.
ISBN 978-3-540-56393-8
Lecture notes in computer science , 0656
Localisation : Collection 1er étage
contrainte # formalisme # graphes # langage # modularité # programmation logique # réécriture conditionnelle # réécriture des systèmes # stratégie de normalisation # systèmes # technique de preuve # terme de réécriture # terminaison # théorème de la preuve # unification #
68Mxx ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 351 p.
ISBN 978-3-540-56282-5
Lecture notes in computer science , 649
Localisation : Collection 1er étage
méta-programmation # programmation logique # programmation transformationnelle
68N15 ; 68N17 ; 68Nxx ; F.4.1 ; I.2.4
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (MARS)
additionneur Borrow-Save # analyse calculable # approche probabiliste d'erreur d'arrondi # arithmétique # arithmétique à virgule flottante # chaîne de multiplication # circuit 2-adique # entrer et flottant # formalisation de besoin d'algorithme robuste en géométrie # implémenter un calcul exact sur une machine parallèle # informatique # machine à accès aléatoire et réalisable # méthode CESTAC # nombre réel # ordinateur # propagation et absorption d'erreur d'arrondi # précision de programme numérique # réduction automatique d'erreur d'arrondi # solution arithmétique en calcul géométrique # système réel et complexe # unité RISC
additionneur Borrow-Save # analyse calculable # approche probabiliste d'erreur d'arrondi # arithmétique # arithmétique à virgule flottante # chaîne de multiplication # circuit 2-adique # entrer et flottant # formalisation de besoin d'algorithme robuste en géométrie # implémenter un calcul exact sur une machine parallèle # informatique # machine à accès aléatoire et réalisable # méthode CESTAC # nombre réel # ordinateur # propagation et ...
51-XX ; 65G05 ; 68Nxx ; 68Q20 ; 68Qxx
... Lire [+]
