Machine theory
Resource Information
The concept Machine theory represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Machine theory
Resource Information
The concept Machine theory represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
 Label
 Machine theory
 Authority link

 http://id.worldcat.org/fast/01004846
 (uri) http://id.worldcat.org/fast/fst01004846
 Source
 fast
Context
Context of Machine theorySubject of
No resources found
No enriched resources found
 ACM transactions on computation theory
 Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings
 Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 1618, 2008 ; proceedings
 Acta informatica
 Advances in Petri nets : APN
 Annales Societatis Mathematicae Polonae, Series IV, Fundamenta informaticae
 Annual Symposium on Foundations of Computer Science : [papers]
 Annual Symposium on Foundations of Computer Science : [papers]
 Annual Symposium on Switching & Automata Theory : [papers]
 Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 1719, 1999 : revised papers
 Automata implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 1820, 1997 : revised papers
 Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 1719, 1998 : revised papers
 Automata on infinite words
 Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 1115, 2005 ; proceedings
 Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 913, 2007 : proceedings
 Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 711, 2008 ; proceedings, Part I
 Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 512, 2009 ; proceedings, Part I
 Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 610, 2010, Proceedings, Part II
 Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 610, 2010 ; proceedings, Part I
 Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 48, 2011, Proceedings, Part I
 Automata, languages and programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 48, 2011, Proceedings, Part II
 Automata, languages, and programming
 Computation theory : fifth symposium, Zaborów, Poland, December 38, 1984 : proceedings
 Concurrency and nets : Advances in Petri nets
 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 2527, 2011 : proceedings
 Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 1416, 2009 : proceedings
 Foundations of computation theory : proceedings of the 1983 International FCTConference, Borgholm, Sweden, August 2127, 1983
 Foundations of computing and decision sciences
 Frege Conference 1984 : proceedings of the international conference held at Schwerin, GDR, September 1014, 1984
 Groups, languages, and geometry : 1998 AMSIMSSIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 59, 1998, Mount Holyoke College
 IEEE International Workshop on Applied Measurements for Power Systems proceedings
 Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 1618, 2007 : revised selected papers
 Implementation and application of automata : 13th international conference, CIAA 2008, San Francisco, California, USA, July 2124, 2008 : proceedings
 Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 1215, 2010 : revised selected papers
 Implementation and application of automata : 16th international conference, CIAA 2011, Blois, France, July 1316, 2011 : revised selected papers
 Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 2425, 2000 : revised papers
 Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 35, 2007, revised selected papers
 Information processing letters
 International journal of applied mathematics and computer science
 Journal of computer and system sciences
 Journal of computer and system sciences
 Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 1319, 2008, revised papers
 Language and automata theory and applications : third international conference, LATA 2009, Tarragona, Spain, April 28, 2009. proceedings
 Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28September 1, 2006 ; proceedings
 Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 2631, 2007 : proceedings
 Mathematical foundations of computer science 2008 : 33rd international symposium, MFCS 2008, Torun, Poland, August 2529, 2008 ; proceedings
 Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 2428, 2009 : proceedings
 Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 2226, 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 819, 1979
 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
 Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPMPROBMIV 2001, Aachen, Germany, September 1214, 2001 : proceedings
 Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPMPROBMIV 2002, Copenhagen, Denmark, July 2526, 2002 : proceedings
 SIGACT news
 SIGACT news
 STOC/FOCS bibliography : (preliminary version)
 Stochastic optimization and control; : proceedings of an advanced seminar.
 Theoretical computer science
 Theoretical computer science
 Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 2127, 1983
Embed
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 faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/QrBP3xxj6LI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/QrBP3xxj6LI/">Machine theory</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
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/QrBP3xxj6LI/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/QrBP3xxj6LI/">Machine theory</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>