#
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 Missouri 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 Missouri Libraries**.- Label
- Computer science -- Mathematics -- Congresses

## Context

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

No resources found

No enriched resources found

- 15th Annual IEEE Symposium on Logic in Computer Science
- 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada : proceedings
- 2012 2nd International Workshop on Developing Tools as Plug-ins (TOPI) : proceedings : June 3, 2012, Zurich, Switzerland
- 2018 International Conference on Applied Mathematics & Computational Science : ICAMCS.NET 2018 : proceedings : Budapest, Hungary, 6-8 October 2018
- 2018 International Conference on Applied Mathematics & Computer Science : ICAMCS 2018 : proceedings : Paris, France, 13-15 April 2018
- 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington
- 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007
- 24th Annual IEEE Symposium on Logic in Computer Science : proceedings, Los Angeles, California
- 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom
- Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings
- Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. 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
- Algebra and computer science
- Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000 : revised lectures
- 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 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : 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 : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings
- Automata, languages and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
- Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : 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 : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
- Building bridges : between mathematics and computer science
- CANS 2008 : proceedings, First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems, Medical Applications of the Complex Systems, Biomedical Computing : 8-10 November 2008, Targu Mures, Mures, Romania
- COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
- COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : 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
- Category theory and computer science : 7th international conference, CTCS ʼ97, S. Margheria Ligure, Italy, September 1997 : proceedings
- Cellular automata and discrete complex systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. 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
- Certified programs and proofs : third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, 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
- Combinatorial algorithms
- Combinatorial optimization and applications : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings
- Combinatorial optimization and applications : 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
- Combinatorial optimization and applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014 : 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
- 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 : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings
- Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : proceedings
- Computer mathematics : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, contributed papers and invited talks
- 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
- Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
- Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings
- Discrete structural optimization
- 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 : 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014, 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 information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings
- Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings
- Fundamentals of computation theory
- Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985
- Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
- Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
- 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 : 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
- 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 : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : 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
- LICS 2004 : proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : Turku, Finland, 13-17 July, 2004
- 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
- Logic in Computer Science : Proceedings of the 3rd Symposium, 1988
- Logic in Computer Science : Proceedings: Symposium on Logic in Computer Science (14th, 1999: Trento, Italy)
- Logic in Computer Science, 12th Symposium
- Logic in Computer Science, 7th Conference (LICS '92)
- Logic in Computer Science, 8th Conference (LICS '93)
- Logic in Computer Science, 9th Annual IEEE Symposium
- Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
- MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings
- MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, 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
- MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
- Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 September 1, 2000 Proceedings
- Mathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings
- Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
- 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 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 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28- September 1, 1995 : proceedings
- Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings
- Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, 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 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 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 Poreb̜a, Poland, September 6-10, 1999 : proceedings
- Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poreb̜a, Poland, September 6-10, 1999 : proceedings
- Mathematical foundations of computer science 2000 : 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 : proceedings
- Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 2001 : proceedings
- Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 27-31, 2001 : proceedings
- Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : 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 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, 1990 : Banská 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 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 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 computing 2013 : International conference in Haldia, India
- Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
- Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings
- 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 : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
- Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
- Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : 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 : 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
- Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
- Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
- Multiset processing : mathematical, computer science, and molecular computing points of view
- New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 Student sessions. Selected papers
- Number theoretic and algebraic methods in computer science : proceedings of the international conference, Moscow, June/July 1993
- Numerical validation in current hardware architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised papers
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Proceedings : 15th annual Symposium on Logic in Computer Science : June 26-28, 2000, Santa Barbara, California
- Proceedings : Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
- Proceedings : Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994
- Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland
- Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms
- Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
- Proceedings of the eighteenth annual ACM-SIAM Symposium on Discrete Algorithms
- Proceedings, 20th annual IEEE Symposium on Logic in Computer Science : LICS 2005, 26-29 June 2005, Chicago, Illinois
- Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
- Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings
- Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
- Recent Trends in Algebraic Development Techniques : 12th International Workshop, WADT'97 Tarquinia, Italy, June 37, 1997 Selected Papers
- Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
- 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 : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
- Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
- Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, france, September 15-18, 1999 : 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 : 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 : 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
- 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
- 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 : 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 : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013, proceedings
- Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
- Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
- Richard Tapia Celebration of Diversity in Computing Conference : April 1-4, 2009, Portland, Oregon : proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2009
- Richard Tapia Celebration of Diversity in Computing Conference : October 14-17, 2007, Orlando, Florida : proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2007
- Selected topics in discrete mathematics : proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
- 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 : 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
- TAPIA '05 : 2005 Richard Tapia Celebration of Diversity in Computing Conference : October 19-22, 2005, Albuquerque, New Mexico
- Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
- The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada
- The Influence of computers and informatics on mathematics and its teaching
- The Mathematical revolution inspired by computing : based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
- 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 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings
- 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 : 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
- 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
- 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 VIII
- Twenty-third Annual IEEE Symposium on Logic in Computer Science : proceedings, 24-27 June 2008, Pittsburgh, Pennsylvania
- 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.library.missouri.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.library.missouri.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.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 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.library.missouri.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.library.missouri.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.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>`