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