A Transition to Abstract Mathematics, 2nd Edition

  • Length: 384 pages
  • Publication Date: 2008-09-18

Integrated Formal Methods

  • Length: 372 pages
  • Publication Date: 2012-07-05

Controlled Natural Language

  • Length: 204 pages
  • Publication Date: 2012-06-16

Logics in Artificial Intelligence

  • Length: 512 pages
  • Publication Date: 2012-08-17

Relational and Algebraic Methods in Computer Science

  • Length: 373 pages
  • Publication Date: 2012-08-12

Foundations of Software Science and Computational Structures

  • Length: 484 pages
  • Publication Date: 2012-05-04

Grammatical Inference: Learning Automata and Grammars

  • Length: 432 pages
  • Publication Date: 2010-04-24

On the Mathematics of Modelling

  • Length: 115 pages
  • Publication Date: 2012-06-12

A Beginner’s Guide to Discrete Mathematics, 2nd Edition

  • Length: 440 pages
  • Publication Date: 2011-10-07