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

## Context

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

No resources found

No enriched resources found

- 2009 6th International Symposium on Voronoi Diagrams : (ISVD 2009) : Copenhagen, Denmark, 23-26 June 2009
- Advances in interdisciplinary applied discrete mathematics
- Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000 : revised lectures
- Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
- Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991
- 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 : 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings
- CANS 2008 : First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems : Medical Applications of the Complex Systems : Biomedical Computing : proceedings, 8-10 November 2008, Targu Mures, Mures, Romania
- COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
- CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India
- 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
- Category theory and computer science : 7th international conference, CTCS ʼ97, S. Margheria Ligure, Italy, September 1997 : proceedings
- 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 optimization and applications : 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014 : proceedings
- Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computer mathematics : proceedings of the Sixth Asian Symposium (ASCM 2003), Beijing, China, 17-19 April 2003
- 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 mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001
- Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
- Electronic notes in discrete mathematics
- Formal concept analysis : 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014, proceedings
- Foundations of computational mathematics : proceedings of the Smalefest 2000, Hong Kong, 13-17, 2000
- Foundations of computational mathematics : proceedings of the Smalefest 2000, Hong Kong, 13-17, 2000
- 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 : Proceedings of the 2008 Conference
- Frontiers of applied and computational mathematics : New Jersey Institute of Technology, USA, 19-21 May 2008
- 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
- Horizons of the mind : a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday
- 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 : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings
- LICS '06 : 21st annual IEEE Symposium on Logic in Computer Science : 12-15 August 2006
- LICS 2009 : proceedings : 24th annual IEEE Symposium on Logic in Computer Science : Los Angeles, California, 11-14 August 2009
- Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. 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
- 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 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
- Mathematical foundations of computer science 1989 : Pora{u02DB}bka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings
- Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 :proceedings
- Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
- Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings
- Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Košice, Slovakia, August 22-26, 1994 : 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 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 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 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 2004 : 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : 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 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
- 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 : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
- Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : 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
- Modeling, Simulation and Visualization Methods
- Multiset processing : mathematical, computer science, and molecular computing points of view
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Proceedings of the 2003 Conference on Diversity in Computing
- Proceedings of the 2013 28th annual ACM/IEEE Symposium on Logic in Computer Science
- Proceedings, twenty-third annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008, Pittsburgh, Pennsylvania
- 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 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 : 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 : 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 : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
- Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
- 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
- STOC'10 : proceedings of the 2010 ACM International Symposium on Theory of Computing : June 5-8, 2010, Cambridge, MA, USA
- Stochastic algorithms : foundations and applications : Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
- Stochastic algorithms : foundations and applications : international symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings
- The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada
- Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. 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 : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings
- Transactions on petri nets and other models of concurrency IX

## 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.umsl.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.umsl.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.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis 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.umsl.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.umsl.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.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of Missouri-St. Louis Libraries</a></span></span></span></span></div>`