Search Results for Artificial intelligence.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Yazar

Rousseau, Louis-Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Yazar

Lujak, Marin. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Yazar

Nejati, Shiva. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Yazar

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

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

Format:

Electronic Resources

Alıntı:

Artificial intelligence.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Yazar

Ábrahám, Erika. editor.

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

Format:

Electronic Resources

Alıntı:

Artificial Intelligence (incl. Robotics).

	{displayName}	{count}
{error}