Log in

Relevant bibliographies by topics / Simulation of proof

Contents

Books

Academic literature on the topic 'Simulation of proof'

Author: Grafiati

Published: 30 May 2022

Last updated: 31 May 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Simulation of proof.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Books on the topic "Simulation of proof"

1

Roever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

1966-, Engelhardt Kai, and Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge University Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mermet, Jean, ed. VHDL for Simulation, Synthesis and Formal Proofs of Hardware. Springer US, 1992. http://dx.doi.org/10.1007/978-1-4615-3562-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Mermet, Jean. VHDL for simulation, synthesis and formal proofs of hardware. Springer Science+Business Media, B.V., 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Veanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Jacques, Julliand, and SpringerLink (Online service), eds. Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Springer Berlin Heidelberg, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Yungk, George Lee. The development of an intelligent graphics interface for the RESA wargaming simulation terminals: A Proof of Concept. 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Roever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Dawid, Herbert, Simon Gemkow, Philipp Harting, Sander van der Hoog, and Michael Neugart. Agent-Based Macroeconomic Modeling and Policy Analysis. Edited by Shu-Heng Chen, Mak Kaboudan, and Ye-Rong Du. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199844371.013.19.

Full text

Abstract:

This chapter introduces the Eurace@Unibi model, one of the agent-based simulation models that are relatively new additions to the toolbox of macroeconomists, and the research that has been done within this framework. It shows how an agent-based model can be used to identify economic mechanisms and how it can be applied to spatial policy analysis. The assessment is that agent-based models in economics have passed the proof-of-concept phase and it is now time to move beyond that stage. It has been shown that new kinds of insights can be obtained that complement established modeling approaches. The chapter concludes by pointing toward some potentially fruitful areas of agent-based macroeconomic research.

APA, Harvard, Vancouver, ISO, and other styles

10

P, Mermet Jean, ed. VHDL for simulation, synthesis, and formal proofs of hardware. Kluwer Academic, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!