Search Results for Computer logic.

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Yazar

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

https://doi.org/10.1007/978-3-030-31280-0

Format:

Electronic Resources

Alıntı:

Computer logic.

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Yazar

Bures, Tomas. editor.

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

Format:

Electronic Resources

Alıntı:

Logic Design. https://scigraph.springernature.com/ontologies/product-market-codes/I12050

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Yazar

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683

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

Format:

Electronic Resources

Alıntı:

Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Yazar

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140

https://doi.org/10.1007/978-3-030-05764-0

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Yazar

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

https://doi.org/10.1007/978-3-319-99136-8

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks.

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

https://doi.org/10.1007/978-3-319-74781-1

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Yazar

Bartoletti, Massimo. editor. (orcid)0000-0003-3796-9774

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

	{displayName}	{count}
{error}