Langages formels : :: SCD d'Orléans

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

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

Ce manuel est une introduction à l'informatique fondamentale présentant tous les grands domaines de la thorie des langages formels aux notions de calculabilité et de complexité. Le cours est complet par de nombreux exercices dont les corrigs, très détaillés, assurent une mise en application eff...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Carton, Olivier
अन्य लेखक:	Perrin, Dominique, 1946- (परिचय का लेखक, आदि।)
स्वरूप:	Livre papier
भाषा:	Français
प्रकाशित:	Paris : Vuibert DL 2014.
संस्करण:	[2e édition].
विषय:	Langages formels Complexité de calcul (informatique) Fonctions calculables Manuels d'enseignement supérieur
टिप्पणी:	Autre tirage : 2020 La couv. porte en plus : "cours complet, exercices d'application, tous les corrigés détaillés"
Autres localisations:	Voir dans le Sudoc

समान संसाधन

Langages formels, calculabilité et complexité
द्वारा: Carton, Olivier, 19..-...., mathématicien
प्रकाशित: (2008)

Introduction à la calculabilité
द्वारा: Wolper, Pierre, 1955-
प्रकाशित: (1991)

Logique(s), langages formels et complexité pour l'informatique
द्वारा: Jussien, Narendra, 1973-
प्रकाशित: (2006)

Elements of the theory of computation
द्वारा: Lewis, Harry R., 1947-, और अन्य
प्रकाशित: (1981)

Cours de calcul formel : algorithmes fondamentaux
द्वारा: Saux Picart, Philippe, 19..-
प्रकाशित: (1999)

Calculabilité effective et algorithmique théorique
द्वारा: Vollat, Patrick
प्रकाशित: (1989)

Introduction to automata theory, languages, and computation
द्वारा: Hopcroft, John Edward, 1939-, और अन्य
प्रकाशित: (1979)

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981

Cours de calcul formel : corps finis, systèmes polynomiaux : applications
द्वारा: Saux Picart, Philippe, 19..-, और अन्य
प्रकाशित: (2002)

Comprendre les méthodes formelles : panorama et outils logiques
द्वारा: Monin, Jean-François
प्रकाशित: (1996)

Maple : cours et applications : 1re et 2e années toutes filières
द्वारा: Porcheron, Lionel, 1978-
प्रकाशित: (2004)

Complexité algorithmique
द्वारा: Perifel, Sylvain, 1982-
प्रकाशित: (2014)

Algèbre et calcul formel : agrégation de mathématiques : option C
द्वारा: Fleury, Odile, 19, और अन्य
प्रकाशित: (2023)

Algèbre et calcul formel : agrégation de mathématiques Option C
द्वारा: Foissy, Loïc, 1975-...., mathématicien, और अन्य
प्रकाशित: (2017)

Algèbre et calcul formel : agrégation de mathématiques : option C
द्वारा: Fleury, Odile, 19..-...., Enseignante-chercheuse en mathématiques, और अन्य
प्रकाशित: (2023)

Mathématiques pour le calcul formel
द्वारा: Mignotte, Maurice, 19..-...., mathématicien
प्रकाशित: (1989)

Introduction à l'informatique théorique
द्वारा: Bourda, Yolaine, 19..-, और अन्य
प्रकाशित: (1994)

Complexité algorithmique : et problèmes de communications
द्वारा: Barthélemy, Jean-Pierre, 1945-, और अन्य
प्रकाशित: (1992)

Introduction à la calculabilité : cours et exercices corrigés
द्वारा: Wolper, Pierre, 1955-
प्रकाशित: (2001)

Calcul formel : systèmes et algorithmes de manipulations algébriques
द्वारा: Davenport, James Harold, और अन्य
प्रकाशित: (1987)

La machine de Turing
द्वारा: Turing, Alan Mathison, 1912-1954, और अन्य
प्रकाशित: (1999)

Programmer avec Maple V
द्वारा: Monagan, Michael B., 19..-
प्रकाशित: (1997)

Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings

Le Turbo Pascal en classes préparatoires, Calcul formel
द्वारा: Levine, Albert, 19..-
प्रकाशित: (1989)

Maple V en classes prépas
द्वारा: Rambach, Philippe
प्रकाशित: (1998)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

The nature of computation : logic, algorithms, applications : proceedings
प्रकाशित: (2013)

Calcul formel avec MUPAD
द्वारा: Maltey, François
प्रकाशित: (2001)

Algorithmes et complexité
द्वारा: Wilf, Herbert S., 1931-2012, mathématicien
प्रकाशित: (1989)

The computational complexity of logical theories
द्वारा: Ferrante, Jeanne, 1949-, और अन्य

STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27 March 1, 1997 : proceedings

Le Calcul intensif
द्वारा: Stockmeyer, Larry, 1948-, और अन्य
प्रकाशित: (1989)

Mobile ad-hoc networks (manets) : réseaux, ad-hoc, mobiles sans fil
द्वारा: Myoupo, Jean-Frédéric
प्रकाशित: (2013)

The computational complexity of algebraic and numeric problems
द्वारा: Borodin, Allan, 1941-, और अन्य
प्रकाशित: (1975)

Complexité et décidabilité
द्वारा: Dehornoy, Patrick, 1952-2019, mathématicien
प्रकाशित: (1993)

Computational science - ICCS 2003 : International conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 : proceedings, part IV

Computational science - ICCS 2003 : International conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 : proceedings, part III

Computational complexity
द्वारा: Papadimitriou, Christos H., 1949-
प्रकाशित: (1994)

Journal of complexity.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales