#
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 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
- A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newtonâ€™s Principia
- A Crash Course in Mathematica
- A History of Algorithms : From the Pebble to the Microchip
- A Modern Perspective on Type Theory : From its Origins until Today
- A Practical Programming Model for the Multi-Core Era : International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings
- A Primer on Scientific Programming with Python
- A Primer on Scientific Programming with Python
- A Proof Theory for Description Logics
- A Short Introduction to Intuitionistic Logic
- ACRI â€™96 : Proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16â€“18 October 1996
- Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
- Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Adaptive Mesh Refinement - Theory and Applications : Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003
- Adaptive Modelling, Estimation and Fusion from Data : A Neurofuzzy Approach
- Adaptive and Natural Computing Algorithms : Proceedings of the International Conference in Coimbra, Portugal, 2005
- Advances in Artificial Life : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001. Proceedings
- Advances in Artificial Life and Evolutionary Computation : 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
- Advances in Artificial Life, Evolutionary Computation and Systems Chemistry : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
- Advances in Automatic Differentiation
- 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 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 II
- Advances in Cryptology â€“ EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6â€“10, 2001, Proceedings
- Advances in Numerical Methods
- Aggregation Operators : New Trends and Applications
- Algebra, Meaning, and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
- Algebraic Foundations of Systems Specification
- Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
- Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
- Algorithmic Algebra and Number Theory : Selected Papers From a Conference Held at the University of Heidelberg in October 1997
- Algorithmic Algebraic Combinatorics and GrÃ¶bner Bases
- Algorithmic Aspects in Information and Management : 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009, Proceedings
- Algorithmic Decision Theory : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
- Algorithms - ESA 2003 : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings
- Algorithms - ESA 2009 : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, Proceedings
- Algorithms and Computation : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
- Algorithms and Computations : 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings
- Algorithms for Approximation : Proceedings of the 5th International Conference, Chester, July 2005
- Algorithms for Sensor Systems : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers
- Algorithms in Bioinformatics : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings
- Apartness and Uniformity : A Constructive Development
- Applications of Evolutionary Computing : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings
- Applied Parallel Computing : State of the Art in Scientific Computing
- Applied Parallel Computing : State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
- Applied Parallel Computing. Large Scale Scientific and Industrial Problems : 4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings
- Applied Parallel Computing. New Paradigms for HPC in Industry and Academia : 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings
- Applied Parallel Computing: Advanced Scientific Computing : 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings
- Applied Parallel and Scientific Computing : 10th International Conference, PARA 2010, ReykjavÃk, Iceland, June 6-9, 2010, Revised Selected Papers, Part I
- Applied Parallel and Scientific Computing : 10th International Conference, PARA 2010, ReykjavÃk, Iceland, June 6-9, 2010, Revised Selected Papers, Part II
- Approximation and Computation : In Honor of Gradimir V. MilovanoviÄ‡
- Automata, Languages and Programming : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
- Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
- Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8â€“12, 2001 Proceedings
- Automata, Languages and Programming : 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings
- Automata, Languages and Programming : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
- Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
- Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II
- Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Automatic Differentiation: Applications, Theory, and Implementations
- Autonomous Search
- Best Approximation in Inner Product Spaces
- Binary Quadratic Forms : An Algorithmic Approach
- Biomedical Image Registration : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012, Proceedings
- Boolean Function Complexity : Advances and Frontiers
- CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
- Call-By-Push-Value : A Functional/Imperative Synthesis
- Categories for Software Engineering
- Chaos and Fractals : New Frontiers of Science
- Classical and New Paradigms of Computation and their Complexity Hierarchies : Papers of the conference "Foundations of the Formal Sciences III"
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization in Communication Networks
- Complete Symbolic Simulation of SystemC Models : Efficient Formal Verification of Finite Non-Terminating Programs
- Comprehensive Mathematics for Computer Scientists 1 : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry
- Compression-Based Methods of Statistical Analysis and Prediction of Time Series
- Computability and Models : Perspectives East and West
- Computability of Julia Sets
- Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
- 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 Biology : First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers
- Computational Discrete Mathematics : Advanced Lectures
- Computational Electromagnetics
- Computational Fluid Dynamics for Sport Simulation
- Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
- Computational Mathematics Driven by Industrial Problems : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999
- Computational Science - ICCS 2002 : International Conference, Amsterdam, The Netherlands, April 21-24, 2002. Proceedings, Part I
- Computational Science - ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II
- 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 and Its Applications - ICCSA 2003 : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I
- Computational Science and Its Applications - ICCSA 2003 : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II
- 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 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 Science and Its Applications -- ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, 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 I
- Computational Science â€” ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2â€“4, 2003, Proceedings, Part IV
- Computational Science â€” ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2â€“4, 2003. Proceedings, Part III
- 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 Statistics
- Computational and Information Science : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings
- Computer Algebra Methods for Equivariant Dynamical Systems
- Computer Algebra in Scientific Computing : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
- Computer Games : Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers
- Computer Science - Theory and Applications : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
- Computer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
- Computer Science - Theory and Applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
- Computer Science -- Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings
- Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
- Computer Science in Perspective : Essays Dedicated to Thomas Ottmann
- Computer Science â€“ Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings
- Computers and Games : First International Conference, CGâ€™98 Tsukuba, Japan, November 11â€“12, 1998 Proceedings
- Computers and Games : Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers
- Computing in Object-Oriented Parallel Environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8â€“11, 1998, Proceedings
- Condition : The Geometry of Numerical Algorithms
- Constraint Theory : Multidimensional Mathematical Model Management
- Contemporary Cryptology
- Conversations with a Mathematician : Math, Art, Science and the Limits of Reason
- Cryptography in Constant Parallel Time
- Cryptology and Network Security : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings
- Data Analytics for Renewable Energy Integration : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers
- Design of Adaptive Finite Element Software : The Finite Element Toolbox ALBERTA
- Deterministic Extraction from Weak Random Sources
- Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
- Digital Imaging and Communications in Medicine (DICOM) : A Practical Introduction and Survival Guide
- Digital and Image Geometry : Advanced Lectures
- Diophantine Equations and Power Integral Bases : New Computational Methods
- Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
- Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
- Domain Decomposition Methods in Science and Engineering
- Domain Decomposition Methods in Science and Engineering XIX
- Domain Decomposition Methods in Science and Engineering XVI
- Domain Decomposition Methods in Science and Engineering XVIII
- Drawing Graphs : Methods and Models
- Efficient Algorithms : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
- Elementary Functions : Algorithms and Implementation
- Encyclopedia of Applied and Computational Mathematics
- Engineering Computation of Structures: The Finite Element Method
- Essentials of Mathematica : With Applications to Mathematics and Physics
- Euro-Par 2000 Parallel Processing : 6th International Euro-Par Conference Munich, Germany, August 29 â€“ September 1, 2000 Proceedings
- Euro-Par 2002. Parallel Processing : 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002 Proceedings
- Euro-Par 2003 Parallel Processing : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26â€“29, 2003 Proceedings
- Euro-Parâ€™ 99 Parallel Processing : 5th International Euro-Par Conference Toulouse, France, August 31â€“September 3, 1999 Proceedings
- Euro-Parâ€™97 Parallel Processing : Third International Euro-Par Conference, Passau, Germany, August 26â€“29, 1997, Proceedings
- Euro-Parâ€™98 Parallel Processing : 4th International Euro-Par Conference Southampton, UK, September 1â€“4, 1998 Proceedings
- Experimental Algorithms : 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings
- FST TCS 2000: Foundations of Software Technology and Theoretical Science : 20th Conference, New Delhi, India, December13-15, 2000 Proceedings
- Fete of Combinatorics and Computer Science
- Finite Element Analysis of Acoustic Scattering
- Finite Elements Using Maple : A Symbolic Programming Approach
- Finitely Supported Mathematics : An Introduction
- Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
- Foundation Mathematics for Computer Science : A Visual Approach
- Foundations of Generic Optimization : Volume 1: A Combinatorial Approach to Epistasis
- Foundations of Generic Optimization : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks
- Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
- Foundations of Information and Knowledge Systems : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012, Proceedings
- Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
- Fractional Calculus for Scientists and Engineers
- From Markov Jump Processes to Spatial Queues
- Frontiers in Algorithmics : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings
- Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011, Proceedings
- Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings
- Frontiers in Algorithmics and Algorithmic Aspects in Information and Management : Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings
- Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
- Fundamentals of Matrix-Analytic Methods
- Fuzzy Graphs and Fuzzy Hypergraphs
- Fuzzy Mathematics : An Introduction for Engineers and Scientists
- Geometric Algebra with Applications in Science and Engineering
- Geometric Algebra: An Algebraic System for Computer Games and Animation
- Geometric Modelling, Numerical Simulation, and Optimization: : Applied Mathematics at SINTEF
- Graph Separators, with Applications
- Graphs, Networks and Algorithms
- Graphs, Networks and Algorithms
- GrÃ¶bner Bases, Coding, and Cryptography
- Handbook of Computer Animation
- Handbook of Continued Fractions for Special Functions
- Handbook of Logic and Proof Techniques for Computer Science
- Handbook on Modelling for Discrete Optimization
- Hierarchical and Geometrical Methods in Scientific Visualization
- 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 - HiPC 2004 : 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
- High Performance Computing - HiPC 2006 : 13th International Conference Bangalore, India, December 18-21, 2006, Proceedings
- High Performance Computing - HiPC 2007 : 14th International Conference, Goa, India, December 18-21, 2007, Proceedings
- High Performance Computing - HiPC'99 : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings
- High Performance Computing : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings
- High Performance Computing : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings
- High Performance Computing : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings
- High Performance Computing : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings
- High Performance Computing and Communications : First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings
- High Performance Computing and Communications : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings
- High Performance Computing and Communications : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, 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 for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
- High Performance Computing for Computational Science - VECPAR 2006 : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
- High Performance Computing for Computational Science - VECPAR 2008 : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
- High Performance Computing for Computational Science -- VECPAR 2010 : 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers
- High Performance Computing in Science and Engineering ' 05 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2005
- High Performance Computing in Science and Engineering ' 06 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2006
- High Performance Computing in Science and Engineering ' 07 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007
- High Performance Computing in Science and Engineering ' 08 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008
- High Performance Computing in Science and Engineering '10 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010
- High Performance Computing in Science and Engineering, Garching/Munich 2007 : Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3-4, 2007, Leibniz Supercomputing Centre, Garching/Munich, Germany
- High Performance Computing â€“ HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings
- 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 : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
- High-Performance Computing and Networking : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12â€“14, 1999 Proceedings
- High-Performance Computing and Networking : 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings
- Index-aware Model Order Reduction Methods : Applications to Differential-Algebraic Equations
- Information Security : 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings
- Information Theory and Statistical Learning
- Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002
- Integrated Methods for Optimization
- Integrated Methods for Optimization
- Introduction to Concurrency Theory : Transition Systems and CCS
- Introduction to Cryptography : Principles and Applications
- Introduction to Maple
- Introduction to Partial Differential Equations : A Computational Approach
- Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
- Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
- Linear Algebra
- Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
- Logic and Its Applications : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings
- Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings
- Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
- Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
- Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics
- Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
- Ludics, Dialogue and Interaction : PRELUDE Project â€” 2006-2009. Revised Selected Papers
- Machine Learning in Medicine - Cookbook Three
- Markov Random Field Modeling in Image Analysis
- Mathematical Approaches to Software Quality
- Mathematical Foundations of Computer Science 2001 : 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings
- Mathematical Foundations of Computer Science 2009 : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings
- Mathematical Foundations of Information Retrieval
- Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration
- Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
- Mathematical Methods in Program Development
- Mathematical Modeling, Simulation, Visualization and e-Learning : Proceedings of an International Workshop held at Rockefeller Foundation' s Bellagio Conference Center, Milan, Italy, 2006
- Mathematical Problems from Applied Logic I : Logics for the XXIst Century
- Mathematical Problems in Data Science : Theoretical and Practical Methods
- Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
- Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
- MathematicaÂ®: A Problem-Centered Approach
- Mathematics and Computation in Music : First International Conference, MCM 2007, Berlin, Germany, May 18-20, 2007. Revised Selected Papers
- Mathematics and Computation in Music : Second International Conference, MCM 2009, New Haven, CT, USA, June 19-22, 2009. Proceedings
- Mathematics and Computation, a Contemporary View : The Abel Symposium 2006
- Mathematics and Modern Art : Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010
- Mathematics for Computer Graphics
- Mathematics for Computer Graphics
- Mathematics of Approximation
- Mathematics of Discrete Structures for Computer Science
- Medical Data Analysis : First International Symposium, ISMDA 2000 Frankfurt, Germany, September 29-30, 2000 Proceedings
- Meshfree Methods for Partial Differential Equations VI
- Modeling Time in Computing
- Modelling Dynamics in Processes and Systems
- Models and Algorithms for Genome Evolution
- Modern Software Tools for Scientific Computing
- Multigrid Methods V : Proceedings of the Fifth European Multigrid Conference held in Stuttgart, Germany, October 1â€“4, 1996
- Multigrid Methods VI : Proceedings of the Sixth European Multigrid Conference Held in Gent, Belgium, September 27â€“30, 1999
- Multiscale Problems in Science and Technology : Challenges to Mathematical Analysis and Perspectives
- Multivariate Public Key Cryptosystems
- Networked Control Systems
- Networks in Action : Text and Computer Exercises in Network Optimization
- New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
- Nonlinear Integer Programming
- Numerical Computation 1 : Methods, Software, and Analysis
- Numerical Optimization : Theoretical and Practical Aspects
- Numerical Solution of Partial Differential Equations on Parallel Computers
- Open Problems in Mathematics and Computational Science
- OpenMP Shared Memory Parallel Programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings
- OpenMP Shared Memory Parallel Programming : International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings
- OpenMP in a New Era of Parallelism : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings
- Operations Research and Enterprise Systems : 4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
- Operations Research and Enterprise Systems : Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers
- Parallel Computation : 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16-18, 1999, Proceedings
- Parallel Problem Solving from Nature - PPSN VII : 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings
- Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
- Parallel Processing and Applied Mathematics : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers
- Parallel Processing and Applied Mathematics : 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
- Parallel Processing and Applied Mathematics : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers
- Parallel Processing and Applied Mathematics, Part I : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009
- Parallel Processing and Applied Mathematics, Part II : 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings
- Parallel Processing and Applied Mathematics, Part II : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II
- Parallel and Distributed Processing : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings
- Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1â€“5, 2000 Proceedings
- Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
- Patterns in Permutations and Words
- People, Problems, and Proofs : Essays from GÃ¶del's Lost Letter: 2010
- Perspectives on Soviet and Russian Computing : First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
- Petri Net Synthesis
- Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
- Polyhedral and Algebraic Methods in Computational Geometry
- Positive Operators
- Post-Quantum Cryptography
- Practical Asymptotics
- Practical Optimization : Algorithms and Engineering Applications
- Practice and Theory of Automated Timetabling III : Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers
- Programming for Engineers : A Foundational Approach to Learning C and Matlab
- Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings
- Provable Security : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings
- QoS in Packet Networks
- Quantum Attacks on Public-Key Cryptosystems
- Quantum Computation and Quantum Communication: : Theory and Experiments
- Quantum Interaction : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers
- Quaternions for Computer Graphics
- Randomization and Approximation Techniques in Computer Science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings
- Reachability Problems : Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings
- Recent Advances in Parallel Virtual Machine and Message Passing Interface : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings
- Recent Progress in Computational and Applied PDES : Conference Proceedings for the International Conference Held in Zhangjiajie in July 2001
- 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
- Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
- Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
- Regulated Grammars and Automata
- Relational Methods in Computer Science
- Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
- Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon BÃ¶rger on the Occasion of His 60th Birthday
- Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 12th International Conference, RSFDGrC 2009, Delhi, India, December 16-18, 2009, Proceedings
- SAGA â€“ Advances in ShApes, Geometry, and Algebra : Results from the Marie Curie Initial Training Network
- SOFSEM 2001: Theory and Practice of Informatics : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings
- SOFSEM'99: Theory and Practice of Informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings
- 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
- STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings
- Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings
- Selected Areas in Cryptography : 5th Annual International Workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998, Proceedings
- Shared Memory Parallel Programming with Open MP : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004
- Soft Computing and Human-Centered Machines
- Sparse Grids and Applications
- Spectral Methods : Algorithms, Analysis and Applications
- Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012 : Selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia
- Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014 : Selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA
- Stochastic Models for Fault Tolerance : Restart, Rejuvenation and Checkpointing
- Structured Matrices and Polynomials : Unified Superfast Algorithms
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings
- System Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from , July 18-22, 2005, Turin, Italy
- Systems, Control, Modeling and Optimization : Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy
- The Block Cipher Companion
- The Complexity of Valued Constraint Satisfaction Problems
- The Foundations of Computability Theory
- The LLL Algorithm : Survey and Applications
- The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
- The Modern Algebra of Information Retrieval
- The Next Wave in Computing, Optimization, and Decision Technologies
- The Pillars of Computation Theory : State, Encoding, Nondeterminism
- Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
- Theoretical Aspects of Local Search
- Theoretical Computer Science : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
- Theoretical and Mathematical Foundations of Computer Science : Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers
- 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 : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings
- Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings
- Theory and Applications of Models of Computation : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. 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 and Applications of Models of Computation : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
- Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
- Theory of Fuzzy Computation
- Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers
- Tool Support for System Specification, Development and Verification
- Topics in Cryptology - CT-RSA 2001 : The Cryptographer's Track at RSA Conference 2001 San Francisco, CA, USA, April 8-12, 2001 Proceedings
- Transactions on Computational Science II
- Transactions on Computational Science XI : Special Issue on Security in Computing, Part II
- Translational Recurrences : From Mathematical Theory to Real-World Applications
- Triangulations : Structures for Algorithms and Applications
- Tutorials on Emerging Methodologies and Applications in Operations Research : Presented at Informs 2004, Denver, CO
- Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
- Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
- Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
- Understanding and Using Linear Programming
- User Manual for the Interactive Geometry Software Cinderella
- Vacation Queueing Models Theory and Applications
- Vector and Parallel Processing - VECPAR'98 : Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks
- Visualization and Processing of Tensor Fields : Advances and Perspectives
- Walter Gautschi, Volume 1 : Selected Works with Commentaries
- Walter Gautschi, Volume 2 : Selected Works with Commentaries
- Walter Gautschi, Volume 3 : Selected Works with Commentaries
- Web and Internet Economics : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 1-14, 2013, Proceedings
- Words and Graphs
- Writing for Computer Science

## 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/tL-n4CALCcc/" 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/tL-n4CALCcc/">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/tL-n4CALCcc/" 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/tL-n4CALCcc/">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>`