Search Results for Analysis.

314 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 27

000000000000DEFAULTTR

Practical Analysis of Algorithms

Yazar

Vrajitoru, Dana. author.

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

Format:

Electronic Resources

Alıntı:

Practical Analysis of Algorithms Vrajitoru, Dana. author.

String Analysis for Software Verification and Security

Yazar

Bultan, Tevfik. author.

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

Format:

Electronic Resources

Alıntı:

String Analysis for Software Verification and Security Bultan, Tevfik. author.

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Yazar

Rival, Xavier. editor.

http://dx.doi.org/10.1007/978-3-662-53413-7

Format:

Electronic Resources

Alıntı:

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Yazar

Podelski, Andreas. editor.

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

Format:

Electronic Resources

Alıntı:

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Yazar

Müller-Olm, Markus. editor.

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

Format:

Electronic Resources

Alıntı:

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Yazar

Chang, Bor-Yuh Evan. editor.

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

Format:

Electronic Resources

Alıntı:

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Yazar

Blazy, Sandrine. editor.

http://dx.doi.org/10.1007/978-3-662-48288-9

Format:

Electronic Resources

Alıntı:

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Yazar

Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068

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

Format:

Electronic Resources

Alıntı:

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Yazar

Finkbeiner, Bernd. editor.

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

Format:

Electronic Resources

Alıntı:

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015

10.

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor.

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

Format:

Electronic Resources

Alıntı:

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei

11.

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Yazar

Abate, Alessandro. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

12.

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Yazar

Legay, Axel. editor.

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

Format:

Electronic Resources

Alıntı:

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence

Tümünü Seç

1 2 3 4 5 .. 27

314 sonuç bulundu

	{displayName}	{count}
{error}