#
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

- Source
- fast

## Context

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

No resources found

No enriched resources found

- A beginner's guide to discrete mathematics
- Advances in Cryptology - ASIACRYPT99 : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999. Proceedings
- Advances in Cryptology - CRYPTO 1997
- Advances in Cryptology - Eurocrypt 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceedings
- 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 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
- Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- Algorithms - ESA 2013 : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : proceedings
- Algorithms and Computation : 7th International Symposium, ISAAC '96 Osaka, Japan, December 16-18, 1996 Proceedings
- Algorithms-- ESA 2012 : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012. Proceedings
- An introduction to modern mathematical computing : with Mathematica®
- Analysis for computer scientists : foundations, methods, and algorithms
- 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 : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 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
- Building bridges : between mathematics and computer science
- 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 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part II
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part III
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III
- Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV
- Computational Science -- ICCS 2001 : International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part I
- Computational Science and Its Applications ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I
- Computational Science and Its Applications ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II
- Computational Science and Its Applications ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III
- Computational Science and Its Applications ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV
- 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 and Combinatorics : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999 : 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
- 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 and Computational Geometry
- Discrete and topological models in molecular biology
- Discrete calculus : applied analysis on graphs for computational science
- Discrete mathematics
- Discrete mathematics
- Discrete mathematics in statistical physics : introductory lectures
- Discrete mathematics using a computer
- Domain Decomposition Methods in Science and Engineering
- Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems
- Elementary number Theory, cryptography and codes
- Encyclopedia of Distances : [delta]
- Ensembles ordonnés finis : concepts, résultats et usages
- 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
- 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
- Handbook on modelling for discrete optimization
- High Performance Computing " HiPC 2001 : 8th International Conference Hyderabad, India, December 17 20, 2001 Proceedings
- 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
- High-Performance Computing and Networking : 7th International Conference, HPCN Europe 1999 Amsterdam, the Netherlands, April 1214, 1999 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
- 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
- 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
- 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 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 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 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 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 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 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 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 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 : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. 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 : 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
- Mobility in process calculi and natural computing
- Modelli dinamici discreti
- 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
- Parallel Algorithms for Irregularly Structured Problems : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19-21, 1996 Proceedings
- Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 15, 2000 Proceedings
- Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Programming for computations -- MATLAB/Octave : a gentle introduction to numerical simulations with MATLAB/Octave
- 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 : 12th International Workshop, WADT'97 Tarquinia, Italy, June 37, 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 ; 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
- Ricci flow for shape analysis and surface registration : theories, algorithms and applications
- Rough sets : selected methods and applications in management and engineering
- SIAM journal on discrete mathematics
- Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE 97 Marina del Rey, California, USA December 811, 1997 Proceedings
- 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
- 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 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
- 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
- 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/GqEOu7OvkSE/" 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/GqEOu7OvkSE/">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/GqEOu7OvkSE/" 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/GqEOu7OvkSE/">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>`