STACS 85 : :: SCD d'Orléans

STACS 85 : 2nd annual symposium on theoretical aspects of computer science, Saarbrücken, January 3-5, 1985

STACS 85 : 2nd annual symposium on theoretical aspects of computer science, Saarbrücken, January 3-5, 1985

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	Symposium on Theoretical Aspects of Computer Science (Auteur)
Andre forfattere:	Mehlhorn, Kurt, 1949- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 182
Fag:	Informatique Algorithmes Logique symbolique et mathématique Ordinateurs Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• STACS 85, 2nd annual symposium on theoretical aspects of computer science, Saarbrücken, January 3-5, 1985, edited by K. Mehlhorn, Berlin, Springer, 1985, 1 vol. (VII-374 p.), Lecture notes in computer science, 3-540-13912-5 • STACS 85, Texte imprimé, 9783662211229

Lignende værker

STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2 4, 1995 : proceedings

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16 18, 1986

STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 24, 1996 : proceedings

STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24 26, 1994 : proceedings

STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings

STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14 16, 1991 : proceedings

STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22 24, 1990 : proceedings

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004 : proceedings

STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings

STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11 13, 1984 : sponsored by AFCET (Association Francaise pour la Cybernétique Economique et Technique) and GI (Gesellschaft für Informatik)

STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13 15, 1992 : proceedings

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

Rewriting techniques and applications : Dijon, France, May 20 22, 1985

EUROCAL '85 : European Conference on Computer Algebra, Linz, Austria, April 1 3 1985 : proceedings research contributions

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings : FST and TCS 10

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 14, 1994 : proceedings

Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings

Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings

Logical foundations of computer science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6 12, 1997 : proceedings

Machines, computations, and universality : third international conference, MCU 2001, Chişinžu, Moldova, May 23-27 2001 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

STACS 87 : 4th Annual Symposium on theoretical aspects of computer science, Passau, Federal Republic of Germany, February 19 21, 1987 : proceedings

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers

Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9 11, 2001 : proceedings

Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 : proceedings

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 March 1, 2003 : proceedings

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Rewriting techniques and applications : 3rd International conference, RTA-89, Chapel Hill, North Carolina, USA April 3 5, 1989 : proceedings

Database theory - ICDT 2001 : 8th international conference, London, UK, January 4-6, 2001 : proceedings

STACS 2002 : 19th annual Symposium on theoretical aspects of computer science, Antibes-Juan les Pins, France, march 14-16, 2002 : proceedings

Rewriting techniques and applications : ; proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004

STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17 19, 2000 : proceedings

Mathematics of program construction : second international conference, Oxford, U.K., June 29 July 3, 1992 : proceedings

FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings

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

© 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