Search Results for Computer programming.

Tools for High Performance Computing 2017 Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany

Yazar

Niethammer, Christoph. editor.

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

Format:

Electronic Resources

Alıntı:

Computer programming.

Understanding Control Flow Concurrent Programming Using μC++

Yazar

Buhr, Peter A. author.

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

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

Yazar

Malyshkin, Victor. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks.

Software Design for Resilient Computer Systems

Yazar

Schagaev, Igor. author.

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

Format:

Electronic Resources

Alıntı:

Software Design for Resilient Computer Systems Schagaev, Igor. author.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

https://doi.org/10.1007/978-3-319-64021-1

Format:

Electronic Resources

Alıntı:

Mathematical Applications in Computer Science. http://scigraph.springernature.com/things/product

	{displayName}	{count}
{error}