1
2
3
by Johnsen, Einar Broch.
Published 2022
Format:
Table of Contents: ...Intro -- ETAPS Foreword -- Preface -- Organization -- Contents -- FASE Contributions -- Information...
Click to View
4
by Kiefer, Stefan.
Published 2021
Format:
Table of Contents: ...Intro -- ETAPS Foreword -- Preface -- Organization -- Contents -- Constructing a universe...
Click to View
5
by Fisman, Dana.
Published 2022
Format:
Table of Contents: ...Intro -- ETAPS Foreword -- Preface -- Organization -- Contents - Part II -- Contents - Part I...
Click to View
6
by Susanto, Perengki.
Published 2023
Format:
Table of Contents: ...Intro -- Preface -- Organization -- Contents -- Peer-Review Statements -- 1 Review Procedure -- 2...
Click to View
7
by Wijaya, Andy Fefta.
Published 2023
Format:
Table of Contents: ...Intro -- Preface -- Organization -- Contents -- Peer-Review Statements -- 1 Review Procedure -- 2...
Click to View
8
by Gaikar, Vilas.
Published 2023
Format:
Table of Contents: ...Intro -- Preface -- Organization -- Contents -- Peer-Review Statements -- 1 Review Procedure -- 2...
Click to View
9
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ...Intro -- Preface -- Organization -- Contents - Part II -- Decision Procedures -- Bitwuzla -- 1...
Click to View
10
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ...Intro -- Preface -- Organization -- Contents - Part III -- Probabilistic Systems -- A Flexible...
Click to View
11
by Bennett, Randy E.
Published 2017
Format:
Table of Contents: ... It Mean to Be a Nonprofit Educational Measurement Organization in the Twenty-First Century? -- 1.1 What...
Click to View
12
Published 2012
Format:
Table of Contents: ... More Accurate than the Time-Series Regression Forecasts? 10. Carry Trades and Risk 11. Currency Fair...
Click to View
13
by Jamrozik, Euzebiusz.
Published 2020
Format:
Table of Contents: ... and IPC -- 6.5.5 The Organization's Role in IPC/AMS Programs -- 6.6 Conclusions -- References -- Chapter 7...
Click to View