#
Machine theory -- Congresses
Resource Information
The concept ** Machine theory -- Congresses** represents the subject, aboutness, idea or notion of resources found in **University of Missouri-St. Louis Libraries**.

The Resource
Machine theory -- Congresses
Resource Information

The concept

**Machine theory -- Congresses**represents the subject, aboutness, idea or notion of resources found in**University of Missouri-St. Louis Libraries**.- Label
- Machine theory -- Congresses

## Context

Context of Machine theory -- Congresses#### Subject of

- 2008 49th Annual IEEE Symposium on Foundations of Computer Science : 25-28 October 2008
- 27th annual Symposium on Foundations of Computer Science : October 27-29, 1986
- A half-century of automata theory : celebration and inspiration
- Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
- Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
- Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
- Advances in Petri Nets, 1991
- Advances in Petri Nets, 1992
- Advances in Petri Nets, 1993
- Advances in Petri nets 1987
- Advances in Petri nets, 1984
- Advances in Petri nets, 1985
- Advances in Petri nets, 1986 : proceedings of an advanced course, Bad Honnef, September 1986
- Advances in Petri nets, 1989
- Advances in Petri nets, 1990
- Annual Symposium on Foundations of Computer Science : [papers]
- Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings
- Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
- Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers
- Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers
- Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers
- Automata on infinite words
- Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings
- Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
- Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
- Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
- Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings
- Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings
- Automata, languages and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
- Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings
- Automata, languages and programming : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
- Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
- Automata, languages and programming : 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 ; proceedings
- Automata, languages and programming : 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974
- Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)
- Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
- Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978
- Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983
- Automata, languages, and programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984
- Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985
- Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings
- Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings
- Automata, languages, and programming : 16th international colloquim, Stresa, Italy, July 11-15, 1989 : proceedings
- Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings
- Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
- Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
- Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982
- Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
- CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
- Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 ; proceedings
- Conference proceedings of the ... annual ACM Symposium on Theory of Computing
- Conference record of the ... annual ACM Symposium on Theory of Computing
- FOCS 2006 : 47th annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California
- FOCS 2015 : proceedings : 2015 IEEE 56th annual Symposium on Foundations of Computer Science : 17-20 October 2015, Berkeley, California
- Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers
- Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
- Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983
- Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985
- Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
- Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-29, 1981
- Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers
- Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
- Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
- Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
- Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
- Information processing : proceedings of the International Conference on Information Processing, Unesco, Paris
- Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
- Machines, computations, and universality : third international conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001 : proceedings
- Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981
- Mathematical foundations of computer science 1986 : proceedings, 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986
- Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976
- Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977
- Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, September 3-7, 1979
- Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
- Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
- Proceedings
- Proceedings of the ... Annual ACM Symposium on Theory of Computing
- Proceedings of the 36th annual ACM Symposium on the Theory of Computing : Chicago, Illinois, USA, June 13-15, 2004
- Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science : [FOCS 2007] : October 20-23, 2007, Providence, Rhode Island
- Proceedings of the fifteenth annual ACM Symposium on Theory of Computing : Boston, Massachusetts, April 25-27, 1983
- Proceedings of the thirty-second annual ACM Symposium on Theory of Computing
- Proceedings of the thirty-third annual ACM Symposium on Theory of Computing
- Proceedings, Quantitative Evaluation of Systems : QEST 2008 : 14-17 September 2008, St. Malo, France
- Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
- Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
- QEST 2007 : fourth International Conference on the Quantitative Evaluation of Systems : 17-19 September, 2007, Edinburgh, Scotland, UK
- QEST 2009 : Proceedings, Sixth International Conference on the Quantitative Evaluation of Systems : Budapest, Hungary, 13-16 September 2009
- SFCS 1983 : 24th annual Symposium on Foundations of Computer Science : 7-9 November 1983
- STOC '08 : proceedings of the 2008 ACM International Symposium on Theory of Computing : Victoria, British Columbia, Canada, May 17-20, 2008
- STOC '13 : proceedings of the 2013 ACM Symposium on Theory of Computing : June 1 - 4, 2013, Palo Alto, California, USA
- STOC'12 : proceedings of the 2012 ACM Symposium on Theory of Computing : May 19-22, 2012, New York, New York, USA
- Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001
- Systems and computer science
- Theoretical computer science
- Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
- Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981
- Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983
- Third International Conference on the Quantitative Evaluation of Systems : QEST 2005 : Riverside, California, 11-14 September 2006

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.umsl.edu/resource/hVfCUn3fxxs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/resource/hVfCUn3fxxs/">Machine theory -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Machine theory -- Congresses

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.umsl.edu/resource/hVfCUn3fxxs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/resource/hVfCUn3fxxs/">Machine theory -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>`