#
Discrete Mathematics in Computer Science
Resource Information
The concept ** Discrete Mathematics in Computer Science** represents the subject, aboutness, idea or notion of resources found in **University of Liverpool**.

The Resource
Discrete Mathematics in Computer Science
Resource Information

The concept

**Discrete Mathematics in Computer Science**represents the subject, aboutness, idea or notion of resources found in**University of Liverpool**.- Label
- Discrete Mathematics in Computer Science

## Context

Context of Discrete Mathematics in Computer Science#### Subject of

- A geometry of approximation : rough set theory - logic, algebra and topology of conceptual patterns
- Advances in cryptology -- CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I
- Advances in cryptology -- CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II
- Advances in cryptology -- CRYPTO 2016 : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III
- Advances in swarm intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I
- Advances in swarm intelligence : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
- Advances in swarm intelligence : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
- Algorithmics of large and complex networks : design, analysis, and simulation
- Algorithms and Complexity : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
- Algorithms and Models for the Web Graph : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011. Proceedings
- Algorithms and computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings
- Algorithms in bioinformatics : 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings
- Algorithms-- ESA 2014 : 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings
- An introduction to sequential dynamical systems
- Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, proceedings
- Approximation and Online Algorithms : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers
- Approximation and online algorithms : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised selected papers
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
- Autonomous Agents and Multiagent Systems : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
- Cellular automata and discrete complex systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
- Combinatorial Algorithms : 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
- Combinatorial Optimization and Applications : 10th International Conference, COCOA 2016, Hong Kong, China, December 16-18, 2016, Proceedings
- Combinatorial algorithms : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised selected papers
- Combinatorial optimization : third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised selected papers
- Complexity of constraints : an overview of current research themes
- Computability and complexity : essays dedicated to Rodney G. Downey on the occasion of his 60th birthday
- Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computer algebra in scientific computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
- Computer algebra in scientific computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
- Computing and combinatorics : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings
- Constructive Side-Channel Analysis and Secure Design : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers
- Cryptography and coding : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings
- Descriptional complexity of formal systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings
- Descriptive set theoretic methods in automata theory : decidability and topological complexity
- Developments in Language Theory (vol. # 4036) : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
- Developments in language theory : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
- Developments in language theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
- Discrete and Computational Geometry and Graphs : 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers
- Discrete geometry for computer imagery : 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings
- Discrete mathematics
- Evolutionary computation in combinatorial optimization : 9th European conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009 ; proceedings
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
- Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
- Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
- Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
- Graph Drawing and Network Visualization : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers
- Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
- Graph transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
- Graph-based representation and reasoning : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
- Graph-theoretic concepts in computer science : 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised selected papers
- Graph-theoretic concepts in computer science : 41st International Workshop, WG 2015 Garching, Germany, June 17-19, 2015, revised papers
- Graphics Recognition. Ten Years Review and Future Perspectives : 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers
- Guide to graph algorithms : sequential, parallel and distributed
- Information Retrieval Technology (vol. # 4182) : Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings
- Integer Programming and Combinatorial Optimization : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
- Introduction to discrete mathematics
- LATIN 2006: Theoretical Informatics : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings
- Learning and Intelligent Optimization : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers
- Learning and intelligent optimization : 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised selected papers
- Mathematical Morphology and Its Applications to Signal and Image Processing : 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15–17, 2017, Proceedings
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II
- Mathematical foundations of computer science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II
- Mathematical software -- ICMS 2014 : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings
- Mathematical tools for data mining : set theory, partial orders, combinatorics
- Nanotechnology : Science and Computation
- Nonblocking electronic and photonic switching fabrics
- Parallel problem solving from nature -- PPSN XIV : 14th international conference, Edinburgh, UK, September 17-21, 2016, proceedings
- Petri Nets and Other Models of Concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Progress in Cryptology – INDOCRYPT 2017 : 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings
- Progress in Cryptology - INDOCRYPT 2004 : 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings
- Progress in Cryptology - INDOCRYPT 2005 : 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings
- Progress in Cryptology - Mycrypt 2005 : First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings
- Progress in Cryptology - VIETCRYPT 2006 : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers
- Progress in Cryptology -- INDOCRYPT 2014 : 15th International Conference on Cryptology in India, New Delhi, India, December 14-17, 2014, Proceedings
- Progress in Cryptology -- INDOCRYPT 2015 : 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings
- Progress in cryptology -- INDOCRYPT 2016 : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings
- Real-time applications with stochastic task execution times : analysis and optimisation
- Reliable implementation of real number algorithms : theory and practice : International Seminar, Dagstuhl Castle, Germany, January 8-13, 2006, revised papers
- SOFSEM 2012 : theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012 : proceedings
- Sets, logic and maths for computing
- Stochastic learning and optimization : a sensitivity-based approach
- Structural Information and Communication Complexity (vol. # 3499) : 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings
- Structural Information and Communication Complexity : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings
- Structural information and communication complexity : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014. Proceedings
- Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings
- Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008. Proceedings
- Swarm Intelligence Based Optimization : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers
- Theoretical computer science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
- Topics in Cryptology? CT-RSA 2007 : the Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
- Topics in cryptology -- CT-RSA 2017 : the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings
- Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
- Transactions on Rough Sets XIII
- Tutorials on emerging methodologies and applications in operations research : presented at INFORMS 2004, Denver, CO
- Uncertainty reasoning for the semantic web I : ISWC international workshops, URSW 2005-2007 : revised selected and invited papers

## 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.liverpool.ac.uk/resource/FRbI9vgxmTE/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/FRbI9vgxmTE/">Discrete Mathematics in Computer Science</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</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 Discrete Mathematics in Computer Science

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.liverpool.ac.uk/resource/FRbI9vgxmTE/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/resource/FRbI9vgxmTE/">Discrete Mathematics in Computer Science</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>`