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
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software
111.
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
Yazar
Niethammer, Christoph. editor.
Format:
Electronic Resources
Alıntı:
Computational Science and Engineering. https://scigraph.springernature.com/ontologies/product
Yazar
Geshi, Masaaki. editor.
Format:
Electronic Resources
Alıntı:
anyone using those software codes. Chapter 1 outlines supercomputers and includes a brief explanation of
Yazar
Sage, Kingsley. author.
Format:
Electronic Resources
Alıntı:
self-improvement. The text does not require any prior knowledge of coding, software engineering, OO, or mathematics
Yazar
Srinivasa, K.G. author.
Format:
Electronic Resources
Alıntı:
software frameworks. Topics and features: Describes the fundamentals of building scalable software systems
Yazar
Surianarayanan, Chellammal. author.
Format:
Electronic Resources
Alıntı:
Application software.
Arama Sonuçlarını Sınırlandır
Daraltılmış: