Search results for ‘Peter G. Clote’

Filter & Refine

      Cover image for RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One
      Hardback
      Add to list Added to list

      RNA: Computational Methods for Structure, Kinetics, and Rational Design: Volume One

      Peter G. Clote

      RNA Structure, Kinetics, and Rational Design is a comprehensive treatment of computational methods concerning the secondary structure, folding kinetics and rational design of RNA. This book provides the nuts, bolts…

      $157.99

      Order online and we’ll ship when availablePre-order now

      Cover image for Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
      Paperback
      Add to list Added to list

      Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

      The papers cover: automated deduction; theorem proving; categorical logic; term rewriting; finite model theory; higher order logic; lambda and combinatory calculi; computational complexity; logic programing; constraints; linear logic; modal logic…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order