Search Results for Engineering.

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

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

Yazar

Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

Yazar

Demri, Stéphane. editor.

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

Format:

Electronic Resources

Alıntı:

Software engineering.

Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I

Yazar

Lu, Huchuan. editor.

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

Format:

Electronic Resources

Alıntı:

-- Image Recognition, Scene Understanding, and Video Analysis -- Bio-signal, Biomedical Engineering, and

Advances in Neural Networks – ISNN 2019 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II

Yazar

Lu, Huchuan. editor.

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

Format:

Electronic Resources

Alıntı:

-- Image Recognition, Scene Understanding, and Video Analysis -- Bio-signal, Biomedical Engineering, and

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

Yazar

Goldberg, Andrew V. editor.

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

Format:

Electronic Resources

Alıntı:

experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data

Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Yazar

Bampis, Evripidis. editor.

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

Format:

Electronic Resources

Alıntı:

experimentation and of algorithm engineering techniques in the design and evaluation of algorithms and data

Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I

Yazar

Gaspar-Cunha, António. editor.

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

Format:

Electronic Resources

Alıntı:

Evolutionary Multiobjective Optimization Applications in Aerospace Engineering -- Performance evaluation of

	{displayName}	{count}
{error}