Search Results for Logic design.

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Yazar

Blieberger, Johann. editor.

https://doi.org/10.1007/978-3-319-60588-3

Format:

Electronic Resources

Alıntı:

Logic design.

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Yazar

Petrucci, Laure. editor.

https://doi.org/10.1007/978-3-319-67113-0

Format:

Electronic Resources

Alıntı:

Logic design.

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Yazar

de Supinski, Bronis R. editor.

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

Format:

Electronic Resources

Alıntı:

Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948

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

Format:

Electronic Resources

Alıntı:

Logic design.

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor.

https://doi.org/10.1007/978-3-030-03592-1

Format:

Electronic Resources

Alıntı:

Logic design.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161

https://doi.org/10.1007/978-3-319-67549-7

Format:

Electronic Resources

Alıntı:

Logic design.

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

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

Format:

Electronic Resources

Alıntı:

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

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Yazar

An, Bo. editor. (orcid)0000-0002-7064-7438

https://doi.org/10.1007/978-3-319-69131-2

Format:

Electronic Resources

Alıntı:

Logic design.

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Yazar

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

https://doi.org/10.1007/978-3-319-90686-7

Format:

Electronic Resources

Alıntı:

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11

	{displayName}	{count}
{error}