Title: The B-Book: Assigning Programs to Meanings, Author: J. R. Abrial
Title: Functional and Logic Programming: 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings, Author: Zhenjiang Hu
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings, Author: Jacques Garrigue
Title: Modeling in Event-B: System and Software Engineering, Author: Jean-Raymond Abrial
Title: Prospects for Functional Programming in Software Engineering, Author: Jean-Pierre Banatre
Title: The Unified Process Inception Phase: Best Practices in Implementing the UP, Author: Scott W. Ambler
Title: The Functional Approach to Programming, Author: Guy Cousineau
Title: Thinking Functionally with Haskell, Author: Richard Bird
Title: Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, Author: Yukiyoshi Kameyama
Title: Theories of Computability, Author: Nicholas Pippenger
Title: Genetic Programming Theory and Practice II, Author: Una-May O'Reilly
Title: Agile ALM: Lightweight tools and Agile strategies, Author: Michael Hüttermann
Title: Theories of Computability, Author: Nicholas Pippenger
Title: Applied Genetic Programming and Machine Learning, Author: Hitoshi Iba
Title: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings, Author: Aart Middeldorp
Title: Agile Project Management: Creating Innovative Products, Author: Jim Highsmith
Title: Evolutionary Algorithms for VLSI CAD, Author: Rolf Drechsler
Title: Semantics of Type Theory: Correctness, Completeness and Independence Results, Author: T. Streicher
Title: Genetic Algorithms and Genetic Programming in Computational Finance, Author: Shu-Heng Chen
Title: Introduction to Functional Programming Systems Using Haskell, Author: Antony J. T. Davie

Pagination Links