Mathematical foundations of computer science 1981 : :: SCD d'Orléans

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

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

Salvato in:

Dettagli Bibliografici
Ente Autore:	Symposium on mathematical foundations of computer science :Strbské Pleso, Slovaquie
Altri autori:	Gruska, Jozef, 1933- (Direttore editoriale), Chytil, Michal, 1949- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 118
Soggetti:	Informatique Langages formels Algorithmes Automates mathématiques, Théorie des Complexité de calcul (informatique) Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Mathematical foundations of computer science 1981, proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981, edited by J. Gruska and M. Chytil, Berlin, Springer-Verlag, 1981, 1 vol. (XI-589 p.), Lecture notes in computer science, 0-387-10856-4 • Mathematical Foundations of Computer Science 1981, Texte imprimé, 9783662209301

Documenti analoghi

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

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

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

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

Mathematical Foundations of Computer Science 1976 : proceedings, 5th Symposium, Gdańsk, September 6 10, 1976
Pubblicazione: (2005)

Computation theory : fifth symposium, Zaborow, Poland, December 3-8, 1984 : proceedings

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

Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings

Elements of the theory of computation
di: Lewis, Harry R., 1947-, et al.
Pubblicazione: (1981)

Algorithms and computation : 10th International Symposium, ISAAC 99, Chennai, India, December 16 18, 1999 : proceedings

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Mathematical foundations of computer science : 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974
Pubblicazione: (2005)

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Complexité algorithmique : et problèmes de communications
di: Barthélemy, Jean-Pierre, 1945-, et al.
Pubblicazione: (1992)

Introduction à la calculabilité
di: Wolper, Pierre, 1955-
Pubblicazione: (1991)

Algorithms and computation : 9th international symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998 : proceedings

Journal of symbolic computation.

Introduction à l'informatique théorique
di: Bourda, Yolaine, 19..-, et al.
Pubblicazione: (1994)

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

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

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

Algebra for symbolic computation
di: Machì, Antonio, 19..-, mathématicien

Parameterized and exact computation : First international workshop, IWPEC 2004, Bergen, Norway, september 14-17, 2004 : proceedings

Fundamentals of computation theory : 8th International Conference, FCT '91 Gosen, Germany, September 9 13, 1991 : proceedings

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

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

Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
Pubblicazione: (2005)

CAAP '81 : Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings

Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings

Commutative Algebra, Singularities and Computer Algebra : Proceedings of the NATO Advanced Research Workshop on Commutative Algebra, Singularities and Computer Algebra Sinaia, Romania 17-22 September 2002

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

Introduction to the theory of computation
di: Sipser, Michael
Pubblicazione: (2006)

Algorithm theory - SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8 10, 1998 : proceedings

Randomness and completeness in computational complexity
di: Van Melkebeek, Dieter

Lectures on proof verification and approximation algorithms
di: Mayr, Ernst W., 1950-

Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986

Mathematical foundations of computer science 1990 : Banská Bystrica, Czechoslovakia, August 27 31, 1990 : proceedings

Le Calcul intensif
di: Stockmeyer, Larry, 1948-, et al.
Pubblicazione: (1989)

SWAT 88 : 1st Scandinavian workshop on algorithm theory, Halmstad, Sweden, July 5 8, 1988 : proceedings

Mathematical foundations of computer science 1992 : 17th International Symposium, Prague, Czechoslovakia, August 24 28, 1992 : 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