Search Results for Dynamical systems.

11 sonuç bulundu

Tümünü Seç

00000000000DEFAULTTR

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

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Yazar

Stepney, Susan. editor. (orcid)0000-0003-3146-5401

https://doi.org/10.1007/978-3-319-92435-9

Format:

Electronic Resources

Alıntı:

hypercomputation; chaos and dynamical systems based computing; granular, fuzzy and rough computing; mechanical

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

Yazar

Jansen, David N. editor. (orcid)0000-0002-6636-3301

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

Format:

Electronic Resources

Alıntı:

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor.

https://doi.org/10.1007/978-3-319-67089-8

Format:

Electronic Resources

Alıntı:

Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Yazar

Patitz, Matthew J. editor.

https://doi.org/10.1007/978-3-319-58187-3

Format:

Electronic Resources

Alıntı:

Management of Computing and Information Systems. http://scigraph.springernature.com/things/product

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

Yazar

Gerdt, Vladimir P. editor.

https://doi.org/10.1007/978-3-319-99639-4

Format:

Electronic Resources

Alıntı:

Computer System Implementation. http://scigraph.springernature.com/things/product-market-codes/I

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22741-8

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. https://scigraph.springernature.com

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22734-0

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. https://scigraph.springernature.com

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22747-0

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. https://scigraph.springernature.com

10.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22744-9

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. https://scigraph.springernature.com

11.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22750-0

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. https://scigraph.springernature.com

	{displayName}	{count}
{error}