1
by Sato, Mitsuhisa.
Published 2020
Format:
Table of Contents: ...Intro -- Preface -- Contents -- XcalableMP Programming Model and Language -- 1 Introduction -- 1...
Click to View
2
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... -- Nominal Techniques for Software Specification and Verification -- How Can We Trust AI? -- Contents...
Click to View