m

Documents  F.0 | enregistrements trouvés : 14

O
     

-A +A

P Q

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

- 671 p.
ISBN 978-3-540-10003-4

Lecture notes in computer science , 0085

Localisation : Collection 1er étage

automate # complexité # informatique théorique # progammation # théorie des langages

68-XX

... Lire [+]

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

- 682 p.
ISBN 978-3-540-09510-1

Lecture notes in computer science , 0071

Localisation : Collection 1er étage

combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages

68-06 ; 68N05 ; 68N15 ; 68R05 ; 68Rxx

... Lire [+]

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

- 324 p.
ISBN 978-3-540-09118-9

Lecture notes in computer science , 0067

Localisation : Collection 1er étage

algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages

03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX

... Lire [+]

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

- 551 p.
ISBN 978-3-540-08921-6

Lecture notes in computer science , 0064

Localisation : Collection 1er étage

automate # complexité informatique # information théorique # intelligence artificielle # langage formel # recherche d'information # théorie des automates

03C80 ; 03C99 ; 68Wxx ; 68Q25 ; 68Q45

... Lire [+]

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

- 542 p.
ISBN 978-3-540-08442-6

Lecture notes in computer science , 0056

Localisation : Collection 1er étage

automate # complexité arithmétique # décidabilité # informatique théorique # langage # théorie algébrique des automates

68Qxx

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

- 518 p.
ISBN 978-3-540-17179-9

Lecture notes in computer science , 0241

Localisation : Collection 1er étage

algorithme # calcul distribué # calcul en temps réel # calcul paralèlle # circuit integré # complexité # parallèle # programmation # réseaux

68Q22

... Lire [+]

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

- 266 p.
ISBN 978-3-540-17660-2

Lecture notes in computer science , 0249

Localisation : Collection 1er étage

algorithme # informatique théorique # preuve # spécification algébrique

68Q65

... Lire [+]

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

- 260 p.
ISBN 978-2-04-018617-3

Localisation : Ouvrage RdC (VELU)

algèbre de Boole # algèbre linéaire # analyse combinatoire # arithmétique # calcul propositionnel # code détecteur # correction d'erreur # fonction booléennes # numération # outils mathématiques de l'informatique # relation # semble

03-01 ; 04-01 ; 05-01 ; 68Qxx

... Lire [+]

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

- 278 p.
ISBN 978-90-6196-326-4

CWI tract , 0042

Localisation : Collection 1er étage

informatique théorique # outil mathématique de l'informatique

68-XX ; 68B05 ; 68CXX ; 68DXX ; 68FXX

... Lire [+]

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

- 111 p.
ISBN 978-3-540-08531-7

Lecture notes in computer science , 0058

Localisation : Collection 1er étage

interprète # logique de l'information # processeur # programmation # théorie des langages

03-02 ; 68-06 ; 68N05 ; 68N15

... Lire [+]

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

- 478 p.
ISBN 978-0-471-85918-5

Localisation : Ouvrage RdC (MAND)

informatique théorique # outils mathématiques de l'informatique

68Pxx ; 68Qxx

... Lire [+]

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

- 182 p.
ISBN 978-0-632-01307-4

Computer science texts

Localisation : Ouvrage RdC (RAYW)

calculabilité

03-01 ; 03D15 ; 68Qxx

... Lire [+]

Z