Introduction à l'informatique théorique :: SCD d'Orléans

Introduction à l'informatique théorique

Introduction à l'informatique théorique

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Bourda, Yolaine, 19..-, Graner, Nicolas, 19..- (Awdur), Rousset, Marie-Christine, auteur en informatique (Awdur)
Awduron Eraill:	Gaudel, Marie-Claude, 1946- (Awdur y cyflwyniad etc.)
Fformat:	Livre papier
Iaith:	Français
Cyhoeddwyd:	Paris : Eyrolles 1994, cop. 1994
Cyfres:	Collection de la Direction des études et recherches d'Électricité de France. SUPÉLEC 11
Pynciau:	Automates programmables Programmation (mathématiques) Résolution de problème > Informatique Complexité de calcul (informatique) Langages formels Ordinateurs > Programmation
Autres localisations:	Voir dans le Sudoc

Eitemau Tebyg

Introduction to automata theory, languages, and computation
gan: Hopcroft, John Edward, 1939-, et al.
Cyhoeddwyd: (1979)

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

Mathématiques concrètes : fondations pour l'informatique
gan: Graham, Ronald Lewis, 1935-2020, et al.
Cyhoeddwyd: (2003)

Calcul par l'informatique : méthode logique d'enseignement des mathématiques
gan: Bertin, Marie-José
Cyhoeddwyd: (1983)

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

Logique(s), langages formels et complexité pour l'informatique
gan: Jussien, Narendra, 1973-
Cyhoeddwyd: (2006)

Premiers pas en Maple : introduction à l'utilisation du calcul formel en mathématiques, en physique & en chimie
gan: Fortin, Philippe, 19..-...., professeur de mathématiques, et al.
Cyhoeddwyd: (1995)

Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977

Programmer avec Maple V
gan: Monagan, Michael B., 19..-
Cyhoeddwyd: (1997)

L'informatique simplement : concepts de programmation
gan: Hromkovic, Juraj, 1958-, et al.
Cyhoeddwyd: (2023)

Automata, languages and programming : 15th International colloquium, Tempere, Finland, July 11-15, 1988 : proceedings

Informatique générale : structure et fonctionnement des ordinateurs : théorie des langages
gan: Stehlé, Jean-Luc, 19..-2021, et al.
Cyhoeddwyd: (1989)

Theoretical computer science : exploring new frontiers of theoretical information : Intermational Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings

Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

L’informatique du temps et des événements
gan: Gérard Berry
Cyhoeddwyd: (2021)

L'informatique du temps et des événements : [leçon inaugurale prononcée le jeudi 28 mars 2013]
gan: Berry, Gérard, 1948-...., informaticien, et al.
Cyhoeddwyd: (2013)

Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980

Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

Intelligence artificielle et informatique théorique
gan: Alliot, Jean-Marc, 1962-, et al.
Cyhoeddwyd: (1994)

Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978

Introduction à la calculabilité
gan: Wolper, Pierre, 1955-
Cyhoeddwyd: (1991)

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

Introduction à l'informatique quantique : apprendre à calculer sur des ordinateurs quantiques avec Python
gan: Bourreau, Éric, et al.
Cyhoeddwyd: (2022)

Introduction à l'informatique quantique : apprendre à calculer sur des ordinateurs quantiques avec Python
gan: Bourreau, Éric, et al.
Cyhoeddwyd: (2022)

Éléments pour une histoire de l'informatique
gan: Knuth, Donald Ervin, 1938-
Cyhoeddwyd: (2011)

Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

Structure et interprétation des programmes informatiques
gan: Abelson, Harold, 1947-, et al.
Cyhoeddwyd: (1989)

Le Turbo Pascal en classes préparatoires, Calcul formel
gan: Levine, Albert, 19..-
Cyhoeddwyd: (1989)

Mathématiques sur micro-ordinateur. Algèbre
gan: Reverchon, Alain, et al.
Cyhoeddwyd: (1985)

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Informatique pour tous : programmation Python langage SQL : CPGE scientifiques 1re et 2e années
gan: Canu, Cécile, 19..-...., enseignante d'informatique
Cyhoeddwyd: (2018)

Methods of algorithmic language implementation

La technique informatique. principes généraux et programmation
gan: Bestougeff, Hélène, et al.
Cyhoeddwyd: (1975)

L'informatique : des transistors aux microservices
gan: Kehrli, Jérôme, 19..-
Cyhoeddwyd: (2025)

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
gan: Lauer, Peter E., 1934-

Automata, languages and programming : 10th Colloquium, Barcelona, Spain, July 18-22, 1983

Les algorithmes de base de l'informatique quantique. Shor et métaheuristiques quantiques
gan: Fleury, Gérard, 19..-...., mathématicien, et al.
Cyhoeddwyd: (2023)

Pratique active de l'informatique par l'enfant
Cyhoeddwyd: (1981)

Algorithmes de graphes : avec programmes en Pascal
gan: Prins, Christian, 1956-
Cyhoeddwyd: (1994)

High performance computing : third international symposium, ISHPC 2000, Tokyo, Japan, October 16-18, 2000 : proceedings

© 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