Search Results for Calculus.

10 sonuç bulundu

Tümünü Seç

0000000000DEFAULTTR

Variable-Structure Approaches Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes

Yazar

Rauh, Andreas. editor.

http://dx.doi.org/10.1007/978-3-319-31539-3

Format:

Electronic Resources

Alıntı:

Calculus of Variations and Optimal Control; Optimization.

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III

Yazar

Zhang, Lin. editor.

http://dx.doi.org/10.1007/978-981-10-2669-0

Format:

Electronic Resources

Alıntı:

topical sections on Cloud technologies in simulation applications; fractional calculus with applications

Variational Regularization of 3D Data Experiments with MATLAB®

Yazar

Montegranario, Hebert. author.

http://dx.doi.org/10.1007/978-1-4939-0533-1

Format:

Electronic Resources

Alıntı:

fundamentals of functional analysis and variational calculus, as well as splines. The implementation and

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Yazar

de Boer, Frank. editor.

https://doi.org/10.1007/978-3-319-90089-6

Format:

Electronic Resources

Alıntı:

elegance and beauty of Reo: an exogenous coordination model based on a formal calculus of channel

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Yazar

Ghosh, Sujata. editor.

https://doi.org/10.1007/978-3-662-54069-5

Format:

Electronic Resources

Alıntı:

the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency

Variational Methods in Molecular Modeling

Yazar

Wu, Jianzhong. editor.

https://doi.org/10.1007/978-981-10-2502-0

Format:

Electronic Resources

Alıntı:

or calculus of variations.

Applied Scientific Computing With Python

Yazar

Turner, Peter R. author.

https://doi.org/10.1007/978-3-319-89575-8

Format:

Electronic Resources

Alıntı:

representation, and errors Explains the essential details of numerical calculus, linear, and nonlinear equations

The Impact of Applications on Mathematics Proceedings of the Forum of Mathematics for Industry 2013

Yazar

Wakayama, Masato. editor.

http://dx.doi.org/10.1007/978-4-431-54907-9

Format:

Electronic Resources

Alıntı:

some New Non-local Calculus -- Industrial mathematics in Europe Visualizing Multivariate Data Using

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM

10.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

-- Assertion-Based Reasoning Method for Calculus of Wireless System -- Taming Living Logic Using Formal Methods

	{displayName}	{count}
{error}