Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
Title: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, Author: Alexandru-Adrian Tantar
Title: Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence, Author: Candida Ferreira
Title: Representations for Genetic and Evolutionary Algorithms, Author: Franz Rothlauf
Title: Extensional Constructs in Intensional Type Theory, Author: Martin Hofmann
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach, Author: Lee Spector
Title: The B-Book: Assigning Programs to Meanings, Author: J. R. Abrial
Title: Research Directions in Parallel Functional Programming, Author: Kevin Hammond
Title: Advances in Natural Computation: Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part II, Author: Licheng Jiao
Title: Evolutionary Algorithms for VLSI CAD, Author: Rolf Drechsler
Title: Advances in Natural Computation: Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part I, Author: Licheng Jiao
Title: Genetic Systems Programming: Theory and Experiences, Author: Ajith Abraham
Title: The Functional Treatment of Parsing, Author: René Leermakers
Title: Semantics of Type Theory: Correctness, Completeness and Independence Results, Author: T. Streicher
Title: The Functional Approach to Programming, Author: Guy Cousineau
Title: The Object Primer: Agile Model-Driven Development with UML 2.0, Author: Scott W. Ambler
Title: Agile Testing: A Practical Guide for Testers and Agile Teams, Author: Lisa Crispin
Title: Clean Code: A Handbook of Agile Software Craftsmanship, Author: Robert Martin
Title: The Haskell School of Expression: Learning Functional Programming through Multimedia, Author: Paul Hudak
Title: Agile Testing: How to Succeed in an Extreme Testing Environment, Author: John Watkins

Pagination Links