Search Results for Butler, Michael.

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Yazar

Butler, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / Butler, Michael. editor.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Yazar

Butler, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

, Southampton, UK, June 5–8, 2018, Proceedings / Butler, Michael. editor.

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Yazar

Butler, Michael. editor.

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

Format:

Electronic Resources

Alıntı:

, Austria, May 23-27, 2016, Proceedings / Butler, Michael. editor.

Innovation and Entrepreneurship Powerful Tools for a Modern Knowledge-Based Economy

Yazar

Al-Mubaraki, Hanadi Mubarak. author.

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

Format:

Electronic Resources

Alıntı:

Busler, Michael. author.

Programming models for parallel computing

Yazar

Balaji, Pavan, 1980- editor.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7347044

Format:

Electronic Resources

Alıntı:

, Michael G. Burke, Ralph Butler, Bradford L. Chamberlain, Sunita Chandrasekaran, Barbara Chapman, Jeff

Scientific collaboration on the Internet

Yazar

Olson, Gary M.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267421

Format:

Electronic Resources

Alıntı:

, Michael Nentwich, Gary M. Olson, Judith S. Olson, James Onken, Andrew Parker, John N. Parker, Mary Puetz

International Handbook of Learning, Teaching and Leading in Faith-Based Schools

Yazar

Chapman, Judith D. editor.

http://dx.doi.org/10.1007/978-94-017-8972-1

Format:

Electronic Resources

Alıntı:

Reiss, Michael J. editor.

	{displayName}	{count}
{error}