Jump to main content

yr 〜
yr

Search results 9

Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)

Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)
Paper図書
Springer[2014]<M17-15-1285>
National Diet Library
  • Author Heading...noble, France) Bonsangue, Marcello M. Leiden University. Faculty of...

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)

Formal methods for components and objects : 11th international symposium, FMCO 2012 : Bertinoro, Italy, September 24-28, 2012 : revised lectures : Sep 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7866. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-14-730>
National Diet Library
  • Author Heading..., Frank S. de. Bonsangue, Marcello M. Università di Bologna.

Formal methods for components and objects : 9th international symposium, FMCO 2010 : Graz, Austria, November 29-December 1, 2010 : revised papers : Nov 2010, Graz, Austria. (Lecture Notes in Computer Science ; 6957. State-of-the-Art Survey)

Formal methods for components and objects : 9th international symposium, FMCO 2010 : Graz, Austria, November 29-December 1, 2010 : revised papers : Nov 2010, Graz, Austria. (Lecture Notes in Computer Science ; 6957. State-of-the-Art Survey)
Paper図書
Springerc2011.<M17-12-2880>
National Diet Library
  • Author Heading..., Frank S. de. Bonsangue, Marcello M. Graz University of Technology...

Formal methods for components and objects : 7th international symposium, FMCO 2008 : Sophia Antipolis, France, October 21-23, 2008 : revised lectures. : 5th Grids@Work event : Oct 2008, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 5751. State-of-the-Art Survey)

Formal methods for components and objects : 7th international symposium, FMCO 2008 : Sophia Antipolis, France, October 21-23, 2008 : revised lectures. : 5th Grids@Work event : Oct 2008, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 5751. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-10-1643>
National Diet Library
  • Author Heading..., Frank S. de. Bonsangue, Marcello M. Madelaine, Eric. FMCO 2008 (2...

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference FMOODS 2007 : Paphos, Cyprus, June 6-8, 2007 : proceedings. : federated conferences on distributed computing techniques (DisCoTec) : Jun 2007, Paphos, Cyprus. (Lecture Notes in Computer Science ; 4468)
Paper図書
Springerc2007.<M17-07-2714>
National Diet Library
  • Author Heading...puter Science. Bonsangue, Marcello M. Johnsen, Einar Broch. Interna...

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures

Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures
Paper図書
Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de Bonsangue, Marcello M. Madelaine, Eric

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings

Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
Paper図書
Marcello M. Bonsangue, Einar Broch Johnsen (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading...ibuted Systems Bonsangue, Marcello M. Johnsen, Einar Broch

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures
Paper図書
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingBoer, Frank S. de Bonsangue, Marcello M. Graf, Susanne Roever, W.-P. d...

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Paper図書
Frank S. de Boer ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne Roever, W.-P. d...

Reached to the end of result.

RSS