Search Results for Software engineering.

109.

Generating language-based environments

Yazar

Reps, Thomas W., (Thomas William) author.

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

Format:

Electronic Resources

Alıntı:

This book addresses a fundamental software engineering issue, applying formal techniques and

110.

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Yazar

Bjørner, Nikolaj. editor.

https://doi.org/10.1007/978-3-030-37487-7

Format:

Electronic Resources

Alıntı:

Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software

111.

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

adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing

112.

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

113.

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

Yazar

Geshi, Masaaki. editor.

https://doi.org/10.1007/978-981-13-9802-5

Format:

Electronic Resources

Alıntı:

anyone using those software codes. Chapter 1 outlines supercomputers and includes a brief explanation of

114.

Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

Yazar

Sage, Kingsley. author.

https://doi.org/10.1007/978-3-030-13304-7

Format:

Electronic Resources

Alıntı:

self-improvement. The text does not require any prior knowledge of coding, software engineering, OO, or mathematics

115.

Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark

Yazar

Srinivasa, K.G. author.

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

Format:

Electronic Resources

Alıntı:

software frameworks. Topics and features: Describes the fundamentals of building scalable software systems

116.

Essentials of Cloud Computing A Holistic Perspective

Yazar

Surianarayanan, Chellammal. author.

https://doi.org/10.1007/978-3-030-13134-0

Format:

Electronic Resources

Alıntı:

Application software.

	{displayName}	{count}
{error}