Langages formels, calculabilité et complexité :: SCD d'Orléans

$Langages formels, calculabilité et complexité$

Langages formels, calculabilité et complexité

Сохранить в:

Библиографические подробности
Главный автор:	Carton, Olivier, 19..-...., mathématicien
Другие авторы:	Perrin, Dominique, 1946-...., professeur de mathématiques et informatique (Автор введения и т.д.)
Формат:	Livre papier
Язык:	Français
Опубликовано:	Paris : Vuibert DL 2008.
Предметы:	Langages formels Complexité de calcul (informatique) Fonctions calculables Manuels d'enseignement supérieur
Autres localisations:	Voir dans le Sudoc

Схожие документы

Langages formels : calculabilité et complexité : cours et exercices corrigés
по: Carton, Olivier
Опубликовано: (2014)

Introduction à la calculabilité
по: Wolper, Pierre, 1955-
Опубликовано: (1991)

Logique(s), langages formels et complexité pour l'informatique
по: Jussien, Narendra, 1973-
Опубликовано: (2006)

Calculabilité effective et algorithmique théorique
по: Vollat, Patrick
Опубликовано: (1989)

Elements of the theory of computation
по: Lewis, Harry R., 1947-, и др.
Опубликовано: (1981)

Cours de calcul formel : algorithmes fondamentaux
по: Saux Picart, Philippe, 19..-
Опубликовано: (1999)

Complexité algorithmique
по: Perifel, Sylvain, 1982-
Опубликовано: (2014)

Introduction à la calculabilité : cours et exercices corrigés
по: Wolper, Pierre, 1955-
Опубликовано: (2001)

Complexité algorithmique : et problèmes de communications
по: Barthélemy, Jean-Pierre, 1945-, и др.
Опубликовано: (1992)

Introduction to automata theory, languages, and computation
по: Hopcroft, John Edward, 1939-, и др.
Опубликовано: (1979)

Algèbre et calcul formel : agrégation de mathématiques Option C
по: Foissy, Loïc, 1975-...., mathématicien, и др.
Опубликовано: (2017)

Mathématiques pour le calcul formel
по: Mignotte, Maurice, 19..-...., mathématicien
Опубликовано: (1989)

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

Algèbre et calcul formel : agrégation de mathématiques : option C
по: Fleury, Odile, 19..-...., Enseignante-chercheuse en mathématiques, и др.
Опубликовано: (2023)

Anthologie de la calculabilité : naissance et développements de la théorie de la calculabilité des années 1920 à 1970
по: Mosconi, Jean, 1942-
Опубликовано: (2022)

Algèbre et calcul formel : agrégation de mathématiques : option C
по: Fleury, Odile, 19, и др.
Опубликовано: (2023)

Comprendre les méthodes formelles : panorama et outils logiques
по: Monin, Jean-François
Опубликовано: (1996)

Cours de calcul formel : corps finis, systèmes polynomiaux : applications
по: Saux Picart, Philippe, 19..-, и др.
Опубликовано: (2002)

Introduction à l'informatique théorique
по: Bourda, Yolaine, 19..-, и др.
Опубликовано: (1994)

Algorithmes et complexité
по: Wilf, Herbert S., 1931-2012, mathématicien
Опубликовано: (1989)

Calculabilité : aléatoire, mathématiques à rebours et hypercalculabilité
по: Monin, Benoît, 1982-, и др.
Опубликовано: (2022)

Maple : cours et applications : 1re et 2e années toutes filières
по: Porcheron, Lionel, 1978-
Опубликовано: (2004)

Complexité et décidabilité
по: Dehornoy, Patrick, 1952-2019, mathématicien
Опубликовано: (1993)

La machine de Turing
по: Turing, Alan Mathison, 1912-1954, и др.
Опубликовано: (1999)

Calcul formel : systèmes et algorithmes de manipulations algébriques
по: Davenport, James Harold, и др.
Опубликовано: (1987)

Complexité aléatoire et complexité organisée
по: Delahaye, Jean-Paul, 1952-
Опубликовано: (2009)

Programmer avec Maple V
по: Monagan, Michael B., 19..-
Опубликовано: (1997)

Le Turbo Pascal en classes préparatoires, Calcul formel
по: Levine, Albert, 19..-
Опубликовано: (1989)

Complexités : aux limites des mathématiques et de l'informatique
по: Delahaye, Jean-Paul, 1952-
Опубликовано: (2006)

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

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)

The computational complexity of logical theories
по: Ferrante, Jeanne, 1949-, и др.

Le Calcul intensif
по: Stockmeyer, Larry, 1948-, и др.
Опубликовано: (1989)

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

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)

© 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