Search Results for Models, Theoretical.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings

Yazar

Rousseau, Louis-Martin. editor.

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

Format:

Electronic Resources

Alıntı:

Models and Principles. https://scigraph.springernature.com/ontologies/product-market-codes/I18016

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor.

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

Format:

Electronic Resources

Alıntı:

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on

Formal Languages and Compilation

Yazar

Crespi Reghizzi, Stefano. author.

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

Format:

Electronic Resources

Alıntı:

models of input-driven automata and languages (NEW) Includes extensive use of theoretical models of

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

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

Format:

Electronic Resources

Alıntı:

tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Yazar

Ciobanu, Gabriel. editor.

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

Format:

Electronic Resources

Alıntı:

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Yazar

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

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

Format:

Electronic Resources

Alıntı:

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

Yazar

Dingel, Juergen. editor.

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

Format:

Electronic Resources

Alıntı:

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia

	{displayName}	{count}
{error}