Start Over
You searched for: subject "Calculus+Computer programs."

Search Results

Cover image for Adapting proofs-as-programs

Adapting proofs-as-programs

Location Call # Status
Joyner - General Stacks QA9.54 .P64 2005 ✔ Available
Cover image for Pattern calculus

Pattern calculus

Location
Access Content Online
Cover image for Variational and optimal control problems on unbounded domains

Variational and optimal control problems on unbounded domains

  • 2014
  • Format: Electronic
Location
Access Content Online