Search Results for Analysis.

343 sonuç bulundu

Tümünü Seç

1 2 3 4 5 .. 29

000000000000DEFAULTTR

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.

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining

Yazar

Wachsmuth, Henning. author.

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

Format:

Electronic Resources

Alıntı:

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining / Wachsmuth, Henning. 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 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

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings

Yazar

Baixeries, Jaume. editor.

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

Format:

Electronic Resources

Alıntı:

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015

Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings

Yazar

Cristea, Diana. editor. (orcid)0000-0003-1440-3786

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

Format:

Electronic Resources

Alıntı:

Formal Concept Analysis 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014. Proceedings

Yazar

Glodeanu, Cynthia Vera. editor.

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

Format:

Electronic Resources

Alıntı:

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13

10.

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

11.

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

12.

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

Tümünü Seç

1 2 3 4 5 .. 29

343 sonuç bulundu

	{displayName}	{count}
{error}