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

The Resource
Computer science -- Mathematics
Resource Information

The concept

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

- Authority link
- http://id.worldcat.org/fast/00872460

- Source
- fast

## Context

Context of Computer science -- Mathematics#### 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
- 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
- 3D math primer for graphics and game development
- 3D math primer for graphics and game development
- A beginner's guide to discrete mathematics
- ACM transactions on computational logic
- Advances in applied mathematics, modeling, and computational science
- 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
- Algebra for symbolic computation
- 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
- An introduction to modern mathematical computing : with Mathematica®
- An introduction to numerical analysis for electrical and computer engineers
- Analysis for computer scientists : foundations, methods, and algorithms
- Analysis of boolean functions
- Applications of algebra to communications, control, and signal processing
- Applied Parallel Computing Industrial Computation and Optimization : Third International Workshop, PARA '96 Lyngby, Denmark, August 18-21, 1996 Proceedings
- Automata logics, and infinite games : a guide to current research
- 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
- Beginning math and physics for game programmers
- 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
- CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
- Calcolo Scientifico : Esercizi e problemi risolti con MATLAB e Octave
- Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
- 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
- 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 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
- Comprehensive mathematics for computer scientists
- Comprehensive mathematics for computer scientists, 2, Calculus and ODEs, splines, probability, Fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
- Computation engineering : applied automata theory and logic
- 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 Science -- ICCS 2001 : International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part I
- Computational discrete mathematics : advanced lectures
- 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 the continuous discretely : integer-point enumeration in polyhedra
- Computing with new resources : essays dedicated to Jozef Gruska on the occasion of his 80th birthday
- Concise computer mathematics : tutorials on theory and problems
- Concrete mathematics : a foundation for computer science
- Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
- Data streams : models and algorithms
- Design and analysis of algorithms : first Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings
- Digital functions and data reconstruction : digital-discrete methods
- Discrete Mathematics
- Discrete and Computational Geometry
- Discrete and topological models in molecular biology
- Discrete calculus : applied analysis on graphs for computational science
- Discrete fractional calculus : applications in control and image processing
- Discrete mathematical structures
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics & theoretical computer science : DMTCS
- Discrete mathematics and combinatorics
- Discrete mathematics in statistical physics : introductory lectures
- Discrete mathematics using a computer
- Discrete structures, logic, and computability
- Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
- Electronic notes in discrete mathematics
- Elementary number Theory, cryptography and codes
- Ensembles ordonnés finis : concepts, résultats et usages
- Essentials of discrete mathematics
- Essentials of discrete mathematics
- Euclidean shortest paths : exact or approximate algorithms
- Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29 1996 Proceedings, Volume I
- Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29, 1996 Proceedings, Volume II
- Extremal combinatorics : with applications in computer science
- Fete of combinatorics and computer science
- Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th 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 : 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 algebraic specification and formal software development
- 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 discrete math for computer science : a problem-solving primer
- Fundamentals of parameterized complexity
- Fundamentals of scientific computing
- GNU Octave by example : a fast and practical approach to learning GNU Octave
- 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
- Geometric algebra for computer science : an object-oriented approach to geometry
- Handbook on modelling for discrete optimization
- High Performance Computing in Science and Engineering, Munich 2004 : Transactions of the Second Joint HLRB and KONWIHR Status and Result Workshop, March 2-3, 2004, Technical University of Munich, and Leibniz-Rechenzentrum Munich, Germany
- 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
- How to guard an art gallery and other discrete mathematical adventures
- IEEE standard glossary of mathematics of computing terminology
- ISRN discrete mathematics
- ISVD 2007 : proceedings : 9-11 July, 2007, University of Glamorgan, Pontypridd, Wales
- In search of elegance in the theory and practice of computation : essays dedicated to Peter Buneman
- 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
- Introduction to lattice theory with computer science applications
- Journal of applied mathematics & computing
- Journal of applied mathematics and stochastic analysis
- Journal of discrete algorithms
- 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 and games on automatic structures : playing with quantifiers and decompositions
- Logic functions and equations : examples and exercises
- 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 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 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 approaches to software quality
- 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ó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 1999 : 24th international symposium, MFCS'99, Szklarska Poreb̜a, 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 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 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 semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
- Mathematical methods in computer science : essays in memory of Thomas Beth
- Mathematical structures in computer science
- Mathematical structures in computer science
- 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 for electrical engineering and computing
- Mathematics for electrical engineering and computing
- Mathematics in computer science
- Mathematics in computing : an accessible guide to historical, foundational and application contexts
- Mathematics of Program Construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
- Mathematics of discrete structures for computer science
- 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 : 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
- Mean field games : Cetraro, Italy 2019
- Modelli dinamici discreti
- Modelling computing systems : mathematics of computer science
- Monte Carlo and quasi-Monte Carlo methods 2012
- New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 Student sessions. Selected papers
- Numerical and symbolic scientific computing : progress and prospects
- Numerical validation in current hardware architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008 ; revised papers
- Open problems in mathematics and computational science
- Practical scientific computing
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Probability with R : an introduction with computer science applications
- Proceedings, 20th annual IEEE Symposium on Logic in Computer Science : LICS 2005, 26-29 June 2005, Chicago, Illinois
- Programming for computations -- MATLAB/Octave : a gentle introduction to numerical simulations with MATLAB/Octave
- Programming for computations -- Python : a gentle introduction to numerical simulations with Python
- Quantum approach to informatics
- Randomness and completeness in computational complexity
- 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 : 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 ; 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
- 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
- Rough sets : selected methods and applications in management and engineering
- Scientific annals of computer science
- Scientific annals of computer science
- Security Protocols : International Workshop Cambridge, United Kingdom, April 1012, 1996 Proceedings
- Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
- Sets, logic and maths for computing
- Sets, logic and maths for computing
- Software service and application engineering : essays dedicated to Bernd Krämer on the occasion of his 65th birthday
- 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
- Student Handbook for Discrete Mathematics with Ducks : Srrsleh
- TAPIA '05 : 2005 Richard Tapia Celebration of Diversity in Computing Conference : October 19-22, 2005, Albuquerque, New Mexico
- Teaching and learning discrete mathematics worldwide : curriculum and research
- 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 Complexity of Valued Constraint Satisfaction Problems
- The Courant-Friedrichs-Lewy (CFL) condition : 80 years after its discovery
- The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates
- The electronic journal of combinatorics
- 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 : 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
- Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
- Theory of computation
- Theory of fuzzy computation
- Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
- Transactions on computational science XX : special issue on Voronoi diagrams and their applications
- 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/uBtjD_GAoSI/" 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/uBtjD_GAoSI/">Computer science -- Mathematics</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

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/uBtjD_GAoSI/" 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/uBtjD_GAoSI/">Computer science -- Mathematics</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>`