Search Results for Dynamical systems.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Computational Matter

Yazar

Stepney, Susan. editor.

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

Format:

Electronic Resources

Alıntı:

-- Dynamical Stability and Intelligence -- Unconventional Computation and Life -- Unconventional Computing in

Guided Self-Organization: Inception

Yazar

Prokopenko, Mikhail. editor.

http://dx.doi.org/10.1007/978-3-642-53734-9

Format:

Electronic Resources

Alıntı:

Nonlinear Dynamics.

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Yazar

Ibarra, Oscar H. editor.

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

Format:

Electronic Resources

Alıntı:

One-Dimensional Chaotic Dynamical Systems Using Algebraic Numbers -- Artificial Astrocyte Networks, as Components

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Yazar

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622

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

Format:

Electronic Resources

Alıntı:

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

Handbook of Memristor Networks

Yazar

Chua, Leon. editor.

https://doi.org/10.1007/978-3-319-76375-0

Format:

Electronic Resources

Alıntı:

Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

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

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Yazar

Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712

https://doi.org/10.1007/978-3-030-32409-4

Format:

Electronic Resources

Alıntı:

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

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

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

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 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

11.

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

12.

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

	{displayName}	{count}
{error}