On the Refinement and Simulation of Data Types and Processes

On the Refinement and Simulation of Data Types and Processes

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Bolton, C, Davies, J, Woodcock, J
বিন্যাস:	Conference item
প্রকাশিত:	1999

অনুরূপ উপাদানগুলি

Abstract data types and Processes
অনুযায়ী: Woodcock, J, অন্যান্য
প্রকাশিত: (2000)

A comparison of refinement orderings and their associated simulation rules
অনুযায়ী: Bolton, C, অন্যান্য
প্রকাশিত: (2002)

Using Z: Specification‚ Refinement‚ and Proof
অনুযায়ী: Woodcock, J, অন্যান্য
প্রকাশিত: (1996)

Refinement in Object−Z and CSP
অনুযায়ী: Bolton, C, অন্যান্য
প্রকাশিত: (2002)

Data Refinement Refined
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1985)

Data Refinement Refined: Resume
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (1986)

Equating Simulation with Refinement
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (2003)

Domain−Specific Semantics and Data Refinement of Object Models
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2006)

Domain−specific Semantics and Data Refinement of Object Models
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2008)

Prespecification in Data Refinement
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1987)

Data Refinement Refined
প্রকাশিত: (1985)

Use of simulation models in the on-line control and optimization of the refining process /
অনুযায়ী: 381752 Strand, William C., অন্যান্য

Process modelling and simulation of crude palm oil refining
অনুযায়ী: Abdul Aziz, Mustafa Kamal, অন্যান্য
প্রকাশিত: (1989)

Natural Transformations and Data Refinement
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (2015)

Deep refinement of tellurium: equipment and process improvement through process simulation
অনুযায়ী: Vladimir N. Abryutin, অন্যান্য
প্রকাশিত: (2022-10-01)

Concurrency and Refinement in the Unified Modeling Language
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2003)

Concurrency and Refinement in the Unified Modeling Language
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2002)

Activity Graphs and Processes
অনুযায়ী: Bolton, C, অন্যান্য
প্রকাশিত: (2000)

Modeling and simulation of used lubricant oil re-refining process /
অনুযায়ী: 325085 Foo, Chwan Yee, অন্যান্য

Simulation of the Refining Process of Ultra-Low Carbon (ULC) Steel
অনুযায়ী: Dali You, অন্যান্য
প্রকাশিত: (2021-07-01)

Thermodynamic Modeling and Process Simulation of Kumkol Crude Oil Refining
অনুযায়ী: M.A. Jamali, অন্যান্য
প্রকাশিত: (2023-11-01)

Refining Inductive Types
অনুযায়ী: Robert Atkey, অন্যান্য
প্রকাশিত: (2012-06-01)

Refinement Types in Jolie
অনুযায়ী: Alexander Tchitchigin, অন্যান্য
প্রকাশিত: (2018-10-01)

A Singleton Failures Semantics for Communicating Sequential Processes
অনুযায়ী: Bolton, C, অন্যান্য
প্রকাশিত: (2006)

Numerical Simulation of Combustion Process of Fuel Gas Mixtures at Refining Industry
অনুযায়ী: V. Kafarov, অন্যান্য
প্রকাশিত: (2015-05-01)

The Mechanical Verification of Solid State Interlocking Geographic Data
অনুযায়ী: Simpson, A, অন্যান্য
প্রকাশিত: (1997)

The Mechanical Verification of Solid State Interlocking Geographic Data
অনুযায়ী: Simpson, A, অন্যান্য
প্রকাশিত: (1997)

Simulation of EAF refining stage
অনুযায়ী: M.M. Elkoumy, অন্যান্য
প্রকাশিত: (2018-12-01)

Statistical process control for data without inherent order
অনুযায়ী: Poots Alan J, অন্যান্য
প্রকাশিত: (2012-08-01)

Refining processes handbook /
অনুযায়ী: 188392 Parkash, Surinder
প্রকাশিত: (2003)

Petroleum refining processes /
অনুযায়ী: Rathi, Rakesh
প্রকাশিত: (2007)

Petroleum refining processes /
অনুযায়ী: Speight, James G., 1940-, 271609, অন্যান্য
প্রকাশিত: (2002)

Data-driven modelling and optimization of palm oil refining process /
অনুযায়ী: Nurul Sulaiha Sulaiman, 1989-, author 603704, অন্যান্য
প্রকাশিত: (2021)

Data-driven modelling and optimization of palm oil refining process /
অনুযায়ী: Nurul Sulaiha Sulaiman, 1989-, author 603704
প্রকাশিত: (2021)

Data-driven modelling and optimization of palm oil refining process
অনুযায়ী: Sulaiman, Nurul Sulaiha
প্রকাশিত: (2023)

Processing Government Data: ZIP Codes, Python, and OpenRefine
অনুযায়ী: Frank Donnelly
প্রকাশিত: (2014-07-01)

Compositionality and refinement in model-driven engineering
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2012)

Compositionality and Refinement in Model−Driven Engineering
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2012)

Big Data Refinement
অনুযায়ী: Eerke A. Boiten
প্রকাশিত: (2016-06-01)

Refining processes in the copper casting technology
অনুযায়ী: S. Rzadkosz, অন্যান্য
প্রকাশিত: (2015-01-01)