Software Engineering and Formal Methods

  • Length: 518 pages
  • Publication Date: 2011-12-20

Algorithmic Decision Theory

  • Length: 356 pages
  • Publication Date: 2011-12-22

Reliable Knowledge Discovery

  • Length: 326 pages
  • Publication Date: 2012-03-31

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13

Advances in Artificial Intelligence, part I

  • Length: 623 pages
  • Publication Date: 2011-12-27

Advances in Soft Computing

  • Length: 565 pages
  • Publication Date: 2011-12-27

Data Fusion: Concepts and Ideas

  • Length: 360 pages
  • Publication Date: 2012-02-18

Data Mining: Foundations and Intelligent Paradigms: Volume 1

  • Length: 352 pages
  • Publication Date: 2011-11-11

Data Mining: Foundations and Intelligent Paradigms: Volume 2

  • Length: 264 pages
  • Publication Date: 2011-11-11

Data Mining: Foundations and Intelligent Paradigms: Volume 3

  • Length: 380 pages
  • Publication Date: 2012-01-11

Advances in Cognitive Information Systems

  • Length: 132 pages
  • Publication Date: 2012-01-16

Advances in Reasoning-Based Image Processing Intelligent Systems

  • Length: 468 pages
  • Publication Date: 2012-01-16