calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
361	Prague-Sum_abstract_Mizerova.dvi Add to Reading List Source URL: www.prague-sum.com Language: English - Date: 2014-08-08 12:34:19 Physics Continuum mechanics Calculus Finite element method Structural analysis Tensor Oseen equations Mechanics
362	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:56:39 Software engineering Computer programming Computing Functional languages Evaluation strategy Computability theory Lambda calculus Theoretical computer science Lazy evaluation Functional programming ALGOL 68 Racket
363	165 Documenta Math. On the Leading Terms of Zeta Isomorphisms and p-Adic L-functions in Non-Commutative Iwasawa Theory Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2006-11-22 14:18:47 Abstract algebra Algebra Mathematics Algebraic geometry Homological algebra Symbol Valuation Sheaf Motive Orbifold Holomorphic functional calculus
364	PUSH PULL MIGRATION LAWS x Guido Dorigo* and Waldo Tobler † Abstract:Thema t he ma Add to Reading List Source URL: www.geog.ucsb.edu Language: English - Date: 2014-09-22 16:43:36 Differential equations Control theory Multivariable calculus Partial differential equation Mathematical analysis Mathematics Physics Optimal control Stochastic control
365	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
366	Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes Debora Impera May 19, 2011 Email: Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Theory of relativity Curvature Multivariable calculus Spacetime Differential geometry of surfaces Physics Exact solutions in general relativity Lorentzian manifolds Mathematics Theoretical physics
367	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Functional languages Subroutines Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
368	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 09:07:59 Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol
369	Microsoft PowerPoint - Lect02Scheme.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-12 12:47:00 Software engineering Programming language theory Lambda calculus Computer programming Scheme Structure and Interpretation of Computer Programs Anonymous function Square root Nth root
370	Parent-Student Handbook16 1 Add to Reading List Source URL: www.ormeschool.org Language: English - Date: 2016-07-18 16:00:19 Education The Orme School AP Calculus Advanced Placement

UPDATE