Search Results for System theory.

120 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 10

000000000000DEFAULTTR

Advances in Artificial Economics

Yazar

Amblard, Frédéric. editor.

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

Format:

Electronic Resources

Alıntı:

System theory.

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

https://doi.org/10.1007/978-3-030-00244-2

Format:

Electronic Resources

Alıntı:

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

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

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

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

Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Yazar

Hooker, John. editor. (orcid)0000-0003-3169-1871

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

Format:

Electronic Resources

Alıntı:

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

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Yazar

Kunkel, Julian Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks.

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Yazar

Kunkel, Julian M. editor.

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks.

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

Yazar

Shi, Yong. editor.

https://doi.org/10.1007/978-3-319-93698-7

Format:

Electronic Resources

Alıntı:

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

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

Yazar

Raynal, Michel. author.

https://doi.org/10.1007/978-3-319-94141-7

Format:

Electronic Resources

Alıntı:

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach / Raynal, Michel. author.

10.

Verifiable Privacy Protection for Vehicular Communication Systems

Yazar

Förster, David. author.

https://doi.org/10.1007/978-3-658-18550-3

Format:

Electronic Resources

Alıntı:

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

11.

Blockchain Technology in Internet of Things

Yazar

Zhu, Liehuang. author.

https://doi.org/10.1007/978-3-030-21766-2

Format:

Electronic Resources

Alıntı:

Data Structures and Information Theory. https://scigraph.springernature.com/ontologies/product

12.

SCION: A Secure Internet Architecture

Yazar

Perrig, Adrian. author.

https://doi.org/10.1007/978-3-319-67080-5

Format:

Electronic Resources

Alıntı:

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

Tümünü Seç

1 2 3 4 5 .. 10

120 sonuç bulundu

	{displayName}	{count}
{error}