Proofs and Algorithms: An Introduction to Logic and Computability

  • Length: 203 pages
  • Publication Date: 2011-01-13
4.0

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16

Technological Innovation for Sustainability

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

Handbook of Natural Language Processing, 2nd Edition

  • Length: 704 pages
  • Publication Date: 2010-02-22

Developments in Language Theory

  • Length: 503 pages
  • Publication Date: 2009-08-06

Swarm, Evolutionary, and Memetic Computing, Part I

  • Length: 776 pages
  • Publication Date: 2011-11-25

Swarm, Evolutionary, and Memetic Computing, Part II

  • Length: 354 pages
  • Publication Date: 2011-11-25

Computability and Complexity Theory, 2nd Edition

  • Length: 314 pages
  • Publication Date: 2012-01-31

Graph-Theoretic Concepts in Computer Science

  • Length: 355 pages
  • Publication Date: 2011-12-07