Search Results for Mathematical models.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Yazar

Gopal, T.V. editor.

https://doi.org/10.1007/978-3-319-55911-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor.

https://doi.org/10.1007/978-3-319-52234-0

Format:

Electronic Resources

Alıntı:

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor.

https://doi.org/10.1007/978-3-319-68034-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Yazar

Gallardo, María del Mar. editor.

https://doi.org/10.1007/978-3-319-94111-0

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Yazar

Dillig, Isil. editor.

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

Format:

Electronic Resources

Alıntı:

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Yazar

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

https://doi.org/10.1007/978-3-319-64119-5

Format:

Electronic Resources

Alıntı:

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Yazar

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175

https://doi.org/10.1007/978-3-030-02146-7

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

10.

Advanced signal integrity for high-speed digital designs

Yazar

Hall, Stephen H., author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361024

Format:

Electronic Resources

Alıntı:

Transmitters -- 11.9 Low Swing/Differential Receivers -- 11.10 IBIS Models -- 11.11 Summary -- 11.12 References

11.

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

Yazar

Mencagli, Gabriele. editor.

https://doi.org/10.1007/978-3-030-10549-5

Format:

Electronic Resources

Alıntı:

Education -- From Mathematical Model to Parallel Execution to Performance Improvement: Introducing Students

12.

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

Yazar

Shi, Yong. editor.

https://doi.org/10.1007/978-3-319-93701-4

Format:

Electronic Resources

Alıntı:

minimization of the residual in a fire spread model -- Analyzing Complex Models using Data and Statistics

	{displayName}	{count}
{error}