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.
- 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.
- 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.
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.
- 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.
- 695 p.
ISBN 978-3-540-56939-8
Lecture notes in computer science , 0700
Localisation : Collection 1er étage
calcul informatique # cryptologie # encryptage des données # géométrie de l'informatique # informatique graphique # informatique théorique # mathématique discrète # structure des données # technique de programmation
68N05 ; 68Nxx ; 68P05 ; 68P25 ; 68Rxx
... 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.
- 415 p.
ISBN 978-3-540-61576-7
Lecture notes in computer science , 1120
Localisation : Collection 1er étage
calcul informatique # combinatoire # informatique théorique # mathématique discrète # mode de calcul # optimisation # programmation concurente # réseau d'ordinateur # système # système d'exploitation de réseau # système distribué # système partagé # système réparti # technique de programmation
68N05 ; 68Nxx ; 68Q10 ; 68Rxx ; 90Cxx
... 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.
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.
- 324 p.
ISBN 978-3-540-55585-8
Lecture notes in computer science , 0603
Localisation : Collection 1er étage
ADA # ingénierie de logiciel # langage de programmation # programmation automatique # programmation concurrente # programmation fonctionne lle # programmation orientée objet # programmation séquentielle # système d'exploitation # technique de programmation
68-06 ; 68N05 ; 68N15 ; 68N25
... 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.
- 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 [+]
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.
- 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.
- 208 p.
ISBN 978-3-540-17184-3
Lecture notes in computer science , 0242
Localisation : Collection 1er étage
calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation
68N05 ; 68N15 ; 68Q40 ; 68R15
... 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 [+]
