1
2
3
by Henning, Christian.
Published 2017
Format:
Table of Contents: ...-Based Policy Evaluation -- Simple Incidence Analysis -- Micro-simulation Partial Equilibrium Models...
Click to View
4
by Sankaranarayanan, Sriram.
Published 2023
Format:
Table of Contents: ... Btor2 to C -- 4.1 Simulating Sequential Circuits with C Programs -- 4.2 Variable Naming -- 4...
Click to View
5
by Enea, Constantin.
Published 2023
Format:
Table of Contents: ....2 Concurrent Programs -- 2.3 Concurrent Programs as Labelled Transition Systems -- 3 A Unified Framework...
Click to View