Search Results for Dynamical systems.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Optimization in the Natural Sciences 30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014. Revised Selected Papers

Yazar

Plakhov, Alexander. editor.

http://dx.doi.org/10.1007/978-3-319-20352-2

Format:

Electronic Resources

Alıntı:

Information Systems and Communication Service.

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Yazar

Potapov, Igor. editor.

https://doi.org/10.1007/978-3-030-00250-3

Format:

Electronic Resources

Alıntı:

infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Bonsangue, Marcello M. editor.

http://dx.doi.org/10.1007/978-3-662-44124-4

Format:

Electronic Resources

Alıntı:

-- Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra -- Algebraic

Dynamic Quality Management for Cloud Labor Services Methods and Applications for Gaining Reliable Work Results with an On-Demand Workforce

Yazar

Kern, Robert. author.

http://dx.doi.org/10.1007/978-3-319-09776-3

Format:

Electronic Resources

Alıntı:

Dynamic Quality Management for Cloud Labor Services Methods and Applications for Gaining Reliable

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Norman, Gethin. editor.

http://dx.doi.org/10.1007/978-3-319-10696-0

Format:

Electronic Resources

Alıntı:

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

Yazar

Louis, Pierre-Yves. editor.

https://doi.org/10.1007/978-3-319-65558-1

Format:

Electronic Resources

Alıntı:

Probabilistic Cellular Automata.- Part II Computer science and discrete dynamical systems -- 10 An example of

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}