m

F Nous contacter

0

Documents  68N05 | enregistrements trouvés : 64

O

-A +A

P Q

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.

- 365 p.
ISBN 978-3-540-11973-9

Lecture notes in computer science , 0145

Localisation : Collection 1er étage

algorithme non numériques et problèmes # langage de programmation # modes de calcul # spécification # structures de données # système d'exploitation # vérification et raisonnement

68N05 ; 68N25 ; 68P05 ; 68Q05 ; 68Q10

... Lire [+]

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

- 611 p.
ISBN 978-3-540-62616-9

Lecture notes in computer science , 1200

Localisation : Collection 1er étage

analyse numérique # encryptage des données # fonction booléenne # géométrie de l'informatique # information graphique # informatique théorique # mathématique discrète # modélisation d'objet # spécification et vérification de système # système d'exploitation # système d'information # technique de programmation # théorie d'automate # théorie de complexité

68-04 ; 68M07 ; 68N05 ; 68N25 ; 68Pxx

... Lire [+]

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

- 782 p.
ISBN 978-3-540-57785-0

Lecture notes in computer science , 0775

Localisation : Collection 1er étage

algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # sémantique # technique de programmation algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # ...

68-06 ; 68M05 ; 68Mxx ; 68N05 ; 68Q10

... Lire [+]

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

- 723 p.
ISBN 978-3-540-56503-1

Lecture notes in computer science , 0665

Localisation : Collection 1er étage

algorithme efficient # analyse numérique # arithmétique de l'informatique # calcul distribué # calcul informatique # calcul parallèle # calcul réparti # complexité de calcul informatique # conception logique # géométrie de l'informatique # informatique théorique # logique # mathématique discrète # sous-algorithmique # structure logique # système d'exploitation # technique de programmation # théorie des automates # théorie du langage

68N05 ; 68N25 ; 68Q10 ; 68Q22 ; 68Q68

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

- 483 p.
ISBN 978-3-540-17219-2

Lecture notes in computer science , 0247

Localisation : Collection 1er étage

analyse numérique # combinatoire # environnement de la programmation # informatique théorique # mathématique discrète # théorie des graphes

68N05

... Lire [+]

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

- pp. 1059-1758
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- pp. 559-1055
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- 555 p.
ISBN 978-2-903677-67-1

Localisation : Colloque 1er étage (PARI)

CAO # architecture # biomathématique # formalisme des connaissances # génétique # infographie # informatique médicale # intelligence artificielle # langage homme-machine # langage naturel # logique # modélisation # prise de décision médicale # programmation # reconnaissance de la parole # reconnaissance des formes # structure des données # système expert # texture de l'image # traitement des images

68N05 ; 68P05 ; 68S05 ; 68T10 ; 68T30 ; 68Txx ; 68U05 ; 68U10 ; 68Uxx

... Lire [+]

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

- 426 p.
ISBN 978-3-540-11490-1

Lecture notes in computer science , 0134

Localisation : Collection 1er étage

analyse des programmes # langages de programmation # logique # métathéorie # systèmes formels

68N05 ; 68N15 ; 68T15

... Lire [+]

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

Mathématiques et informatique

Localisation : Colloque 1er étage (PARI)

automate # décidabilité # logique # mathématique discrète # mathématiques et informatique # matroïde # opérateur # réécriture des systèmes

68N05 ; 68Q42 ; 68Q68 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 629 p.
ISBN 978-3-540-09541-5

Lecture notes in computer science , 0075

Localisation : Collection 1er étage

informatique théorique # langage formel # logique # parallélisme # programmation

68N05

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

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

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection 1er étage

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

... Lire [+]

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


ISBN 978-3-540-61883-6

Localisation : Colloque 1er étage (BLAU)

68CXX ; 68N05 ; 68Pxx ; 68U05 ; 90Cxx

... Lire [+]

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

- 666 p.
ISBN 978-3-540-54396-1

Lecture notes in computer science , 0523

Localisation : Collection 1er étage

architecture des systèmes # architecture parallèle # calcul # informatique # langage de programmation # langage machine # parallélisme # programme fonctionnel

68M07 ; 68N05 ; 68N15 ; 68N17

... Lire [+]

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

- 455 p.
ISBN 978-3-540-15199-9

Lecture notes in computer science , 0186

Localisation : Collection 1er étage

logiciel # logique # progammation logique # programmation # programme

68N05 ; 68N17

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

Z