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

Black-Box Models of Computation in Cryptology

  • Length: 98 pages
  • Publication Date: 2012-03-23

Grammatical Inference: Learning Automata and Grammars

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

Algebraic Shift Register Sequences

  • Length: 514 pages
  • Publication Date: 2012-03-19

Applied Combinatorics, 6th Edition

  • Length: 496 pages
  • Publication Date: 2012-02-01

Design for Hackers: Reverse Engineering Beauty

  • Length: 352 pages
  • Publication Date: 2011-09-06

Constrained Optimization and Lagrange Multiplier Methods

  • Length: 410 pages
  • Publication Date: 1996-01-01
3.3

The Signal and the Noise: Why Most Predictions Fail but Some Don’t

  • Length: 544 pages
  • Publication Date: 2012-09-27