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

Instruction Sequences for Computer Science

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

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

Computer Architecture: A Quantitative Approach, 5th Edition

  • Length: 856 pages
  • Publication Date: 2011-09-30

Boolean Functions: Theory, Algorithms, and Applications

  • Length: 710 pages
  • Publication Date: 2011-05-16

Advanced Artificial Intelligence

  • Length: 632 pages
  • Publication Date: 2011-03-04

Languages and Compilers for Parallel Computing

  • Length: 567 pages
  • Publication Date: 2004-04-14

Specification and Verification of Multi-agent Systems

  • Length: 422 pages
  • Publication Date: 2010-08-06