#
Mathematics of Computing
Resource Information
The concept ** Mathematics of Computing** represents the subject, aboutness, idea or notion of resources found in **University of Manitoba 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 Manitoba Libraries**.- Label
- Mathematics of Computing

## Context

Context of Mathematics of Computing#### Subject of

No resources found

No enriched resources found

- A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP
- A Journey Through Discrete Mathematics : A Tribute to Jiří Matoušek
- 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 Primer on Scientific Programming with Python
- A Proof Theory for Description Logics
- 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 and Natural Computing Algorithms : Proceedings of the International Conference in Coimbra, Portugal, 2005
- Advanced Concepts for Intelligent Vision Systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings
- Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings
- 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 Artificial Life, Evolutionary Computation, and Systems Chemistry : 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
- Advances in Automatic Differentiation
- Advances in Computer Algebra : In Honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada
- 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 2014 : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Part II
- Advances in Cryptology -- ASIACRYPT 2014 : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, 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 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 – ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
- Advances in Cryptology – ASIACRYPT 2016 : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II
- Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
- Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
- Advances in Cryptology – ASIACRYPT 2017 : 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
- Advances in Cryptology – ASIACRYPT 2019 : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part III
- Advances in Cryptology – EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6–10, 2001, Proceedings
- Advances in Neural Networks - ISNN 2017 : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I
- Advances in Neural Networks - ISNN 2017 : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part II
- Advances in Neural Networks – ISNN 2016 : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings
- Advances in Numerical Methods
- Algebra, Meaning, and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
- 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 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 : 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
- Algorithmic Decision Theory : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
- 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 - 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 and Discrete Applied Mathematics : 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings
- Algorithms for Approximation : Proceedings of the 5th International Conference, Chester, July 2005
- Algorithms for Data Science
- Algorithms for Sensor Systems : 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers
- 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 for Sensor Systems : 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
- 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
- Algorithms in Bioinformatics : Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings
- All About Music : The Complete Ontology: Realities, Semiotics, Communication, and Embodiment
- An Introduction to Data Analysis using Aggregation Functions in R
- Analysis of Experimental Algorithms : Special Event, SEA2 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
- Analytical and Stochastic Modelling Techniques and Applications : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings
- Apartness and Uniformity : A Constructive Development
- 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
- Applications of Evolutionary Computation : 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
- Applications of Evolutionary Computing : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001 Proceedings
- Applied Nature-Inspired Computing: Algorithms and Case Studies
- 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ć
- Artificial Intelligence : 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers
- Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
- 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 Deduction in Equational Logic and Cubic Curves
- Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
- Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
- Automatic Differentiation: Applications, Theory, and Implementations
- Autonomous Search
- BNAIC 2016: Artificial Intelligence : 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers
- Binary Quadratic Forms : An Algorithmic Approach
- Biomedical Image Registration : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012, Proceedings
- Biomedical Image Registration : 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014, Proceedings
- Boolean Function Complexity : Advances and Frontiers
- Boolean Functions and Their Applications in Cryptography
- CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
- Categories for Software Engineering
- Clinical Rehabilitation Experience Utilizing Serious Games : Rehabilitation Technology and a Technical Concept for Health Data Collection
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization : Theory and Algorithms
- Combinatorial Optimization in Communication Networks
- Combinatorics on Words : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
- Communications and Networking : 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings
- 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 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 Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation : Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings
- Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
- Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings
- Computational Musicology in Hindustani Music
- 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 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I
- Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II
- Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III
- Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV
- Computational Science – ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
- 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 Topology in Image Context : 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings
- Computational and Information Science : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings
- Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
- Computer Algebra in Scientific Computing : 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
- Computer Algebra in Scientific Computing : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
- Computer Algebra in Scientific Computing : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
- Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers
- Computer Games : 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers
- 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
- Computer Vision – ACCV 2018 : 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I
- 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
- Constraint Theory : Multidimensional Mathematical Model Management
- Contemporary Cryptology
- Cool Math for Hot Music : A First Introduction to Mathematics for Music Theorists
- Cryptography Made Simple
- 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 : 4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers
- Data Analytics for Renewable Energy Integration : Second ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014, Revised Selected Papers
- 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
- Deterministic Global Optimization : An Introduction to the Diagonal Approach
- Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
- Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
- Digital Imaging and Communications in Medicine (DICOM) : A Practical Introduction and Survival Guide
- Digital Imaging and Communications in Medicine (DICOM) : A Practical Introduction and Survival Guide
- Digital and Image Geometry : Advanced Lectures
- Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
- Distributed Computer and Communication Networks : 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings
- 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
- Domain Decomposition Methods in Science and Engineering XXIV
- Drawing Graphs : Methods and Models
- EVOLVE – A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII
- 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
- Evolutionary Multi-Criterion Optimization : 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
- 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
- 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
- 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
- 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 and Applications of Hardcopy Communication : Conveying Side Information by Printed Media
- Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
- Fundamentals of Matrix-Analytic Methods
- Game Theory for Networks : 8th International EAI Conference, GameNets 2019, Paris, France, April 25–26, 2019, Proceedings
- Geometric Algebra: An Algebraic System for Computer Games and Animation
- Geometric Modelling, Numerical Simulation, and Optimization: : Applied Mathematics at SINTEF
- Geometric Science of Information : 4th International Conference, GSI 2019, Toulouse, France, August 27–29, 2019, Proceedings
- Geometric Science of Information : Third International Conference, GSI 2017, Paris, France, November 7-9, 2017, Proceedings
- Geometrically Unfitted Finite Element Methods and Applications : Proceedings of the UCL Workshop 2016
- Grammatical Picture Generation : A Tree-Based Approach
- Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.
- Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities : Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
- Graphs, Networks and Algorithms
- Graphs, Networks and Algorithms
- Grid Generation Methods
- Gröbner Bases, Coding, and Cryptography
- Handbook of Continued Fractions for Special Functions
- Handbook of Model Checking
- Handbook on Modelling for Discrete Optimization
- 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 for Computational Science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers
- High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, 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 : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
- High Performance Computing in Science and Engineering : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
- 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
- Higher-Order Computability
- Independent Random Sampling Methods
- Index-aware Model Order Reduction Methods : Applications to Differential-Algebraic Equations
- Industrial Networks and Intelligent Systems : 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings
- Industrial Networks and Intelligent Systems : 5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019, Proceedings
- Information Processing in Medical Imaging : 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
- Information Security : 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings
- Information Theory and Statistical Learning
- Innovative Security Solutions for Information Technology and Communications : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8–9, 2017, Revised Selected Papers
- 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
- Intelligent Data Processing : 11th International Conference, IDP 2016, Barcelona, Spain, October 10–14, 2016, Revised Selected Papers
- Intelligent Robotics and Applications : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
- Internet of Vehicles. Technologies and Services for Smart Cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings
- Introduction to Concurrency Theory : Transition Systems and CCS
- Introduction to Cryptography : Principles and Applications
- Introduction to Inverse Problems for Differential Equations
- Introduction to Mathematica® with Applications
- LATIN 2018: Theoretical Informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
- Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
- Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings
- Large-Scale Scientific Computing : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
- Linear Algebra for Computational Sciences and Engineering
- 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
- Machine Learning, Optimization, and Big Data : Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers
- Markov Random Field Modeling in Image Analysis
- Mathematical Analysis and the Mathematics of Computation
- Mathematical Approaches to Software Quality
- Mathematical Aspects of Computer and Information Sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
- Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
- Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches
- 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 Scientific Visualization, Computer Graphics, and Massive Data Exploration
- Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
- 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 Computing : 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
- Mathematics and Computing : Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
- 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
- Matrix and Tensor Factorization Techniques for Recommender Systems
- Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings
- Mechanistic Explanations in Physics and Beyond
- 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
- Modeling, Simulation and Optimization for Science and Technology
- Modelling Dynamics in Processes and Systems
- Models and Algorithms for Genome Evolution
- Modern Language Models and Computation : Theory with Applications
- Monte Carlo and Quasi-Monte Carlo Methods : MCQMC 2016, Stanford, CA, August 14-19
- Morphological Modeling of Terrains and Volume Data
- Multivariate Public Key Cryptosystems
- Music Through Fourier Space : Discrete Fourier Transform in Music Theory
- Neighborhood Semantics for Modal Logic
- 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 Dynamics of Electronic Systems : 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings
- Nonlinear Integer Programming
- Numerical Mathematics and Advanced Applications ENUMATH 2017
- 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 : 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers
- Operations Research and Enterprise Systems : 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers
- Operations Research and Enterprise Systems : 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers
- Operations Research and Enterprise Systems : Third International Conference, ICORES 2014, Angers, France, March 6-8, 2014, Revised Selected Papers
- Ophthalmic Medical Image Analysis : 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
- 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 Computing Technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
- Parallel Problem Solving from Nature - PPSN VII : 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings
- Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I
- Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
- Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
- Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
- 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
- Parallelism in Matrix Computations
- 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 Optimization : Algorithms and Engineering Applications
- Practical Python AI Projects : Mathematical Models of Optimization Problems with Google OR-Tools
- Practice and Theory of Automated Timetabling III : Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers
- Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
- Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
- Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
- Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
- Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
- Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
- Privately and Publicly Verifiable Computing Techniques : A Survey
- Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) : Transcending Boundaries, Embracing Multidisciplinary Diversities
- Programming for Engineers : A Foundational Approach to Learning C and Matlab
- Progress in Industrial Mathematics at ECMI 2014
- Proofs from THE BOOK
- 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
- Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
- QoS in Packet Networks
- Quality, Reliability, Security and Robustness in Heterogeneous Systems : 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings
- 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
- Queueing Theory and Network Applications : 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings
- Random-Like Bi-level Decision Making
- Randomization and Approximation Techniques in Computer Science : 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings
- Reachability Problems : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, 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 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
- Relaxed Abduction : Robust Information Interpretation for Industrial Applications
- Research in Computational Molecular Biology : 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings
- Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers
- Resonant Scattering and Generation of Waves : Cubically Polarizable Layers
- Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
- 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
- Scalable Algorithms for Contact Problems
- Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
- Scientific Computing : A Historical Perspective
- 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
- Simulation Science : First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
- Simulation and Synthesis in Medical Imaging : 4th International Workshop, SASHIMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings
- Smart Cities : Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings
- Smart Cities, Green Technologies, and Intelligent Transport Systems : 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers
- Space in Weak Propositional Proof Systems
- Sparse Grids and Applications
- Sparse Grids and Applications - Miami 2016
- 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
- Stabilization, Safety, and Security of Distributed Systems : 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
- Stochastic Models for Fault Tolerance : Restart, Rejuvenation and Checkpointing
- String Processing and Information Retrieval : 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings
- Studies on Speech Production : 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers
- Supercomputing : Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25–26, 2017, Revised Selected Papers
- Swarm Intelligence : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, 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
- Task Scheduling for Multi-core and Parallel Architectures : Challenges, Solutions and Perspectives
- The Block Cipher Companion
- The Complexity of Valued Constraint Satisfaction Problems
- The Foundations of Computability Theory
- The GLOBAL Optimization Algorithm : Newly Updated with Java Implementation and Parallelization
- The Incomputable : Journeys Beyond the Turing Barrier
- The LLL Algorithm : Survey and Applications
- The Mathematical-Function Computation Handbook : Programming Using the MathCW Portable Software Library
- The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
- The Modern Algebra of Information Retrieval
- The Musical-Mathematical Mind : Patterns and Transformations
- 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 : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
- Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
- Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, 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 and Applications of Satisfiability Testing - SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
- Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
- Theory and Applications of Satisfiability Testing – SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, 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
- 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 Collective Intelligence XXXI
- Transactions on Computational Science II
- Transactions on Computational Science XI : Special Issue on Security in Computing, Part II
- Transactions on Computational Science XXXIII
- Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI : Selected Papers from ACOMP 2013
- Transactions on Rough Sets XXI
- Translational Recurrences : From Mathematical Theory to Real-World Applications
- Triangulations : Structures for Algorithms and Applications
- Turing Computability : Theory 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
- Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
- 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
- Verifiable Composition of Signature and Encryption : A Comprehensive Study of the Design Paradigms
- Visual Saliency: From Pixel-Level to Object-Level Analysis
- 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
- hp-Version Discontinuous Galerkin Methods on Polygonal and Polyhedral Meshes

## 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.lib.umanitoba.ca/resource/tL-n4CALCcc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/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.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba 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.lib.umanitoba.ca/resource/tL-n4CALCcc/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.umanitoba.ca/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.lib.umanitoba.ca/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.umanitoba.ca/">University of Manitoba Libraries</a></span></span></span></span></div>`