Search Results for Computer science.

145.

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

Yazar

Geshi, Masaaki. editor.

https://doi.org/10.1007/978-981-13-6194-4

Format:

Electronic Resources

Alıntı:

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and

146.

How to design programs : an introduction to programming and computing

Yazar

Felleisen, Matthias.

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

Format:

Electronic Resources

Alıntı:

Computer programming.

147.

An Introduction to Python and Computer Programming

Yazar

Zhang, Yue. author.

http://dx.doi.org/10.1007/978-981-287-609-6

Format:

Electronic Resources

Alıntı:

An Introduction to Python and Computer Programming Zhang, Yue. author.

148.

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

Yazar

Chlipala, Adam, 1981-

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

Format:

Electronic Resources

Alıntı:

Automatic theorem proving -- Computer programs.

149.

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

Computational Science and Engineering. https://scigraph.springernature.com/ontologies/product

150.

Modeling and Optimization in Space Engineering State of the Art and New Challenges

Yazar

Fasano, Giorgio. editor.

https://doi.org/10.1007/978-3-030-10501-3

Format:

Electronic Resources

Alıntı:

Operations Research, Management Science. https://scigraph.springernature.com/ontologies/product

151.

The computer boys take over : computers, programmers, and the politics of technical expertise

Yazar

Ensmenger, Nathan, 1972-

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

Format:

Electronic Resources

Alıntı:

The computer boys take over : computers, programmers, and the politics of technical expertise /

152.

Algorithm animation

Yazar

Brown, Marc H., author.

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

Format:

Electronic Resources

Alıntı:

Computer programming.

153.

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

Yazar

Fitzgerald, Brian. editor.

https://doi.org/10.1007/978-981-13-7099-1

Format:

Electronic Resources

Alıntı:

Computer programming.

	{displayName}	{count}
{error}