寄付 2024年9月15日 – 2024年10月1日募金について

Langages formels : calculabilité et complexité : cours et...

Main
Mathematics
Langages formels : calculabilité et...

Langages formels : calculabilité et complexité : cours et exercices corrigés

Carton, Olivier, Perrin, Dominique

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

カテゴリー:

年:

2014

版:

[2e édition].

出版社:

Vuibert

言語:

french

ページ:

255

ISBN 10:

2311014005

ISBN 13:

9782311014006

ファイル:

PDF, 9.02 MB

IPFS:

,

french, 2014

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Albert Ducrocq, André Warusfel — Les mathématiques, plaisir & nécessité Un parcours guidé dans l'univers des mathématiques

Arnaud Bodin et al. — Algorithmes : Cours de mathématiques - Première année

Michelle CLOUSE — Algèbre relationnelle - Guide pratique de conception d'une base de données relationnelle normalisée

Bostan A., Chyzak F., et al — Algorithms efficaces en calcul formel

Gilles Bailly-Maitre — Arithmétique et cryptologie

John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman — Introduction to automata theory, languages, and computation

Peter Linz — An Introduction to Formal Languages and Automata [6th ed.]

Cori R., Lascar D. — Logique mathematique, tome 1. Calcul propositionnel, algebre de Boole, calcul des predicats

Cori R., Lascar D. — Logique mathematique, tome 2. Fonctions recursives, theorie des modeles

Pierre Wolper — Introduction à la calculabilité : Cours et exercices corrigés

Alexis Drogoul, Jean-Pierre Treuil, Jean-Daniel Zucker — Modélisation et simulation à base d'agents : Exemples commentés, outils informatiques et questions théoriques

Rémy Malgouyres, Rita Zrour, Fabien Feschet — Initiation à l'algorithmique et aux structures de données en C : 118 exercices corrigés

Bolton, William Charles; Soulard, Hervé — Automates programmables industriels

Y. Collette, P. Siarry — Optimisation multiobjectif

Roques P. — UML 2 par la pratique: Etudes de cas et exercices corriges

Massih-Reza Amini, Francis Bach — Apprentissage machine : de la théorie à la pratique

Carton, Olivier; Perrin, Dominique — Langages formels : calculabilité et complexité : cours et exercices corrigés

Pafrice Séébold — Fondamentaux de la théorie des automates

Bosc, Patrick, Guyomard, Marc, Miclet, Laurent — Conception d'algorithmes: 150 exercices corrigés. Préface de Colin de la Higuera (French Edition)

Geoffrion, B.; Lilen, Henri — Initiation au langage assembleur

Florent. — Algebre lineaire

Jean Genet; Georges Pupion — Analyse moderne Tome 2, Fonctions d'une variable complexe, intégration, calcul différentiel, équations aux dérivées partielles

Graham, Ronald L.; Knuth, Donald Ervin; Patashnik, Oren — Mathématiques concrètes: fondations pour l'informatique

Bruce Schneier — Cryptographie appliquée

Charles Corges — Machines de Turing et Automates Cellulaires: du Trait Grave au Tres Anime

Luc Bouge, Claire Kenyon, Jean-Michel Muller, Yves Robert — Algorithmique: Exercices corrigés posés à l'oral du concours d'entrée à l'Ecole Normale Supérieure de Lyon

Gilles Dowek — Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Ricardo Caferra — Logique pour l'informatique et pour l'intelligence artificielle

Marc Guyomard (auth.) — Structures de données et méthodes formelles

Alain Bretto, Alain Faisant, François Hennecart — Eléments de théorie des graphes

Robert Van Loo — Antimanuel de mathématique

Jean-Claude Fournier — Théorie des graphes et applications

BOREVITCH CHAFAREVITCH Simon Plouffe — Théorie des nombres

Jacques Neveu — Chaines de Markov et théorie du potentiel

Michel Hughes. — Initiation mathématique aux grammaires formelles

Patrick Dehornoy — Mathématiques pour l'informatique

Antoine Chambert-Loir — Logique, théorie des modèles, complexité [Lecture notes]

Valentin Féray — Approche Duale des représentations du groupe symétrique [Lecture notes]

Stéphane Gaubert — Introduction aux systèmes dynamiques à événements discrets

Florent Hivert — Combinatoire des fonctions quasi-symétriques

Jean-Pierre Marco, Laurent Lazzarini — Mathématiques L1 : Cours complet avec 1000 tests et exercices corrigés

Jean-Éric Pin — Automates Réversibles : Combinatoire, Algèbre et Topologie

主要なフレーズ

関連ブックリスト