धन उगाहना 15 सितंबर, 2024 – 1 अक्टूबर, 2024 धन उगाहने के अभियान के बारे में

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

सबसे उपयोगी शब्द

जुड़े हुए बुकलिस्ट