Filter By
Books (8)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Feasible Mathematics II by Peter Clote 9781461275824
Booksplease Price: $90.83Perspicuity 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: $167.60Booksplease Price: $146.95Recently 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 9783540594369
Booksplease Price: $130.18The 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... -
Boolean Functions and Computation Models by Peter Clote 9783642082177
Booksplease Price: $136.52The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite... -
Arithmetic, Proof Theory, and Computational Complexity by Peter Clote 9780198536901
Booksplease Price: $217.76This 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... -
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings by Peter Clote 9783540678953
Booksplease Price: $178.78CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international... -
RNA Structure, Kinetics, and Rational Design: Volume Two Peter G. Clote 9781032496665
RRP: $154.03Booksplease Price: $135.39Comprising 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: $185.23Booksplease Price: $163.96Comprising two volumes, RNA: Computational Methods for Structure, Kinetics, and Rational Design is a comprehensive treatment of computational methods concerning the secondary structure, folding...