Title: Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence / Edition 2, Author: Candida Ferreira
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Genetic Programming Theory and Practice II / Edition 1, Author: Una-May O'Reilly
Title: The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data / Edition 1, Author: Peter M.D. Gray
Title: Genetic Programming Theory and Practice III / Edition 1, Author: Tina Yu
Title: Representations for Genetic and Evolutionary Algorithms / Edition 2, Author: Franz Rothlauf
Title: Genetic Programming Theory and Practice / Edition 1, Author: Rick Riolo
Title: Representations for Genetic and Evolutionary Algorithms / Edition 2, Author: Franz Rothlauf
Title: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, Author: Alexandru-Adrian Tantar
Title: Modeling in Event-B: System and Software Engineering, Author: Jean-Raymond Abrial
Title: Modeling in Event-B: System and Software Engineering, Author: Jean-Raymond Abrial
Title: Extensional Constructs in Intensional Type Theory, Author: Martin Hofmann
Title: The Platform of Agile Management: And the Program to Implement It, Author: Willy Sussland
Title: Agile Model-Based Development Using UML-RSDS / Edition 1, Author: Kevin Lano
Title: Thinking Functionally with Haskell, Author: Richard Bird
Title: Theories of Computability, Author: Nicholas Pippenger
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach / Edition 1, Author: Lee Spector
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach / Edition 1, Author: Lee Spector
Title: Agile Software Development, Principles, Patterns, and Practices / Edition 1, Author: Robert Martin
Explore Series
Hardcover from $76.78 $139.64 Current price is $76.78, Original price is $139.64.
Title: The B-Book: Assigning Programs to Meanings, Author: J. R. Abrial

Pagination Links