Search Results for Algorithms.

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 II

Yazar

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

https://doi.org/10.1007/978-3-030-17465-1

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Yazar

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

https://doi.org/10.1007/978-3-030-32441-4

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings

Yazar

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

https://doi.org/10.1007/978-3-030-13435-8

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Yazar

Khan, Md. Aquil. editor.

https://doi.org/10.1007/978-3-662-58771-3

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Yazar

Hofman, Piotrek. editor.

https://doi.org/10.1007/978-3-030-24886-4

Format:

Electronic Resources

Alıntı:

languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

https://doi.org/10.1007/978-3-030-31517-7

Format:

Electronic Resources

Alıntı:

systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

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

Format:

Electronic Resources

Alıntı:

restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Yazar

Dillig, Isil. editor.

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

Format:

Electronic Resources

Alıntı:

-- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual

	{displayName}	{count}
{error}