Machine theory
Resource Information
The concept Machine theory represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Machine theory
Resource Information
The concept Machine theory represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Machine theory
- Authority link
- http://id.worldcat.org/fast/01004846
- Source
- fast
200 Items that share the Concept Machine theory
Context
Context of Machine theorySubject of
No resources found
No enriched resources found
- 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973
- 10th International Workshop on Petri Nets and Performance Models : PNPM 2003 : 2-5 September 2003, Urbana, Illinois
- 13th Annual Symposium on Switching & Automata Theory, October 25-27, 1972
- 14th Annual Symposium on Switching & Automata Theory : October 15-17, 1973
- 15th Annual Symposium on Switching and Automata Theory : October 14-16, 1974
- 16th Annual Symposium on Foundations of Computer Science, October 13-15, 1975
- 17th annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas
- 18th Annual Symposium on Foundations of Computer Science : Oct. 31-Nov. 2, 1977, Providence, Rhode Island
- 19th Annual Symposium on Foundations of Computer Science : October 16-18, 1978, Ann Arbor, Michigan
- 2012 Ninth International Conference on Quantitative Evaluation of Systems : QEST 2012 : proceedings : 17-20 September 2012, London, United Kingdom
- 2013 IEEE 54th Annual Symposium on Foundations of Computer Science
- 2015 IEEE 56th Annual Symposium on Foundations of Computer Science : proceedings : 17-20 October 2015, Berkeley, California
- 2019 IEEE 60th Annual Symposium on Foundations of Computer Science : proceedings : 9-12 November, 2019, Baltimore, Maryland
- 20th annual Symposium on Foundations of Computer Science : October 29-31, 1979, San Juan, Puerto Rico : [papers]
- 21st annual Symposium on Foundations of Computer Science : October 13-15, 1980, Syracuse, New York : [papers]
- 22nd Annual Symposium on Foundations of Computer Science : October 28-30, 1981, Nashville, Tennessee : [papers]
- 23rd Annual Symposium on Foundations of Computer Science : November 3-5, 1982
- 25th Annual Symposium on Foundations of Computer Science : October 24-26, 1984
- 26th Annual Symposium on Foundations of Computer Science : October 21-23, 1985
- 27th Annual symposium on foundations of computer science : October 27-29, 1986
- 28th annual Symposium on Foundations of Computer Science : October 12-14, 1987
- 30th Annual Symposium on Foundations of Computer Science : October 30-November 1, 1989
- 35th Annual Symposium on Foundations of Computer Science : proceedings ; November 20-22, 1994, Santa Fe, New Mexico
- 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
- 55th Annual IEEE Symposium on Foundations of Computer Science : proceedings : FOCS 2014 : 18-21 October 2014 : Philadelphia, Pennsylvania, USA
- 58th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2017 : proceedings : 15-17 October 2017, Berkeley, CA, USA
- 59th Annual IEEE Symposium on Foundations of Computer Science : FOCS 2018 : proceedings : 7-9 October 2018, Paris, France
- 6th Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1965)
- 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)
- A concise introduction to languages and machines
- A course in formal languages, automata and groups
- 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
- 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 computing machines : a lambda calculus perspective
- 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, 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
- Acta informatica
- Advances in Petri Nets 1988
- Advances in Petri Nets, 1991
- Advances in Petri Nets, 1992
- Advances in Petri Nets, 1993
- Advances in Petri nets 1990
- Advances in Petri nets, 1984
- Advances in Petri nets, 1985
- Advances in Petri nets, 1989
- An engineering approach to digital design
- An introduction to formal languages and automata
- Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes
- Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers
- Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers
- Automata logics, and infinite games : a guide to current research
- Automata on infinite words
- Automata theory and formal languages
- Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
- Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 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 : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : 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 : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
- Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
- 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
- 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 : 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 II
- Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings
- 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 : 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 : 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 : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
- 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
- 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
- Big data : algorithms, analytics, and applications
- 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
- Computation engineering : applied automata theory and logic
- Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings
- Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
- Conference record, 1971 Twelfth Annual Symposium on Switching and Automata Theory : [papers presented at the twelfth annual symposium, East Lansing, Mich.], October 13-15, 1971
- Data clustering : algorithms and applications
- 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
- FOCS 2004 : 45th Annual IEEE Symposium on Foundations of Computer Science: proceedings : 17-19 October, 2004, Rome, Italy
- FOCS 2016 : 57th Annual Symposium on Foundations of Computer Science : proceedings : 9-11 October 2016, New Brunswick, New Jersey, USA
- First International Conference on the Quantitative Evaluation of Systems : QEST 2004 : proceedings : 27-30 September 2004, Enschede, the Netherlands
- Formal Languages and Computation : Models and Their Applications
- Formal and natural computing : essays dedicated to Grzegorz Rozenberg
- Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers
- Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : 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
- Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983
- Fundamentals of computation theory
- Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
- Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981
- Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies
- Handbook of weighted automata
- IEEE International Conference on Intelligent Engineering Systems, 1997 Proceedings
- IEEE conference record of 1968 Ninth annual Symposium on Switching and Automata Theory : papers presented at the ninth annual Symposium, Schenectady, New York, October 15-18, 1968
- INES 2005 : 9th International Conference on Intelligent Engineering Systems : proceedings : September 16-19, 2005, cruising on Mediterranean Sea
- 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 : 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 : 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
- Intelligent Engineering Systems, 2006, INES '06, Proceedings, International Conference on : date, 26-28 June 2006
- Introduction to automata theory, formal languages and computation
- Introduction to formal languages, automata theory and computation
- Introduction to the theory of computation
- 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 : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011, 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 : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
- Language and automata theory and applications : second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, revised papers
- 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
- 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
- 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 of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986
- 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 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, 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, Czechoslovakia, September 3-7, 1979
- Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
- Mechanism and machine theory
- Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979
- Petri Nets and Performance Models
- Petri nets, applications and relationships to other models of concurrency : Advances in Petri nets 1986, part II : proceedings of an advanced course Bad Honnef, 8.-19. September 1986
- Prediction and discovery : AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning : Prediction and Discovery, June 25-29, 2006, Snowbird, Utah
- 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 ; 2009 50th Annual IEEE Symposium on Foundations of Computer Science : 25-27 October 2009, Atlanta, Georgia, USA
- Proceedings ; 2010 IEEE 51st Annual Symposium on Foundations of Computer Science : 23-26 October 2010, Las Vegas, Nevada, U.S.A.
- Proceedings IEEE 53rd Annual Symposium on Foundations of Computer Science : New Brunswick, New Jersey, 20-23 October 2012
- Proceedings of the 2011 Eighth International Conference on the Quantitative Evaluation of Systems : 5-8 September 2011, Aachen, Germany
- 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 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, 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 : 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
- QEST 2007 : Fourth International Conference on the Quantitative Evaluation of Systems : proceedings : 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 2010 : proceedings, Seventh International Conference on the Quantitative Evaluation of Systems : 15-18 September 2010, Williamsburg, Virginia, USA
- Quantitative evaluation of systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
- Quantitative evaluation of systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings
- RAIRO, Theoretical informatics and applications
- Regulated grammars and automata
- Research and education in robotics-EUROBOT 2008 : international conference, Heidelberg, Germany, May 22-24, 2008 : revised selected papers
- Statistical and machine learning approaches for network analysis
- Structural theory of automata, semigroups, and universal algebra
- Symposium on Foundations of Computer Science, 29th, 1988
- Theoretical computer science
- Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
- Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
- Third International Conference on the Quantitative Evaluation of Systems : QEST 2006 : Riverside, California, 11-14 September 2006
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 fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/8Za0zc8CDlY/" 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/8Za0zc8CDlY/">Machine theory</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
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/8Za0zc8CDlY/" 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/8Za0zc8CDlY/">Machine theory</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>