Search Results for Business.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

Yazar

Carmona, Josep. editor. (orcid)0000-0001-9656-254X

https://doi.org/10.1007/978-3-319-65000-5

Format:

Electronic Resources

Alıntı:

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Yazar

Casimiro, António. editor. (orcid)0000-0002-5522-5739

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

Format:

Electronic Resources

Alıntı:

e-Commerce/e-business. http://scigraph.springernature.com/things/product-market-codes/I26000

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Yazar

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

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

Format:

Electronic Resources

Alıntı:

submissions. They deal with functional programming; constraint programming and business rules; prolog and

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

https://doi.org/10.1007/978-3-319-63139-4

Format:

Electronic Resources

Alıntı:

Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-55862-1

Format:

Electronic Resources

Alıntı:

: security, service composition, databases, communication protocols, business processes, and distributed

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ı:

Models for Human Security Behaviour -- Controlling Production Variances in Complex Business Processes

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}