#
Mathematics of Computing
Resource Information
The concept ** Mathematics of Computing** represents the subject, aboutness, idea or notion of resources found in **University of Oklahoma Libraries**.

The Resource
Mathematics of Computing
Resource Information

The concept

**Mathematics of Computing**represents the subject, aboutness, idea or notion of resources found in**University of Oklahoma Libraries**.- Label
- Mathematics of Computing

## Context

Context of Mathematics of Computing#### Subject of

- A Short Introduction to Intuitionistic Logic
- A primer on scientific programming with Python
- Advances in Cryptology " ASIACRYPT 2000 : 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3 7, 2000 Proceedings
- Advances in Cryptology " CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19 23, 2001 Proceedings
- Advances in Cryptology - ASIACRYPT 2015 : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015, Proceedings, Part I
- Advances in artificial life and evolutionary computation : 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised selected papers
- Algorithmic differentiation of pragma-defined parallel regions : differentiating computer programs containing OpenMP
- Algorithms - ESA 2003 : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings
- Algorithms for data science
- Algorithms for sensor systems : 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers
- An introduction to data analysis using aggregation functions in R
- Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I
- Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part II
- Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings
- Autonomous search
- Beyond two : theory and applications of multiple-valued logic
- Boolean function complexity : advances and frontiers
- Boolean functions and their applications in cryptography
- Combinatorial optimization : theory and algorithms
- Computational Line Geometry
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part I
- 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 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2 4, 2003 Proceedings, Part II
- Computational Science " ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia June 2 4, 2003 Proceedings, Part III
- Computational Science " ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 Proceedings, Part I
- Computational Science " ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 Proceedings, Part IV
- 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 and Its Applications ICCSA 2003 00 : International Conference Montreal, Canada, May 1821, 2003 Proceedings, Part I
- Computational Science and Its Applications ICCSA 2003 : International Conference Montreal, Canada, May 18-21, 2003 Proceedings, Part III
- 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
- Cool math for hot music : a first introduction to mathematics for music theorists
- Cryptography in Constant Parallel Time
- Encyclopedia of applied and computational mathematics
- Engineering computation of structures : the finite element method
- Evolutionary and biologically inspired music, sound, art and design : 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings
- Evolving computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
- Foundation mathematics for computer science : a visual approach
- High Performance Computing " HiPC 2000 : 7th International Conference Bangalore, India, December 17 20, 2000 Proceedings
- High Performance Computing " HiPC 2001 : 8th International Conference Hyderabad, India, December 17 20, 2001 Proceedings
- High Performance Computing : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003. Proceedings 13
- High Performance Computing : Second International Symposium, ISHPC'99 Kyoto, Japan, May 2628, 1999 Proceedings
- High Performance Computing for Computational Science " VECPAR 2002 : 5th International Conference Porto, Portugal, June 26 28, 2002 Selected Papers and Invited Talks
- High Performance Computing ©¿ HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
- High Performance Computing – HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
- High-Performance Computing and Networking : 7th International Conference, HPCN Europe 1999 Amsterdam, the Netherlands, April 1214, 1999 Proceedings
- Higher-order computability
- Integrated methods for optimization
- Linear-fractional programming theory, methods, applications and software
- Machine learning in medicine-- cookbook three
- Mathematical Foundations of Computer Science 2001 00 : 26th International Symposium, MFCS 2001 Marisk Lzne, Czech Republic, August 2731, 2001 Proceedings
- Mathematical analysis and the mathematics of computation
- Mathematical problems in data science : theoretical and practical methods
- Mathematical tools for data mining : set theory, partial orders, combinatorics
- Morphological modeling of terrains and volume data
- Nonlinear dynamics of electronic systems : 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
- Optimization and industry : new frontiers
- Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 15, 2000 Proceedings
- Petri net synthesis
- Practice and Theory of Automated Timetabling III : Third International Conference, PATAT 2000 Konstanz, Germany, August 1618, 2000 Selected Papers
- Primality Testing and Integer Factorization in Public-Key Cryptography
- Programming for engineers : a foundational approach to learning C and MATLAB
- QoS in packet networks
- Random-like bi-level decision making
- Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers
- Regulated grammars and automata
- STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17 19, 2000 Proceedings
- STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15 17, 2001 Proceedings
- Scalable algorithms for contact problems
- Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE 97 Marina del Rey, California, USA December 811, 1997 Proceedings
- The block cipher companion
- The foundations of computability theory
- The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings
- The next wave in computing, optimization, and decision technologies
- Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers
- Translational recurrences : from mathematical theory to real-world applications
- Words and graphs

## Embed (Experimental)

### 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.libraries.ou.edu/resource/i1ZTcRG6FRs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/i1ZTcRG6FRs/">Mathematics of Computing</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma 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 Mathematics of Computing

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.libraries.ou.edu/resource/i1ZTcRG6FRs/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/resource/i1ZTcRG6FRs/">Mathematics of Computing</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>`