Search Results for Engineering mathematics.

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

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

Format:

Electronic Resources

Alıntı:

Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Yazar

Chaudhuri, Swarat. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Yazar

Chaudhuri, Swarat. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Yazar

Kroening, Daniel. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Yazar

Kroening, Daniel. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Yazar

Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127

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

Format:

Electronic Resources

Alıntı:

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

Yazar

Biere, Armin. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems.

	{displayName}	{count}
{error}