Search Results for Matrix theory.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

S-BPM ONE - Scientific Research 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedings

Yazar

Nanopoulos, Alexandros. editor.

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

Format:

Electronic Resources

Alıntı:

Business Process Development -- BPM Change Planning Using the Matrix of Change and Discrete Optimization

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Jacobs, Bart. editor.

http://dx.doi.org/10.1007/978-3-662-49630-5

Format:

Electronic Resources

Alıntı:

2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

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

Format:

Electronic Resources

Alıntı:

Basic Quaternionic Analysis -- A Formalized General Theory of Syntax with Bindings -- Proof Certificates

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Yazar

Dimov, Ivan. editor.

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

Format:

Electronic Resources

Alıntı:

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Yazar

Steffen, Bernhard. editor.

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

Format:

Electronic Resources

Alıntı:

Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Theory of Computation.

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}