#
Machine theory -- Congresses
Resource Information
The concept ** Machine theory -- Congresses** represents the subject, aboutness, idea or notion of resources found in **University of Missouri 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 Libraries**.- Label
- Machine theory -- Congresses

## Context

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

- 10th International Workshop on Petri Nets and Performance Models : PNPM 2003 : 2-5 September 2003, Urbana, Illinois
- 2008 49th Annual IEEE Symposium on Foundations of Computer Science : 25-28 October 2008
- 25th Annual Symposium on Foundations of Computer Science : October 24-26, 1984
- 27th annual Symposium on Foundations of Computer Science : October 27-29, 1986
- 29th Annual Symposium on Foundations of Computer Science : October 24-26, 1988
- 30th Annual Symposium on Foundations of Computer Science : October 30-November 1, 1989
- 33rd Annual Symposium on Foundations of Computer Science : October 24-27, 1992, Pittsburgh, Pennsylvania : proceedings [papers]
- 34th Annual Symposium on Foundations of Computer Science : November 3-5, 1993, Palo Alto, California : proceedings [papers]
- 35th Annual Symposium on Foundations of Computer Science : proceedings ; November 20-22, 1994, Santa Fe, New Mexico
- 41st Annual Symposium on Foundations of Computer Science : proceedings : 12-14 November, 2000, Redondo Beach, California
- 42nd Annual Symposium on Foundations of Computer Science : proceedings : October 14-17, 2001, Las Vegas, Nevada, USA
- 43rd Annual IEEE Symposium on Foundations of Computer Science : proceedings : Vancouver, BC, Canada, 16-19 November, 2002
- 44th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2003 : proceedings : 11-14 October 2003, Cambridge, Massachusettes [sic]
- 46th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2005 : 23-25 October, 2005, Pittsburgh, Pennsylvania, USA
- 47th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2006 : 21-24 October, 2006, Berkeley, California
- AMPS 2010 : 2010 IEEE international workshop on applied measurements for power systems : Aachen, Germany, September 22-24, 2010 : proceedings
- Abstract state machines : theory and applications : international workshop, ASM 2000, Monte VeritÃ , Switzerland, March 19-24, 2000 : proceedings
- Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings
- Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : 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
- Annual Symposium on Foundations of Computer Science : [papers]
- Annual Symposium on Switching & Automata Theory
- Annual Symposium on Switching & Automata Theory
- Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings
- Applications and theory of Petri nets : selected papers from the 3rd European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982
- 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 theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
- 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 : 32nd International Colloquium, ICALP 2005 : Lisbon, Portugal, July 11-15, 2005 : proceedings
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings. Part I
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings. Part II
- Automata, languages and programming : 34th international colloquium, ICALP 2007, WrocÅ‚aw, Poland, July 9-13, 2007 : proceedings
- Automata, languages and programming : 34th international colloquium, ICALP 2007, WrocÅ‚aw, Poland, July 9-13, 2007 : proceedings
- Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, Part 1 :
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings, part II
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings, part 1
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings., Part II
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part I
- Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part II
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings. Part I
- Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings. Part II
- 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
- Automata, languages, and programming : third international colloquium at the University of Edinburgh
- CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
- Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
- Colloque sur les fondements des mathÃ©matiques, les machines mathÃ©matiques et leurs applications : [Papers
- Colloquium on the Foundations of Mathematics, Mathematical machines and Their Applications : colloque sur les fondements des mathÃ©matiques, les machines mathÃ©matiques et leurs applications. Kolloquium Ã¼ber die grundlagen der Mathematik, Mathematische Maschinen, und Ihre Anwendungen
- 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 ... annual Symposium on Switching and Automata Theory
- Conference record of annual ACM Symposium on Theory of Computing ; : papers presented at the Symposium
- 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
- Fachtagung Ã¼ber Automatentheorie un Formale Sprachen
- First International Conference on the Quantitative Evaluation of Systems : QEST 2004 : proceedings : 27-30 September 2004, Enschede, the Netherlands
- Florida Symposium on Automata and Semigroups
- Florida Symposium on Semigroups and Automata
- Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
- Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings
- Foundations of Computer Science (FOCS '98), 39th Annual Symposium on
- Foundations of Computer Science (FOCS 2000) : 41st Symposium
- Foundations of Computer Science : Proceedings of the Annual Symposium, New York, 1999
- Foundations of Computer Science, 33rd Symposium on (FOCS '92)
- Foundations of Computer Science, 34th Symposium on (FOCS '93)
- Foundations of Computer Science, 36th Symposium on (FOCS '95)
- Foundations of Computer Science, 37th Symposium on (FOCS'96)
- Foundations of Computer Science, 38th Symposium
- 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
- Fundamentals of computation theory : proceedings of the conference on algebraic, arithmetic, and categorical methods in computation theory held in Berlin/Wendish-Rietz(GDR), September 17-21, 1979
- Groups, languages and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
- INES 2005 : 9th International Conference on Intelligent Engineering Systems : proceedings : September 16-19, 2005, cruising on Mediterranean Sea
- Implementation and aplication of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers
- Implementation and application of automata : 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers
- Implementation and application of automata : 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings
- Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers
- Implementation and application of automata : 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings
- Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : 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 : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers
- Implementation and applications of automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, proceedings
- Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
- Information processing : proceedings of the IFIP Congress
- Information processing : proceedings of the International Conference on Information Processing, Unesco, Paris
- Intelligent Engineering Systems, 2006, INES '06, Proceedings, International Conference on : date, 26-28 June 2006
- Language and Automata Theory and Applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, Proceedings
- Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
- Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. revised papers
- Language and automata theory and applications : third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. proceedings
- 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
- Mathematical foundations of computer science 2008 : 33rd international symposium, MFCS 2008, Torun, Poland, August 25-29, 2008 ; proceedings
- Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24 - 28, 2009 : proceedings
- Mathematical foundations of computer science 2011 : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings
- Mathematical models in computer systems : proceedings of the Third Hungarian Computer Sciences Conference, Budapest, January 1981
- Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
- PNPM 2003 : 10th International Workshop on Petri Nets and Performance Models : 2-5 September, 2003, Urbana, Illinois
- Petri Nets and Performance Models
- Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah
- Proceedings
- Proceedings
- Proceedings 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science : FOCS 2011 ; 22-25 October 2011, Palm Springs, California, USA
- Proceedings : 31st Annual Symposium on Foundations of Computer Science : October 22-24, 1990, St. Louis, Missouri
- Proceedings : 32nd annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 1-4, 1991
- Proceedings of the ... Annual ACM Symposium on Theory of Computing
- Proceedings of the ... Annual ACM Symposium on Theory of Computing
- Proceedings of the 11th International Symposium on Industrial Robots, 7, 8 and 9 October, 1981 / The Organizing Committee of the 11th International Symposium on Industrial Robots, Society of Biomechanisms Japan, Japan Industrial Robot Association
- Proceedings of the 2011 Eighth International Conference on the Quantitative Evaluation of Systems : 5-8 September 2011, Aachen, Germany
- Proceedings of the 2011 Eighth International Conference on the Quantitative Evaluation of Systems : 5-8 September 2011, Aachen, Germany
- 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 48th Annual IEEE Symposium on Foundations of Computer Science : [FOCS 2007] : October 20-23, 2007, Providence, Rhode Island
- Proceedings of the 49th Annual IEEE Symposium on Foundations of Computer Science : October 25-23, 2008, Philadelphia, Pennsylvania, USA
- Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM91), December 2-5, 1991, Melbourne, Australia
- Proceedings of the International Symposium on Uniformly Structured Automata and Logic
- Proceedings of the Seventh International Workshop on Petri Nets and Performance Models : June 3-6, 1997, Saint Malo, France
- Proceedings of the Third International Workshop on Petri Nets and Performance Models : (PNPM89) : Kyoto, Japan, December 11-13, 1989
- Proceedings of the fifteenth annual ACM Symposium on Theory of Computing : Boston, Massachusetts, April 25-27, 1983
- Proceedings of the second Symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971, Los Angeles, California
- 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
- Proceedings, the 8th International Workshop on Petri Nets and Performance Models : September 8-10, 1999, Zaragoza, Spain
- 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 2005 proceedings : Second International Conference on the Quantitative Evaluation of SysTems : 19-22 September 2005, Torino, Italy
- QEST 2007 : Fourth International Conference on the Quantitative Evaluation of Systems : proceedings : 17-19 September, 2007, Edinburgh, Scotland, UK
- QEST 2007 : fourth International Conference on the Quantitative Evaluation of Systems : 17-19 September, 2007, Edinburgh, Scotland, UK
- QEST 2008 : Proceedings, Quantitative Evaluation of Systems : 14-17 September, 2008, St. Malo, France
- QEST 2009 : Proceedings, Sixth International Conference on the Quantitative Evaluation of Systems : Budapest, Hungary, 13-16 September 2009
- 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
- Stochastic optimization and control : proceedings of an advanced seminar
- Symposium on Foundations of Computer Science, 29th, 1988
- 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
- Third International Conference on the Quantitative Evaluation of Systems : QEST 2006 : Riverside, California, 11-14 September 2006
- Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
- Words, languages, and combinatorics III : proceedings of the international conference : Kyoto, Japan, 14-18 March 2000

## 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.library.missouri.edu/resource/hVfCUn3fxxs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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.library.missouri.edu/resource/hVfCUn3fxxs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>`