Title: Modeling in Event-B: System and Software Engineering, Author: Jean-Raymond Abrial
Title: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation III, Author: Oliver Schuetze
Title: Agile Software Development, Principles, Patterns, and Practices, Author: Robert Martin
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach, Author: Lee Spector
Title: Thinking Functionally with Haskell, Author: Richard Bird
Title: The Unified Process Elaboration Phase: Best Practices in Implementing the UP, Author: Scott Ambler
Title: Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming!, Author: William B. Langdon
Title: Running an Agile Software Development Project, Author: Mike Holcombe
Title: F# for Scientists, Author: Jon Harrop
Title: Genetic Systems Programming: Theory and Experiences, Author: Ajith Abraham
Title: Theories of Computability, Author: Nicholas Pippenger
Title: Data Mining Using Grammar Based Genetic Programming and Applications, Author: Man Leung Wong
Title: Automatic Re-engineering of Software Using Genetic Programming, Author: Conor Ryan
Title: Agile Model-Based Development Using UML-RSDS, Author: Kevin Lano
Title: Representations for Genetic and Evolutionary Algorithms, Author: Franz Rothlauf
Title: Evolutionary Algorithms for VLSI CAD, Author: Rolf Drechsler
Title: Agile Software Development Evaluating The Methods For Your Organization, Author: Alan S. Koch
Title: Genetic Programming Theory and Practice III, Author: Tina Yu
Title: The Functional Treatment of Parsing, Author: René Leermakers
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo

Pagination Links