Mathematical theory of computation :: SCD d'Orléans

Mathematical theory of computation

Mathematical theory of computation

Enregistré dans:

Détails bibliographiques
Auteur principal:	Manna, Zohar, 1939-2018
Format:	Livre papier
Langue:	Anglais
Publié:	New York ; Paris [etc.] : McGraw-Hill C 1974.
Collection:	McGraw-Hill computer science series
Sujets:	Programmation (mathématiques) Ordinateurs Informatique > Mathématiques Débogage Calculs numériques
Autres localisations:	Voir dans le Sudoc

Documents similaires

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

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

Introduction to automata theory, languages, and computation
par: Hopcroft, John Edward, 1939-, et autres
Publié: (1979)

Le microprocesseur. aspects logiciels et matériels du développement, du débogage et du test
par: Darche, Philippe, 19..-
Publié: (2021)

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Por©eba, Poland, September 6-10, 1999 : proceedings

Mathematical foundations of computer science 2001 : 26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27 31, 2001 : proceedings

Mathematical foundations of computer science 2000 : ; proceedings 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000

Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings

Extension paramétrée de compilateur certifié pour la programmation parallèle
par: Dailler, Sylvain, 1988-
Publié: (2015)

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings

Mathematical foundations of computer science 2003 : 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003 : proceedings

Mathématiques concrètes : fondations pour l'informatique
par: Graham, Ronald Lewis, 1935-2020, et autres
Publié: (2003)

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97 Bratislava, Slovakia, August 25 29, 1997 : proceedings

Utilisations industrielles des techniques formelles : interprétation abstraite
Publié: (2011)

The art of computer programming. Sorting and searching
par: Knuth, Donald Ervin, 1938-
Publié: (1973)

Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 : proceedings

Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings

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

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

Ordinateurs et calcul parallèles
Publié: (1997)

Introduction to the theory of computation
par: Sipser, Michael
Publié: (2006)

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

Elements of the theory of computation
par: Lewis, Harry R., 1947-, et autres
Publié: (1981)

Introduction à l'informatique théorique
par: Bourda, Yolaine, 19..-, et autres
Publié: (1994)

Journal of logic and computation.
Publié: (1990)

Symbolic-Numeric Computation

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Fundamentals of computation theory : FCT '85 Cottbus, GDR, September 9 13, 1985

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

The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization
par: Nazareth, John Lawrence

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4 8, 1988 : proceedings

Techniques numériques appliquées au calcul scientifique
par: Pelletier, J. P.
Publié: (1971)

Algorithms and computation : 11th international conference, ISAAC 2000, Tapei, Taiwan, december 18-20, 2000 : proceedings

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

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
par: Karpiński, Marek

Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981

Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983

Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : 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