21- 40 of 233 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
Hardcover $169.99
Title: Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence, Author: Candida Ferreira
QUICK ADD
Gene Expression Programming:…
by Candida Ferreira
#21 in Series
Paperback $169.99
Title: Representations for Genetic and Evolutionary Algorithms, Author: Franz Rothlauf
QUICK ADD
Representations for Genetic…
by Franz Rothlauf
Paperback $169.99
Title: The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data, Author: Peter M.D. Gray
QUICK ADD
The Functional Approach to…
by Peter M.D. Gray (Editor), Larry Kerschberg (Editor), Peter J.H. King (Editor), Alexandra Poulovassilis (Editor)
Hardcover $169.99
Title: Extensional Constructs in Intensional Type Theory, Author: Martin Hofmann
QUICK ADD
Extensional Constructs in…
by Martin Hofmann
Explore Series
Paperback $159.99
Title: Agile Software Development, Principles, Patterns, and Practices, Author: Robert Martin
QUICK ADD
Agile Software Development,…
by Robert Martin
Explore Series
Hardcover $152.94
Title: The Platform of Agile Management: And the Program to Implement It, Author: Willy Sussland
QUICK ADD
The Platform of Agile…
by Willy Sussland
Hardcover $150.00
Title: Theories of Computability, Author: Nicholas Pippenger
QUICK ADD
Theories of Computability
by Nicholas Pippenger
Hardcover $148.00
Title: Thinking Functionally with Haskell, Author: Richard Bird
QUICK ADD
Thinking Functionally with…
by Richard Bird
Hardcover $148.00
Title: Agile Model-Based Development Using UML-RSDS, Author: Kevin Lano
QUICK ADD
Agile Model-Based Development…
by Kevin Lano
Hardcover $140.00
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach, Author: Lee Spector
QUICK ADD
Automatic Quantum Computer…
by Lee Spector
#7 in Series
Hardcover $139.99
Title: Automatic Quantum Computer Programming: A Genetic Programming Approach, Author: Lee Spector
QUICK ADD
Automatic Quantum Computer…
by Lee Spector
#7 in Series
Paperback $139.99
Title: The B-Book: Assigning Programs to Meanings, Author: J. R. Abrial
QUICK ADD
The B-Book: Assigning Programs…
by J. R. Abrial, A. Hoare (Foreword by), Pierre Chapron (Foreword by)
Paperback $131.00
Title: Running an Agile Software Development Project, Author: Mike Holcombe
QUICK ADD
Running an Agile Software…
by Mike Holcombe
Hardcover $122.95
Title: Software Development Rhythms: Harmonizing Agile Practices for Synergy, Author: Kim Man Lui
QUICK ADD
Software Development Rhythms:…
by Kim Man Lui, Keith C. C. Chan
Hardcover $112.95
Title: F# for Scientists, Author: Jon Harrop
QUICK ADD
F# for Scientists
by Jon Harrop, Don Syme (Foreword by)
Hardcover $112.95
Title: Evolutionary Algorithms for VLSI CAD, Author: Rolf Drechsler
QUICK ADD
Evolutionary Algorithms for…
by Rolf Drechsler
Hardcover $109.99
Title: The Functional Treatment of Parsing, Author: René Leermakers
QUICK ADD
The Functional Treatment of…
by René Leermakers
#242 in Series
Hardcover $109.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: The Functional Treatment of Parsing, Author: René Leermakers
QUICK ADD
The Functional Treatment of…
by René Leermakers
#242 in Series
Paperback $109.99

Pagination Links