Title: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, Author: Alexandru-Adrian Tantar
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
Title: Linear-Fractional Programming Theory, Methods, Applications and Software, Author: E.B. Bajalinov
Title: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation III, Author: Oliver Schuetze
Title: Representations for Genetic and Evolutionary Algorithms, Author: Franz Rothlauf
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: Applied Genetic Programming and Machine Learning, Author: Hitoshi Iba
Title: The Unified Process Elaboration Phase: Best Practices in Implementing the UP, Author: Scott Ambler
Title: The Unified Process Inception Phase: Best Practices in Implementing the UP, Author: Scott W. Ambler
Title: Enterprise-Scale Agile Software Development, Author: James Schiel
Title: Electromagnetic Optimization by Genetic Algorithms, Author: Yahya Rahmat-Samii
Title: Genetic Algorithms and Genetic Programming in Computational Finance, Author: Shu-Heng Chen

Pagination Links