Search Results for Engineering mathematics.

13.

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

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

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

14.

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Yazar

van Eekelen, Marko. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical statistics.

15.

Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings

Yazar

Sericola, Bruno. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical statistics.

16.

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

https://doi.org/10.1007/978-3-030-31157-5

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

17.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

https://doi.org/10.1007/978-3-030-31514-6

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

18.

Introduction to Queueing Systems with Telecommunication Applications

Yazar

Lakatos, László. author.

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

Format:

Electronic Resources

Alıntı:

Communications Engineering, Networks. https://scigraph.springernature.com/ontologies/product-market

19.

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Yazar

Li, Zheng. editor. (orcid)0000-0002-3938-7033

https://doi.org/10.1007/978-981-15-0310-8

Format:

Electronic Resources

Alıntı:

Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029

20.

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

21.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product

	{displayName}	{count}
{error}