#
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

## Context

Context of Machine theory#### Subject 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>`