m

Documents  68Nxx | enregistrements trouvés : 88

O

-A +A

P Q

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.

- 403 p.
ISBN 978-3-540-62688-6

Lecture notes in computer science , 1210

Localisation : Collection 1er étage

calcul lambda # langage formel # logique combinatoire # logique de programmation # logique mathématique # signification des programmes # technique de programmation

03B40 ; 68N15 ; 68N17 ; 68Nxx

... Lire [+]

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

- 329 p.
ISBN 978-3-540-61064-9

Lecture notes in computer science , 1059

Localisation : Collection 1er étage

algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme

68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx

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

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

- 690 p.
ISBN 978-3-540-60922-3

Lecture notes in computer science , 1046

Localisation : Collection 1er étage

algorithme parallèle # analyse des algorithmes # architecture # communication # complexité # cryptographie # génie logiciel # géométrie de l'informatique # information # informatique # logique # mathématique discrète # modélisation d'objet # performance # problème de complexité # programme de vérification de système # système d'exploitation # système distribué # sémantique # technique du logiciel # théorie d'automate # théorie des bases des données algorithme parallèle # analyse des algorithmes # architecture # communication # complexité # cryptographie # génie logiciel # géométrie de l'informatique # information # informatique # logique # mathématique discrète # modélisation d'objet # performance # problème de complexité # programme de vérification de système # système d'exploitation # système distribué # sémantique # technique du logiciel # théorie d'automate # théorie des bases des ...

68N25 ; 68Nxx ; 68P22 ; 68P25 ; 68Pxx

... Lire [+]

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

- 494 p.
ISBN 978-3-540-18834-6

Lecture notes in computer science , 0294

Localisation : Collection 1er étage

architecture des processeurs # calcul # communication réseau # engineering logiciel # environnement de programmation # géométrie de l

68M10 ; 68Mxx ; 68N05 ; 68Nxx ; 68Qxx ; 68Rxx ; 68U05

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

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


ISBN 978-0-8186-2925-9

Localisation : Colloque 1er étage (HAGU)

architecture VLSI # architecture système # implémentation en parallèle # infographie # intelligence artificielle # langage # mouvement # outil logiciel # programmation fonctionnelle # reconnaissance des formes # système de vision machine # traitement de l

68N15 ; 68Nxx ; 68Q10 ; 68T10 ; 68T25 ; 68Txx ; 68U05 ; 68Uxx

... Lire [+]

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


ISBN 978-0-89791-914-2

Localisation : Colloque 1er étage (BOST)

amélioration de processus # analyse de C et C++ # analyse statistique # compréhension de programme # essai et analyse # exploitation d'Internet # fiabilité # ingénierie de logiciel # ingénierie inverse # inspection et revue # matériel et logiciel # métrique # spécification formelle # système à héritage # technologie oriental-objet # utilisateur d'interface # économie et loi

68-06 ; 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.

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

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

- 517 p.
ISBN 978-3-540-63437-9

Lecture notes in computer science , 1295

Localisation : Collection 1er étage

informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète

68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 592 p.
ISBN 978-3-540-61550-7

Lecture notes in computer science , 1113

Localisation : Collection 1er étage

aspect calculatoire # informatique théorique # ingineering logiciel # langage formel # logique # mathématique discrète # mode de calcul # système d

68Mxx ; 68N25 ; 68Nxx ; 68Q05 ; 68Q10 ; 68Q40 ; 68Q45 ; 68Q60 ; 68Qxx ; 68Rxx

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

- 435 p.
ISBN 978-3-540-54345-9

Lecture notes in computer science , 0520

Localisation : Collection 1er étage

algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme

68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05

... Lire [+]

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.

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

Z