Search Results for State, The.

49.

Recent Developments in the Philosophy of Science: EPSA13 Helsinki

Yazar

Mäki, Uskali. editor.

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

Format:

Electronic Resources

Alıntı:

Recent Developments in the Philosophy of Science: EPSA13 Helsinki Mäki, Uskali. editor.

50.

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Yazar

Watt, Stephen M. editor.

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

Format:

Electronic Resources

Alıntı:

Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the

51.

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ı:

, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

52.

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ı:

, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

53.

Johan van Benthem on Logic and Information Dynamics

Yazar

Baltag, Alexandru. editor.

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

Format:

Electronic Resources

Alıntı:

with a wealth of strands of its own. The reader will see the state of the art in such topics as

54.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

-- Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform

55.

Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II

Yazar

Rojas, Ignacio. editor.

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

Format:

Electronic Resources

Alıntı:

The two-volume set LNBI 11465 and LNBI 11466 constitutes the proceedings of the 7th International

	{displayName}	{count}
{error}