Undergraduate Topics in Computer Science - Mathematics in Computing
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 28)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030342081, 9783030342098

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Graph Theory

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_9 ◽

2020 ◽

pp. 141-153

Author(s):

Gerard O’Regan

Keyword(s):

Download Full-text

Sequences, Series and Permutations and Combinations

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_7 ◽

2020 ◽

pp. 117-130

Author(s):

Gerard O’Regan

Download Full-text

Number Theory

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_5 ◽

2020 ◽

pp. 77-98

Author(s):

Gerard O’Regan

Keyword(s):

Download Full-text

Probability and Statistics

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_25 ◽

2020 ◽

pp. 393-410

Author(s):

Gerard O’Regan

Keyword(s):

Probability And Statistics

Download Full-text

Model Checking

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_24 ◽

2020 ◽

pp. 383-392

Author(s):

Gerard O’Regan

Keyword(s):

Download Full-text

Z Formal Specification Language

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_22 ◽

2020 ◽

pp. 355-371

Author(s):

Gerard O’Regan

Keyword(s):

Formal Specification ◽

Specification Language ◽

Formal Specification Language

Download Full-text

Propositional and Predicate Logic

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_16 ◽

2020 ◽

pp. 247-273

Author(s):

Gerard O’Regan

Keyword(s):

Predicate Logic

Download Full-text

A Short History of Logic

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_15 ◽

2020 ◽

pp. 235-245

Author(s):

Gerard O’Regan

Keyword(s):

Short History ◽

History Of Logic ◽

Download Full-text

Language Theory and Semantics

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_12 ◽

2020 ◽

pp. 185-207

Author(s):

Gerard O’Regan

Keyword(s):

Language Theory

Download Full-text

Cryptography

Undergraduate Topics in Computer Science - Mathematics in Computing ◽

10.1007/978-3-030-34209-8_10 ◽

2020 ◽

pp. 155-170

Author(s):

Gerard O’Regan

Download Full-text