Search Results for Finance.

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Yazar

Krivine, Jean. editor.

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

Format:

Electronic Resources

Alıntı:

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Yazar

Blanchette, Jasmin Christian. editor.

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

Format:

Electronic Resources

Alıntı:

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers

Yazar

Dhaenens, Clarisse. editor.

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

Format:

Electronic Resources

Alıntı:

Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

Yazar

Beierle, Christoph. editor.

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

Format:

Electronic Resources

Alıntı:

, France, March 3-7, 2014. Proceedings / Beierle, Christoph. editor.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Yazar

Collart-Dutilleul, Simon. editor.

https://doi.org/10.1007/978-3-030-18744-6

Format:

Electronic Resources

Alıntı:

Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / Collart

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Yazar

Holvoet, Tom. editor.

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

Format:

Electronic Resources

Alıntı:

, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Holvoet, Tom. editor.

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

2014, Grenoble, France, April 5-13, 2014. Proceedings / Ábrahám, Erika. editor.

	{displayName}	{count}
{error}