Filter By
Books (7)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Feasible Mathematics II by Peter Clote 9781461275824
Booksplease Price: £46.58Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to... -
Computational Molecular Biology: An Introduction by Peter Clote 9780471872528
RRP: £85.95Booksplease Price: £76.02Recently molecular biology has undergone unprecedented development generating vast quantities of data needing sophisticated computational methods for analysis, processing and archiving. This... -
Boolean Functions and Computation Models by Peter Clote 9783642082177
Booksplease Price: £70.01The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite... -
Boolean Functions and Computation Models by Peter Clote 9783540594369
Booksplease Price: £66.76The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures deciding the validity of mathematical statements... -
Arithmetic, Proof Theory, and Computational Complexity by Peter Clote 9780198536901
Booksplease Price: £111.42This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and... -
RNA Structure, Kinetics, and Rational Design: Volume Two Peter G. Clote 9781032496665
RRP: £78.99Booksplease Price: £69.43Comprising two volumes, RNA: Computational Methods for Structure, Kinetics, and Rational Design is a comprehensive treatment of computational methods concerning the secondary structure, folding... -
RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One Peter G. Clote 9781032496641
RRP: £94.99Booksplease Price: £83.34Comprising two volumes, RNA: Computational Methods for Structure, Kinetics, and Rational Design is a comprehensive treatment of computational methods concerning the secondary structure, folding...