Daniel Moldt | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XVI

Maciej Koutny (ed.); Fabrice Kordon (ed.); Daniel Moldt (ed.)
Springer (2022)
Pehmeäkantinen kirja

91,40 €

THE ANALYTIC HIERARCHY PROCESS IN NATURAL RESOURCE AND ENVIRONMENTAL DECISION MAKING

Daniel Schmoldt; Jyrki Kangas; Guillermo A. Mendoza; Mauno Pesonen
Springer (2001)
Kovakantinen kirja

134,60 €

BUILDING KNOWLEDGE-BASED SYSTEMS FOR NATURAL RESOURCE MANAGEMENT

Daniel L. Schmoldt; H. Michael Rauscher
Chapman and Hall (1996)
Kovakantinen kirja

134,60 €

THE ANALYTIC HIERARCHY PROCESS IN NATURAL RESOURCE AND ENVIRONMENTAL DECISION MAKING

Daniel Schmoldt (ed.); Jyrki Kangas (ed.); Guillermo A. Mendoza (ed.); Mauno Pesonen (ed.)
Springer (2010)
Pehmeäkantinen kirja

134,60 €

BUILDING KNOWLEDGE-BASED SYSTEMS FOR NATURAL RESOURCE MANAGEMENT

Daniel L. Schmoldt; H. Michael Rauscher
Springer (2011)
Pehmeäkantinen kirja

134,60 €

REGULATED AGENT-BASED SOCIAL SYSTEMS : FIRST INTERNATIONAL WORKSHOP, RASTA 2002, BOLOGNA, ITALY, JULY 16, 2002, REVISED SELECTED

Gabriela Lindemann (ed.); Daniel Moldt (ed.); Mario Paolucci (ed.)
Springer (2004)
Pehmeäkantinen kirja

51,40 €

APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY - 37TH INTERNATIONAL CONFERENCE, PETRI NETS 2016, TORUŃ, POLAND, JUNE 19-24

Fabrice Kordon; Daniel Moldt
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

REGULATED AGENT-BASED SOCIAL SYSTEMS

Gabriela Lindemann; Daniel Moldt; Mario Paolucci
Springer (2014)
Pehmeäkantinen kirja

108,80 €

Transactions on Petri Nets and Other Models of Concurrency XVI

Maciej Koutny (ed.), Fabrice Kordon (ed.), Daniel Moldt (ed.)

91,40 €

Springer
Sivumäärä: 141 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2022, 20.04.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Transactions on Petri Nets and Other Models of Concurrency

The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.

The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, distributed simulations, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus