Search alternatives:
application decidable » application decision, application delegate
computer program » computer programs
level computer » develop computer, travel computer, excel computer
application decidable » application decision, application delegate
computer program » computer programs
level computer » develop computer, travel computer, excel computer
1
by Kiefer, Stefan.
Published 2021
Format:
Published 2021
Table of Contents: “... Functions and Approximations -- 6 Applications -- 6.1 Termination Probability -- 6.2 Behavioural Metrics...”
Click to View
2
by Platzer, AndreĢ.
Published 2021
Format:
Published 2021
Table of Contents: “... in Transitive (Co)closure Logic -- 4.2 Applications in Automated Proof Search -- 4.2.1 Program Equivalence...”
Click to View
3
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... -- 5 Data Availability Statement -- References -- WASIM: A Word-level Abstract Symbolic Simulation...”
Click to View
4
by Fisman, Dana.
Published 2022
Format:
Published 2022
Table of Contents: “... to Extreme Fairness -- 5 Extremely Fair Adversarial Rabin Games -- 5.1 Preliminaries on Symbolic Computations...”
Click to View
5
by Revill, Paul.
Published 2020
Format:
Published 2020
Table of Contents: “....1.6. Mathematical programming -- 3. Discussion -- References....”
Click to View