Search Results for Numerical analysis.

Fault-Tolerance Techniques for High-Performance Computing

Yazar

Herault, Thomas. editor.

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

Format:

Electronic Resources

Alıntı:

Numerical analysis.

Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings

Yazar

Feld, Sebastian. editor.

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

Format:

Electronic Resources

Alıntı:

Numerical analysis.

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

https://doi.org/10.1007/978-3-030-24258-9

Format:

Electronic Resources

Alıntı:

Numerical analysis.

Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

Yazar

Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946

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

Format:

Electronic Resources

Alıntı:

Numerical analysis.

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

Yazar

Trobec, Roman. author.

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

Format:

Electronic Resources

Alıntı:

This book is concentrated on the synergy between computer science and numerical analysis. It is

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers

Yazar

Mey, Dieter an. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

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

Format:

Electronic Resources

Alıntı:

Verification -- Programming and proving with classical types -- Static Analysis of Multithreaded Recursive

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor.

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

Format:

Electronic Resources

Alıntı:

Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational

	{displayName}	{count}
{error}