#
Computer science -- Mathematics -- Congresses
Resource Information
The concept ** Computer science -- Mathematics -- Congresses** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Computer science -- Mathematics -- Congresses
Resource Information

The concept

**Computer science -- Mathematics -- Congresses**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Computer science -- Mathematics -- Congresses

## Context

Context of Computer science -- Mathematics -- Congresses#### Subject of

No resources found

No enriched resources found

- Advanced computational methods for knowledge engineering : proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
- Advances in combinatorial mathematics : proceedings of the Waterloo Workshop in Computer Algebra 2008
- Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
- Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
- Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
- Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings
- Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
- Algorithms -- ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
- Algorithms and discrete applied mathematics : first international conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings
- Algorithms and discrete applied mathematics : second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings
- Algorithms-- ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
- Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
- 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
- Building bridges : between mathematics and computer science
- Building bridges : between mathematics and computer science
- COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
- CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
- Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
- Category theory and computer science : 7th international conference, CTCS 97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings
- Cellular automata and discrete complex systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
- Cellular automata and discrete complex systems : 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised selected papers
- Cellular automata and discrete complex systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
- Cellular automata and discrete complex systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
- Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
- Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
- Coalgebraic methods in computer science : 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012, Revised selected papers
- Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised selected papers
- Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers
- Combinatorial optimization and applications : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
- Combinatorial optimization and applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014 : proceedings
- Combinatorial optimization and applications : 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings
- Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised selected and invited papers
- Computational topology in image context : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings
- Computational topology in image context : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
- Computer algebra in scientific computing : 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings
- Computer algebra in scientific computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings
- Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computer algebra in scientific computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
- Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
- Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks
- Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000), Chiang Mai, Thailand, 17-21 December 2000
- Computer mathematics : proceedings of the Sixth Asian Symposium (ASCM 2003), Beijing, China, 17-19 April 2003
- Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001
- Computer science--theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings
- Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings
- Computing and Combinatorics : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999 : Proceedings
- Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
- Contemporary trends in discrete mathematics : from DIMACS and DIMATIA to the future : DIMATIA-DIMACS conference, May 19-25, 1997, Štiřín Castle, Czech Republic
- Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings
- Electronic notes in discrete mathematics
- Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
- Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday
- Formal concept analysis : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
- Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, proceedings
- Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
- Formal concept analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
- Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings
- Foundations of computational mathematics : proceedings of the Smalefest 2000, Hong Kong, 13-17, 2000
- Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings
- Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings
- Frontiers of applied and computational mathematics : New Jersey Institute of Technology, USA, 19-21 May 2008
- Fundamentals of computation theory
- Graphs and discovery : DIMACS working group, computer-generated conjectures from graph theoretical and chemical databases, November 12-16, 2001, DIMACS Center, CoRE Building, Rutgers University : DIMACS public event, graph theory day 42, November 10, 2001, DIMACS Center, CoRE Building, Rutgers University
- High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers
- High performance networking, computing, communication systems, and mathematical foundations : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings
- Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
- How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
- ISVD 2007 : 4th International Symposium on Voronoi Diagrams in Science and Engineering 2007 : proceedings : 9-11 July, 2007, University of Glamorgan, Pontypridd, Wales
- Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3-5, 1994, Selected papers
- Intelligent computer mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
- Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings
- Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings
- Intelligent computer mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings
- Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
- Interfaces : explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers
- Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings
- Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes
- MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegr�ad, Hungary, June 26-30, 1989 : proceedings
- MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
- Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
- Mathematical and engineering methods in computer science : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
- Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers
- Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers
- Mathematical and engineering methods in computer science : 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised selected papers
- Mathematical aspects of computer and information sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised selected papers
- Mathematical aspects of computer science
- Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984
- Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
- Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Crac�ow, Poland, September 2-6, 1996 : proceedings
- Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings
- Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings
- Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings
- Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29- September 2, 2005 : proceedings
- Mathematical foundations of computer science 2005 : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : proceedings
- Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stará Lesná, 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 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings
- Mathematical foundations of computer science 2011 : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, proceedings
- Mathematical foundations of computer science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II
- Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
- Mathematical foundations of computer science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
- Mathematical foundations of computer science, 1990 : Bansk�a Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings
- Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings
- Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
- Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
- Mathematical theory and computational practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings
- Mathematics and computation, a contemporary view : the Abel Symposium 2006 : proceedings of the third Abel Symposium, Alesund, Norway, May 25-27, 2006
- Mathematics and computer science II : algorithms, trees, combinatorics and probabilities
- Mathematics and computer science III : algorithms, trees, combinatorics and probabilities
- Mathematics and computing 2013 : International conference in Haldia, India
- Mathematics and computing : ICMC, Haldia, India, January 2015
- Mathematics of information processing
- Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings
- Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
- Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings
- Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
- Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
- Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
- Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
- Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
- Modern mathematical methods and high performance computing in science and technology : M3HPCST, Ghaziabad, India, December 2015
- New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 Student sessions. Selected papers
- Numerical mathematics and advanced applications ENUMATH 2013 : proceedings of ENUMATH 2013, the 10the European Conference on Numerical Mathematics and Advanced Applications, Laussanee, August 2013
- Numerical validation in current hardware architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised papers
- Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Probabilistic methods in discrete mathematics : proceedings of the fifth international Petrozavodsk conference, Petrozavodsk, Russia, June 1-6, 2000
- Proceedings
- Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings
- Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
- Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
- Recent advances in computational sciences : selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005
- Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
- Recent trends in algebraic development techniques : 15th international workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
- Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
- Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
- Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
- Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
- Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13 - 16, 2008
- Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised selected papers
- Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised selected papers
- Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers
- Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
- Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings
- Relational and algebraic methods in computer science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
- Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings
- Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings
- Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings
- Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings
- Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings
- Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised papers
- Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
- Reversible computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
- Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
- Stochastic algorithms : foundations and applications : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 ; proceedings
- Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings
- Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings
- Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
- Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
- Stochastic algorithms: foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings
- Stochastic algorithms: foundations and applications : third international symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 : proceedings
- The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada
- The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
- Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers
- Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
- Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009
- Theoretical aspects of computing--ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings
- Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
- Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
- Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
- Theory and applications of models of computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
- Theory and applications of models of computation : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 ; proceedings
- Theory and applications of models of computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, proceedings
- Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
- Transactions on petri nets and other models of concurrency IX
- Transactions on petri nets and other models of concurrency VII
- Transactions on petri nets and other models of concurrency X
- Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
- Uncertainty quantification in scientific computing : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised selected papers

## 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.libraries.ou.edu/resource/pAceSd-kZZ0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/pAceSd-kZZ0/">Computer science -- Mathematics -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma 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 Computer science -- Mathematics -- 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.libraries.ou.edu/resource/pAceSd-kZZ0/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/pAceSd-kZZ0/">Computer science -- Mathematics -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`