Search Results for Mathematical Software.

382 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 32

000000000000DEFAULTTR

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Yazar

Greuel, Gert-Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings

Yazar

Hong, Hoon. editor.

http://dx.doi.org/10.1007/978-3-662-44199-2

Format:

Electronic Resources

Alıntı:

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014

Concise Guide to Software Engineering From Fundamentals to Application Methods

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Software. http://scigraph.springernature.com/things/product-market-codes/M14042

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Modeling Companion for Software Practitioners

Yazar

Börger, Egon. author.

https://doi.org/10.1007/978-3-662-56641-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor.

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

Format:

Electronic Resources

Alıntı:

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor.

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

Format:

Electronic Resources

Alıntı:

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Yazar

O'Regan, Gerard. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

10.

Big Data Technologies and Applications

Yazar

Furht, Borko. author.

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

Format:

Electronic Resources

Alıntı:

Mathematical Applications in Computer Science.

11.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

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

Format:

Electronic Resources

Alıntı:

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22

12.

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Yazar

Proença, José. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market

Tümünü Seç

1 2 3 4 5 .. 32

382 sonuç bulundu

	{displayName}	{count}
{error}