m

F Nous contacter

0

Documents  68Nxx | enregistrements trouvés : 88

O

-A +A

P Q

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

- 431 p.
ISBN 978-3-540-12896-0

Lecture notes in computer science , 0164

Localisation : Collection 1er étage

68B10 ; 68B15 ; 68B45 ; 68N15 ; 68Nxx

... Lire [+]

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.


ISBN 978-0-444-87661-4

Localisation : Colloque 1er étage (SAN)

68-02 ; 68Mxx ; 68Nxx

... Lire [+]

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

Z