Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 305 p.
ISBN 978-3-540-12868-7
Lecture notes in computer science , 0162
Localisation : Collection 1er étage
informatique # algèbre de l'informatique # algorithme # application # polynôme # théorie de nombre et calcul # factorisation
68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 508 p.
ISBN 978-3-540-96022-5
Lecture notes in computer science , 0170
Localisation : Collection 1er étage
algèbre # automatique # engineering # logique mathématique # logique symbolique
03D05 ; 68Q68
... 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.
- 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 488 p.
ISBN 978-3-540-54522-4
Lecture notes in computer science , 0539
Localisation : Collection 1er étage
arithmétique de codage # codage # codes correcteurs d'erreurs # mathématique discrète
94B40 ; 94Bxx
... 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.
- 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.
- 440 p.
ISBN 978-3-540-15976-6
Lecture notes in computer science , 0202
Localisation : Collection 1er étage
algèbre de l'informatique # intelligence artificielle # programmation automatique # réecriture de système # système de réecriture # théorie de l'informatique
68Q42
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 197 p.
ISBN 978-3-540-18928-2
Lecture notes in computer science , 0296
Localisation : Collection 1er étage
algèbre de l'informatique
68Qxx ; 68Uxx
... 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.
- 435 p.
ISBN 978-3-540-61464-7
Lecture notes in computer science , 1103
Localisation : Collection 1er étage
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 510 p.
ISBN 978-3-540-66723-0
Lecture notes in computer science , 1719
Localisation : Collection 1er étage
algorithme # base de Gröbner # code convolutionnel # code correcteur d
00B25 ; 94-06 ; 94B10 ; 94B25 ; 94Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 618 p.
ISBN 978-3-540-55210-9
Lecture notes in computer science , 0577
Localisation : Collection 1er étage
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # système distribué # système informatique # sémantique # transformation géométrique
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # ...
68M10 ; 68Mxx ; 68Q25 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
ISBN 978-3-540-55553-7
Lecture notes in computer science , 0601
Localisation : Collection 1er étage
analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information
68-06 ; 68Q40 ; 68Q45 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-3-540-61581-1
Lecture notes in computer science , 1122
Localisation : Collection 1er étage
algorithme non numérique # algorithmique # algèbre # algèbre de l'informatique # analyse d'algorithme # arithmétique # corps des nombres finis # cryptage des données # cryptographie # encryptage de données # grammaire # informatique théorique # mathématique de l'informatique # mathématique discrète # polynôme # problème de complexité # théorie algorithmique des nombres # théorie des nombres # traitement des données informatiques
11T71 ; 11Yxx ; 68P25 ; 68Q25 ; 68Q40
... 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.
- 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.
- 650 p.
ISBN 978-3-540-15984-1
Lecture notes in computer science , 0204
Localisation : Collection 1er étage
algèbre de l'informatique # algorithme # combinatoire # logique combinatoire # mathématiques discrètes
68Q20 ; 68Q40 ; 68Qxx ; 68Rxx
... Lire [+]
