#
Computer science -- Mathematics -- Congresses
Resource Information
The concept ** Computer science -- Mathematics -- Congresses** represents the subject, aboutness, idea or notion of resources found in **Missouri University of Science & Technology Library**.

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**Missouri University of Science & Technology Library**.- Label
- Computer science -- Mathematics -- Congresses

## Context

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

No resources found

No enriched resources found

- 11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey
- 14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy
- 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 : 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
- Algorithmic decision theory : first international conference, ADT 2009, Venice, Italy, October 2009 : proceedings
- Algorithms -- ESA 2012 : 20th annual European symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings
- 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
- 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
- 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
- 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
- Combinatorial optimization and applications : 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings
- Computer Mathematics : Proceedings of the Fifth Asian Symposium (Ascm 2001)
- Computer algebra in scientific computing : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings
- Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : revised and invited papers
- Computing and Combinatorics : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : 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
- Extending the horizons : advances in computing, optimization and decision technologies
- Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings
- Foundations of information and knowledge systems : 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006 : proceedings
- Frontiers of Applied and Computational Mathematics : Proceedings of the 2008 Conference
- 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
- High performance networking, computing, communication systems, and mathematical foundations : International conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings
- ISVD 2007 : proceedings : 9-11 July, 2007, University of Glamorgan, Pontypridd, Wales
- Interfaces : explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers
- International journal of pervasive computing and communications, volume 11, issue 2 : best papers from the 16th international conference on
- LICS 2004 : proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : Turku, Finland, 13-17 July, 2004
- Logic and random structures : DIMACS workshop, November 5-7, 1995
- 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
- Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
- Logic in computer science : proceedings : 16th Annual IEEE Symposium on Logic in Computer Science : 16-19 June, 2001, Boston, Massachusetts
- Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
- Logic in computer science : proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 July, 2003, Ottawa, Canada
- 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 : 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 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 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28- September 1, 1995 : proceedings
- Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : 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 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 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29- September 2, 2005 : proceedings
- Mathematical foundations of computer science 2006 : 31th international symposium, MFCS 2006, Stará́ Lesná, Slovakia, August 28- September 1, 2006 : proceedings
- Mathematical foundations of computer science 2007 : 32nd International Symposium, MFCS 2007 Cesky 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, 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 and computation, a contemporary view : the Abel Symposium 2006 : proceedings of the third Abel Symposium, Alesund, Norway, May 25-27, 2006
- Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 : 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 2000 : 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
- Modeling, Simulation and Visualization Methods
- Modeling, Simulation and Visualization Methods
- Multiset processing : mathematical, computer science, and molecular computing points of view
- Numerical validation in current hardware architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised 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 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
- Proceedings of the 2003 Conference on Diversity in Computing
- Proceedings of the 2013 28th annual ACM/IEEE Symposium on Logic in Computer Science
- Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
- Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw, Poland
- Proceedings, 20th annual IEEE Symposium on Logic in Computer Science : LICS 2005, 26-29 June 2005, Chicago, Illinois
- Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; 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 : 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, 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
- 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, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers
- Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised selected papers
- 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 : 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 1-5, 2009 : 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
- 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
- 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
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
- Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011 : revised selected papers
- Semantics in data and knowledge bases : third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers
- Stochastic algorithms : foundations and applications : 4th international symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007 : proceedings
- Stochastic algorithms : foundations and applications : 5th international symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 : 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 : 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
- 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 nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : 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
- Twenty-third Annual IEEE Symposium on Logic in Computer Science : proceedings, 24-27 June 2008, Pittsburgh, Pennsylvania

## 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.mst.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.mst.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.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</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.mst.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.mst.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.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>`