m

Documents  F | enregistrements trouvés : 19

O
     

-A +A

P Q

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.

- 762 p.
ISBN 978-3-540-54233-9

Lecture notes in computer science , 0510

Localisation : Collection 1er étage

algorithme # automate # complexité # langage des automates # langage forme # programmation fonctionnelle # programmation # programmation logique

68Q68

... Lire [+]

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

- 426 p.
ISBN 978-3-540-54458-6

Lecture notes in computer science , 0529

Localisation : Collection 1er étage

algorithme # algorithmique # architecture parallèle # combinatoire # complexe # géométrie algébrique # géométrie de l'informatique # informatique théorique # langage formel # sémantique

... Lire [+]

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

- 548 p.
ISBN 978-3-540-53709-0

Lecture notes in computer science , 0480

Localisation : Collection 1er étage

algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe

68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 68Qxx

... Lire [+]

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

- 427 p.
ISBN 978-3-540-55789-0

Lecture notes in computer science , 0626

Localisation : Collection 1er étage

gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

... Lire [+]

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

- 376 p.
ISBN 978-3-540-56320-4

Lecture notes in computer science , 0653

Localisation : Collection 1er étage

automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision

68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12

... Lire [+]

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

- 351 p.
ISBN 978-3-540-57879-6

Lecture notes in computer science , 0787

Localisation : Collection 1er étage

analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...

68P05 ; 68Q10 ; 68Qxx ; 68R10

... Lire [+]

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

- 654 p.
ISBN 978-3-540-59042-2

Lecture notes in computer science , 0900

Localisation : Collection 1er étage

algorithme # base de données # code possible dans le code génétique # cryptographie # géométrie informatique # informatique théorique # logique # théorie de la communication # théorie de la complexité # théorie des automates # théorie des graphes # théorie du calcul parallèle # équivalence de processus concurrent et décision

68-06 ; 68Qxx ; 68U05 ; 94A60

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

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

- 788 p.
ISBN 978-3-540-51371-1

Lecture notes in computer science , 0372

Localisation : Collection 1er étage

algorithmique # approximation # architecture des processus # déduction # grammaire des graphes # informatique théorique # logique de programmation # mathématique discrète # méthodologie du calcul informatique # optimisation # organisation des systèmes # probabilité # spécification # spécification algébrique # structure des données # système informatique # théorème de preuve

68Mxx ; 68N17 ; 68Nxx ; 68P05 ; 68Q05

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

- 782 p.
ISBN 978-3-540-58201-4

Lecture notes in computer science , 0775

Localisation : Collection 1er étage

algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...

68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80

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

- 680 p.
ISBN 978-3-540-61440-1

Lecture notes in computer science , 1099

Localisation : Collection 1er étage

algorithme de graphe # algorithme parallèle # algorithmique # calcul informatique # codage # combinatoire # complexité algébrique # informatique théorique # intelligence artificielle # langage de programmation # mathématique de l'informatique # mathématique discrète # spécification de système # théorie de l'information

68M05 ; 68Mxx ; 68Q05 ; 68Q10 ; 68Qxx

... Lire [+]

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

- 741 p.
ISBN 978-3-540-19488-0

Lecture notes in computer science , 0317

Localisation : Collection 1er étage

algorithmique # algèbre de l informatique # analyse numérique # architecture # calcul informatique pour dispositif abstrait # informatique théorique # intelligence artificielle # organisation des systems # problème de complexité # processeur # structure des données

68M07 ; 68Mxx ; 68P05 ; 68Q05 ; 68Q25 ; 68Q28 ; 68Q70 ; 68Qxx

... Lire [+]

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

- 565 p.
ISBN 978-3-540-18088-3

Lecture notes in computer science , 0267

Localisation : Collection 1er étage

algèbre de l

68N15 ; 68N17 ; 68Q40 ; 68Q68 ; 68Q70 ; 68Qxx ; 68Rxx ; 68T15 ; 68Txx

... Lire [+]

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

- 193 p.
ISBN 978-2-7606-0562-6

Séminaire de mathématiques supérieures , 0077

Localisation : Salle de manutention

application canonique # minimalité # nombre de Chern # résolution des coupes # singularité # surface algébrique # surface modulaire d'Hilbert # variété modulaire d'Hilbert

10D21 ; F

... Lire [+]

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

- 245 p.
ISBN 978-3-540-52831-9

EATCS monographs on theoretical computer science , 0023

Localisation : Ouvrage RdC (SALO)

chiffrement des données # classe de complexité # communication # complexité d'un problème # corps finis # cryptographie # cryptosystème à clé publique # information # informatique # informatique théorique # standard de chiffrement des données # théorie algébrique du codage # théorie des données

68-XX ; 68P25 ; 68Pxx ; 94A60 ; 94Axx

... Lire [+]

Z