calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
761	A Tactic Language for Hiproofs David Aspinall1 , Ewen Denney2 , and Christoph L¨ uth3 1 3 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Mathematical logic Proof theory Mathematics Logic in computer science Deductive reasoning Natural deduction Sequent Denotational semantics Propositional calculus Sheaf
762	College of Arts and Science / Mathematics Students electing a second minor in managerial studies must complete at least 12 credit hours counted solely toward the second minor. Add to Reading List Source URL: as.vanderbilt.edu Language: English - Date: 2014-03-20 18:26:26 Mathematics Mathematical analysis Multivariable calculus Calculus Linear algebra Vector calculus Generalizations of the derivative Operator Differential equation Integral Discrete mathematics Equation
763	REVIEW SHEET FOR MIDTERM 2: BASIC MATH 195, SECTION 59 (VIPUL NAIK) To maximize efficiency, please bring a copy (print or readable electronic) of this review sheet to the review session. The document does not include mat Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Mathematical analysis Calculus Mathematics Multivariable calculus Derivative Partial derivative Implicit function Normal Partial differential equation Generalizations of the derivative Symmetry of second derivatives Chain rule
764	ADFS::HardDisc4.$.temp.SEB.+AH2012.AH-maths.sol/ps Add to Reading List Source URL: www.sqa.org.uk Language: English - Date: 2012-09-05 08:42:46 Mathematical analysis Mathematics Special functions Differential calculus Sine Derivative Constant of integration Envelope Natural logarithm
765	Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-15 09:47:16 Theoretical computer science Statistics Markov models Mathematics Graph theory Markov chain Stochastic process Stochastic Process calculus Semantics Algebra over a field PEPA
766	Topographic Controls on Total Mobile Regolith and Total Soil Organic Carbon in Complex Terrain By: Nicholas Ross Patton Add to Reading List Source URL: geology.isu.edu Language: English - Date: 2016-06-21 11:59:15 Land management Matter Nature Chemistry Multivariable calculus Soil science Soil Curvature Regolith Carbon Bulk density
767	ADAPTIVE COVERING CODES IN THE Q-ARY HYPERCUBE BY DANIEL TIETZER Submitted in partial fulfillment of the Add to Reading List Source URL: math.iit.edu Language: English - Date: 2013-01-14 16:47:58 Mathematics Algebra Calculus Syntax Variable Parameter
768	Modeling set associative caches behavior for irregular computations Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2014-12-23 06:07:47 Algebra Mathematics Vectors Vector calculus Linear algebra Cache Matrix Euclidean vector CPU cache Sparse matrix Square matrix Cross product
769	Using the Pi-Calculus for Formalizing Workflow Patterns Frank Puhlmann Hasso-Plattner-Institute at the University of Potsdam http://bpt.hpi.uni-potsdam.de Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:03 Workflow technology Mathematics Software design patterns Process calculi Process management Theoretical computer science Workflow pattern Workflow Calculus -calculus Process calculus Pi
770	Technische Universität München Fakultät für Informatik Computational Science and Engineering (Int. Master’s Program) Parallel Refinement and Coarsening of recursively Add to Reading List Source URL: www5.in.tum.de Language: English Calculus Mathematics Physics Partial differential equations Shallow water equations Xi Differential equation Vector space

UPDATE