Search Results for Logic design.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Yazar

Daniel, Florian. editor.

http://dx.doi.org/10.1007/978-3-642-40176-3

Format:

Electronic Resources

Alıntı:

Logic design.

Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers

Yazar

Bauer, Thomas. editor.

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

Format:

Electronic Resources

Alıntı:

user-centric approach -- Security Risk Analysis by Logic Programming Risk Modeling -- Utilizing Security Risk

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

Yazar

Hliněný, Petr. editor.

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

Format:

Electronic Resources

Alıntı:

invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance

Thinking-Driven Testing The Most Reasonable Approach to Quality Control

Yazar

Roman, Adam. author.

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

Format:

Electronic Resources

Alıntı:

strategies, which is based on recent advances in psychology, economics, system sciences and logic. Chapter 1

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings

Yazar

Zdravkovic, Jelena. editor.

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

Format:

Electronic Resources

Alıntı:

Process Models -- Equivalence Transformations for the Design of Interorganizational Data-Flow -- Automatic

Enterprise, Business-Process and Information Systems Modeling 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings

Yazar

Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905

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

Format:

Electronic Resources

Alıntı:

Understandability of Declarative Process Models -- Logic based Look-ahead for the Execution of Multi-Perspective

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}