Search Results for Complexity.

Instruction Selection Principles, Methods, and Applications

Yazar

Hjort Blindell, Gabriel. author.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Yazar

Greuel, Gert-Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Yazar

Kozubek, Tomáš. editor.

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

Format:

Electronic Resources

Alıntı:

Complexity, Computational.

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

Yazar

Gavoille, Cyril. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Yazar

Caballero, Juan. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

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ı:

complexity. Contents Verification of Systems Introduction to Formal Verification of SystemC Models Symbolic

Information Technology in Environmental Engineering Proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015)

Yazar

Marx Gómez, Jorge. editor.

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

Format:

Electronic Resources

Alıntı:

, economists and social scientists. And thirdly, it demonstrates how the complexity of natural phenomena can be

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

Yazar

Ross, Hans-Leo. author.

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

Format:

Electronic Resources

Alıntı:

. To address the growing complexity of vehicle functions, as well as the increasing need to accommodate

	{displayName}	{count}
{error}