Search Results for Beer.

1.

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

by

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

https://doi.org/10.1007/978-3-642-35887-6

Format:

Alıntı:

de Boer, Frank S. editor.

2.

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

by

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

https://doi.org/10.1007/978-3-642-38230-7

Format:

Alıntı:

6-7, 2012, Revised Selected Papers / ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

3.

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

by

Aichernig, Bernhard K. editor.

https://doi.org/10.1007/978-3-642-25271-6

Format:

Alıntı:

de Boer, Frank S. editor.

4.

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

by

de Boer, Frank S. editor.

https://doi.org/10.1007/978-3-642-17071-3

Format:

Alıntı:

Netherlands, November 4-6, 2009. Revised Selected Papers / de Boer, Frank S. editor.

5.

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings

by

Brennan, Rob. editor.

https://doi.org/10.1007/978-3-642-16836-9

Format:

Alıntı:

van der Meer, Sven. editor.

6.

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

by

de Boer, Frank S. editor.

https://doi.org/10.1007/978-3-540-74792-5

Format:

Alıntı:

, Netherlands, November 7-10,2006, Revised Lectures / de Boer, Frank S. editor.

7.

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

by

de Boer, Frank S. editor.

https://doi.org/10.1007/11804192

Format:

Alıntı:

Netherlands, November 1-4, 2005, Revised Lectures / de Boer, Frank S. editor.

8.

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

by

van Beek, Peter. editor.

https://doi.org/10.1007/11564751

Format:

Alıntı:

, Sitges Spain, October 1-5, 2005 / van Beek, Peter. editor.

9.

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

by

de Boer, Frank S. editor.

https://doi.org/10.1007/11561163

Format:

Alıntı:

Netherlands, November 2-5, 2004, Revised Lectures / de Boer, Frank S. editor.

	{displayName}	{count}
{error}