Search Results for Complexity.

1.

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Yazar

Devitt, Simon. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

2.

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Yazar

Dal Lago, Ugo. editor.

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

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

3.

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Baier, Christel. editor.

http://dx.doi.org/10.1007/978-3-662-46681-0

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

4.

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Yazar

Ábrahám, Erika. editor.

http://dx.doi.org/10.1007/978-3-642-54862-8

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

5.

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Yazar

Ouaknine, Joël. editor.

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

Format:

Electronic Resources

Alıntı:

Complexity Bounds for Ordinal-Based Termination -- On The Complexity of Bounded Time Reachability

6.

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Yazar

Voronkov, Andrei. editor.

http://dx.doi.org/10.1007/978-3-662-46823-4

Format:

Electronic Resources

Alıntı:

Measure of Continuous Constraint Complexity -- Decidability and Expressiveness of Recursive Weighted Logic

7.

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Yazar

Muscholl, Anca. editor.

http://dx.doi.org/10.1007/978-3-642-54830-7

Format:

Electronic Resources

Alıntı:

-- Latticed-LTL Synthesis in the Presence of Noisy Inputs -- The Complexity of Partial-Observation Stochastic

8.

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Pitts, Andrew. editor.

http://dx.doi.org/10.1007/978-3-662-46678-0

Format:

Electronic Resources

Alıntı:

, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and

9.

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor.

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

Format:

Electronic Resources

Alıntı:

Real-Time Component-based Systems -- TcT: Tyrolean Complexity Tool -- Integrated Environment for Diagnosing

	{displayName}	{count}
{error}