Search Results for Mathematics.

66 sonuç bulundu

Tümünü Seç

1 2 3 4 5 6

000000000000DEFAULTTR

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Yazar

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

https://doi.org/10.1007/978-3-030-33636-3

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

Methods and Models in Mathematical Programming

Yazar

MirHassani, S. A. author.

https://doi.org/10.1007/978-3-030-27045-2

Format:

Electronic Resources

Alıntı:

Computational Mathematics and Numerical Analysis. https://scigraph.springernature.com/ontologies

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs

Yazar

Herdt, Vladimir. author.

http://dx.doi.org/10.1007/978-3-658-12680-3

Format:

Electronic Resources

Alıntı:

Computer science -- Mathematics.

Correct Software in Web Applications and Web Services

Yazar

Thalheim, Bernhard. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Applications in Computer Science.

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

Yazar

Steffen, Bernhard. author.

https://doi.org/10.1007/978-3-319-68397-3

Format:

Electronic Resources

Alıntı:

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches / Steffen, Bernhard

Introduction to Concurrency Theory Transition Systems and CCS

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations.

Graph and Model Transformation General Framework and Applications

Yazar

Ehrig, Hartmut. author.

http://dx.doi.org/10.1007/978-3-662-47980-3

Format:

Electronic Resources

Alıntı:

Category theory (Mathematics).

Advances in Computer Science and its Applications CSA 2013

Yazar

Jeong, Hwa Young. editor.

http://dx.doi.org/10.1007/978-3-642-41674-3

Format:

Electronic Resources

Alıntı:

Appl.Mathematics/Computational Methods of Engineering.

10.

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

Yazar

Kaczorowski, Jerzy. editor.

https://doi.org/10.1007/978-3-319-76620-1

Format:

Electronic Resources

Alıntı:

Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market

11.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings

Yazar

Antonucci, Alessandro. editor. (orcid)0000-0001-7915-2768

https://doi.org/10.1007/978-3-319-61581-3

Format:

Electronic Resources

Alıntı:

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

12.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

Tümünü Seç

1 2 3 4 5 6

66 sonuç bulundu

	{displayName}	{count}
{error}