Search Results for Analysis (Mathematics).

52 sonuç bulundu

Tümünü Seç

1 2 3 4 5

000000000000DEFAULTTR

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Yazar

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Numerical Computations with GPUs

Yazar

Kindratenko, Volodymyr. editor.

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

Format:

Electronic Resources

Alıntı:

Appl.Mathematics/Computational Methods of Engineering.

Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Yazar

Lambers, Leen. editor. (orcid)0000-0001-6937-5167

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Yazar

Hinze, Ralf. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author.

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

Format:

Electronic Resources

Alıntı:

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

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author.

https://doi.org/10.1007/978-3-662-54314-6

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

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

Format:

Electronic Resources

Alıntı:

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

Machine Learning with R

Yazar

Ghatak, Abhijit. author.

https://doi.org/10.1007/978-981-10-6808-9

Format:

Electronic Resources

Alıntı:

analysis. Further, it will be particularly useful and informative for anyone who has struggled to relate

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Yazar

Rival, Xavier. editor.

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

Format:

Electronic Resources

Alıntı:

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016

10.

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Yazar

Blazy, Sandrine. editor.

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

Format:

Electronic Resources

Alıntı:

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015

11.

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Yazar

Müller-Olm, Markus. editor.

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

Format:

Electronic Resources

Alıntı:

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014

12.

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Yazar

Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068

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

Format:

Electronic Resources

Alıntı:

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1

Tümünü Seç

1 2 3 4 5

52 sonuç bulundu

	{displayName}	{count}
{error}