41- 60 of 72 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
QUICK ADD
Adapting Proofs-as-Programs:…
by Iman Poernomo, John N. Crossley, Martin Wirsing
Explore Series
Paperback $169.99
Title: Hierarchical Bayesian Optimization Algorithm: Toward a New Generation of Evolutionary Algorithms, Author: Martin Pelikan
QUICK ADD
Hierarchical Bayesian…
by Martin Pelikan
#170 in Series
Paperback $54.99
Title: Genetic Programming: European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings, Author: Riccardo Poli
QUICK ADD
Genetic Programming: European…
by Riccardo Poli (Editor), Wolfgang Banzhaf (Editor), William B. Langdon (Editor), Julian F. Miller (Editor), Peter Nordin (Editor)
#1802 in Series
Paperback $54.99
Title: Advances in Natural Computation: Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part II, Author: Licheng Jiao
QUICK ADD
Advances in Natural…
by Licheng Jiao (Editor), Lipo Wang (Editor), Xinbo Gao (Editor), Jing Liu (Editor), Feng Wu (Editor)
#4222 in Series
Paperback $109.99
Title: Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text, Author: John Launchbury
QUICK ADD
Advanced Functional…
by John Launchbury (Editor), Erik Meijer (Editor), Tim Sheard (Editor)
#1129 in Series
Paperback $54.99
Title: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, Author: Peter E. Lauer
QUICK ADD
Functional Programming,…
by Peter E. Lauer (Editor)
#693 in Series
Paperback $54.99
Title: Semantics of Type Theory: Correctness, Completeness and Independence Results, Author: T. Streicher
QUICK ADD
Semantics of Type Theory:…
by T. Streicher
Explore Series
Paperback $99.99
Title: Extreme Programming and Agile Methods - XP/Agile Universe 2004: 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings, Author: Carmen Zannier
QUICK ADD
Extreme Programming and Agile…
by Carmen Zannier (Editor), Hakan Erdogmus (Editor), Lowell Lindstrom (Editor)
#3134 in Series
Paperback $54.99
Title: The Functional Treatment of Parsing, Author: René Leermakers
QUICK ADD
The Functional Treatment of…
by René Leermakers
#242 in Series
Paperback $109.99
Title: Extreme Programming and Agile Methods - XP/Agile Universe 2003: Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings, Author: Frank Maurer
QUICK ADD
Extreme Programming and Agile…
by Frank Maurer (Editor), Don Wells (Editor)
#2753 in Series
Paperback $54.99
Title: Genetic Programming: 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings, Author: Maarten Keijzer
QUICK ADD
Genetic Programming: 7th…
by Maarten Keijzer (Editor), Una-May O'Reilly (Editor), Simon M. Lucas (Editor), Ernesto Costa (Editor), Terence Soule (Editor)
#3003 in Series
Paperback $54.99
Title: EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation III, Author: Oliver Schuetze
QUICK ADD
EVOLVE - A Bridge between…
by Oliver Schuetze (Editor), Carlos A. Coello (Editor), Alexandru-Adrian Tantar (Editor), Emilia Tantar (Editor), Pascal Bouvry (Editor)
#500 in Series
Paperback $169.99
Title: Genetic Programming: 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings, Author: Maarten Keijzer
QUICK ADD
Genetic Programming: 8th…
by Maarten Keijzer (Editor), Andrea Tettamanzi (Editor), Pierre Collet (Editor), Jano van Hemert (Editor), Marco Tomassini (Editor)
#3447 in Series
Paperback $54.99
Title: Scala for the Impatient, Author: Cay Horstmann
QUICK ADD
Scala for the Impatient
by Cay Horstmann
Paperback $59.84
Title: Extensional Constructs in Intensional Type Theory, Author: Martin Hofmann
QUICK ADD
Extensional Constructs in…
by Martin Hofmann
Explore Series
Paperback $159.99
Title: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings, Author: Aart Middeldorp
QUICK ADD
Functional and Logic…
by Aart Middeldorp (Editor), Taisuke Sato (Editor)
#1722 in Series
Paperback $54.99
Title: Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures, Author: Johan Jeuring
QUICK ADD
Advanced Functional…
by Johan Jeuring (Editor), Simon Peyton Jones (Editor)
#2638 in Series
Paperback $54.99
Title: Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures, Author: Varmo Vene
QUICK ADD
Advanced Functional…
by Varmo Vene (Editor), Tarmo Uustalu (Editor)
#3622 in Series
Paperback $54.99
Title: Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992, Author: John Launchbury
QUICK ADD
Functional Programming,…
by John Launchbury (Editor), Patrick Sansom (Editor)
Explore Series
Paperback $54.99
Title: Genetic Programming: First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings, Author: Wolfgang Banzhaf
QUICK ADD
Genetic Programming: First…
by Wolfgang Banzhaf (Editor), Riccardo Poli (Editor), Marc Schoenauer (Editor), Terence C. Fogarty (Editor)
#1391 in Series
Paperback $54.99

Pagination Links