m

Documents  G.2 | enregistrements trouvés : 61

O

-A +A

P Q

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.

- 508 p.
ISBN 978-3-540-08860-8

Lecture notes in computer science , 0062

Localisation : Collection 1er étage

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

68-XX ; 68N15 ; 68Rxx

... Lire [+]

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

- 364 p.
ISBN 978-3-540-10828-3

Lecture notes in computer science , 0112

Localisation : Collection 1er étage

algèbre # arbres # grammaire # programmation

68B15 ; 68E10

... Lire [+]

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

- 471 p.
ISBN 978-0-387-10854-4

Lecture notes in computer science , 0117

Localisation : Collection 1er étage

informatique théorique

68Q15 ; 68Qxx

... Lire [+]

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

- 589 p.
ISBN 978-3-540-10856-6

Lecture notes in computer science , 0118

Localisation : Collection 1er étage

informatique théorique

68Q15 ; 68Qxx

... Lire [+]

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

- 581 p.
ISBN 978-3-540-13372-8

Lecture notes in computer science , 0176

Localisation : Collection 1er étage

algorithme # algorithmique # complexité # informatique théorique # mathématique # mathématique de l'informatique # mathématiques discrètes # programmation # programmation logique

68Qxx ; 68Rxx

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

- 495 p.
ISBN 978-3-540-54343-5

Lecture notes in computer science , 0519

Localisation : Collection 1er étage

algorithme # algorithmique # énumération # graphe # structure des données

68P05 ; 68Q20 ; 68Q22 ; 68Q25 ; 68Q30

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

- 395 p.
ISBN 978-3-540-54945-1

Lecture notes in computer science , 0557

Localisation : Collection 1er étage

algorithme # algoritmique

68Qxx

... Lire [+]

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

- 320 p.
ISBN 978-3-540-54891-1

Lecture notes in computer science , 0553

Localisation : Collection 1er étage

algorithme # géométrie # géométrie combinatoire

68Q20 ; 68R15

... Lire [+]

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

- 480 p.
ISBN 978-3-540-51083-3

Lecture notes in computer science , 0357

Localisation : Collection 1er étage

algèbre de l'informatique # algorithme algébrique # codage # code correcteur

68G40 ; 68Rxx ; 94Bxx

... Lire [+]

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

- 417 p.
ISBN 978-3-540-51082-6

Lecture notes in computer science , 0356

Localisation : Collection 1er étage

algèbre de l'informatique # algorithme algébrique # codage # code correcteur

68G40 ; 68Rxx ; 94Bxx

... Lire [+]

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

- 719 p.
ISBN 978-3-540-55719-7

Lecture notes in computer science , 0623

Localisation : Collection 1er étage

algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10

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

- 390 p.
ISBN 978-3-540-54195-0

Lecture notes in computer science , 0508

Localisation : Collection 1er étage

analyse des algorithmes et complexité des problèmes # codage et théorie de l'information # code à correction d'erreur # cryptage des données # donnée # manipulation algébrique # mathématique discrète

68P25 ; 68Qxx ; 68Rxx ; 94-06 ; 94Bxx

... Lire [+]

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

- 439 p.
ISBN 978-3-540-56992-3

Lecture notes in computer science , 0702

Localisation : Collection 1er étage

3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul linéaire # langage de programmation # langage de programmation C # langage fonctionnel # logique de base des preuves # logique du point fixe stratifiée # logique linéaire # machine Oracle à temps polynômial # machine de Turing # mathématique discrète # modèle catégorique # prauve de NP-complétude # problème NP-complet # problème d'optimisation NP # programmation logique fonctionnelle # programme de logique complet en négation # prédicat auxiliaire monadique # structuration algorithmique des preuves libres de coupure # sémantique des systèmes de transition comparative # sémantique opérationnelle 3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul ...

03B40 ; 03D10 ; 03D70 ; 18A15 ; 68Qxx

... Lire [+]

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

- 322 p.
ISBN 978-3-540-58691-3

Lecture notes in computer science , 0877

Localisation : Collection 1er étage

CM-champ # algorithme # complexité # courbe elliptique rationnelle # courbe hyperelliptique # criblage de treillis # cycle d'isogénie # difficulté à trouver des témoins fiables # division d'essais # informatique # méthode symbolique en mathématique algorithmique # ordinateur quantique # réduction # théorie des nombres # théorie des nombres algorithmique # variété CM abelienne

11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40

... Lire [+]

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

- 683 p.
ISBN 978-3-540-60084-8

Lecture notes in computer science , 0944

Localisation : Collection 1er étage

algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique

68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx

... Lire [+]

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

- 433 p.
ISBN 978-3-540-60249-1

Lecture notes in computer science , 0965

Localisation : Collection 1er étage

algorithme et structure de données # automate et langage formel # calculabilité et complexité # catégorie et type # fondement d'informatique théorique # fondement des spécifications de système # géométrie informatique # logique informatique # parallélisme et concurrence # réécriture et système de remplacement de haut niveau # sémantique # théorie de l'apprentissage

68-06 ; 68Qxx

... Lire [+]

Z