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

The Resource
Machine theory -- Congresses
Resource Information

The concept

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

- Authority link
- http://id.loc.gov/authorities/subjects/sh2008107145

## Context

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

- A half-century of automata theory : celebration and inspiration
- A half-century of automata theory : celebration and inspiration
- ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
- 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 2000 : proceedings
- Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
- Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings
- Advances in Petri nets : APN
- Annual Symposium on Foundations of Computer Science : [papers]
- Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000
- Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : 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, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008
- Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; 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 I
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; 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 : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 ; proceedings, Part I
- 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
- Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings, Part I
- Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
- Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
- Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings
- Concurrency and nets : Advances in Petri nets
- Conference proceedings of the ... annual ACM Symposium on Theory of Computing
- Conference proceedings of the ... annual ACM Symposium on Theory of Computing
- Conference record of the ... annual ACM Symposium on Theory of Computing
- Descriptional complexity of formal systems : 13th international workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011 : proceedings
- Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings
- Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings
- 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 : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
- 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
- Frege Conference 1984 : proceedings of the international conference held at Schwerin, GDR, September 10-14, 1984
- 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
- 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 : 13th international conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008 : proceedings
- Implementation and application of automata : 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings
- Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers
- Implementation and application of automata : 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : revised selected papers
- Implementation and application of automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
- Implementation and application of automata : 18th International Conference, Proceedings, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
- Implementation and application of automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014. 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 : 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 : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
- Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers
- Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
- Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. 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 : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. 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 Frundlagenforschung der Universität Münster/Westfalen
- Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings
- Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings
- 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 foundations of computer science : symposium at ..
- Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
- Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah
- 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
- Proceedings, Quantitative Evaluation of Systems : QEST 2008 : 14-17 September 2008, St. Malo, France
- Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
- Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
- Quantitative evaluation of systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
- Stochastic optimization and control; : proceedings of an advanced seminar.
- 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.bu.edu/resource/CHHB9opWjmg/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/CHHB9opWjmg/">Machine theory -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University 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.bu.edu/resource/CHHB9opWjmg/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/CHHB9opWjmg/">Machine theory -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`