Jump to main content

yr 〜
yr

Search results 21

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...de. Bonsangue, Marcello M. Università di Bologna.

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...ce) Bonsangue, Marcello M. Leiden University. Faculty of...

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...de. Bonsangue, Marcello M. Graz University of Technology...

Performance, strategies, and sustainability : hardback

Performance, strategies, and sustainability : hardback
Paper図書
edited by Marcello M. Mariani ... [et al.]Palgrave Macmillan2016
Other Libraries in Japan
  • Author HeadingMariani, Marcello M. Czakon, Wojciech Buhalis, Dim...

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...de. Bonsangue, Marcello M. Madelaine, Eric. FMCO 2008 (2...

The importance of networks and ICTs : hardback 1st ed

The importance of networks and ICTs : hardback 1st ed
Paper図書
edited by Marcello M. Mariani ... [et al.]Palgrave Macmillan2014
Other Libraries in Japan
  • Author HeadingMariani, Marcello M.

Managing tourism in a changing world : issues and cases

Managing tourism in a changing world : issues and cases
Paper図書
edited by Rodolfo Baggio, Wojciech Czakon and Marcello M. MarianiRoutledge2014
Other Libraries in Japan
  • Author HeadingBaggio, Rodolfo Czakon, Wojciech Mariani, Marcello M.

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...ce. 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...ems 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...

Protocols for environmental and health assessment of mercury released by artisanal and small-scale gold miners

Protocols for environmental and health assessment of mercury released by artisanal and small-scale gold miners
Paper図書
primary authors, Marcello M. Veiga, Randy F. Baker ; editing, Marvin B. Fried and Denise WithersGlobal Mercury Project, UNIDO2004
Other Libraries in Japan
  • Author HeadingVeiga, Marcello M. (Marcello Mariz) Baker, Randy...

Intelligence in a materials world : selected papers from IPMM-2001, the Third International Conference on Intelligent Processing and Manufacturing of Materials

Intelligence in a materials world : selected papers from IPMM-2001, the Third International Conference on Intelligent Processing and Manufacturing of Materials
Paper図書
edited by John A. Meech, Marcello M. Veiga ... [et al.]CRC Pressc2003
Other Libraries in Japan
  • Author Heading..., J. A. Veiga, Marcello M. 川添, 良幸 LeClair, Steven R.

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...

L'Africana : opera in 5 atti

L'Africana : opera in 5 atti
Paper図書
libretto di Eugenio Scribe ; traduzione italiana di M. Marcello ; musica di Giacomo MeyerbeerRicordic1953
Other Libraries in Japan
  • Author HeadingScribe, Eugenio Marcello, M. Meyerbeer, Giacomo

Tourism management, marketing, and development

Tourism management, marketing, and development
Paper図書
edited by Marcello M. Mariani ... [et al.]Palgrave Macmillan
Other Libraries in Japan
  • Author HeadingMariani, Marcello M.

Tutti in maschera : commedia lirica in tre atti

Tutti in maschera : commedia lirica in tre atti
Paper図書
di M. M. Marcello ; musica di Carlo PedrottiG. Ricordi[19--]
Other Libraries in Japan
  • Author HeadingMarcello, M. M. Pedrotti, Carlo

L'Africana : opera in 5 atti di E Scribe

L'Africana : opera in 5 atti di E Scribe
Paper楽譜
traduzione italiana di M. Marcello ; musica di G. MeyerbeerF. Lucca[18--]
Other Libraries in Japan
  • Author HeadingMeyerbeer, Giacomo Scribe, Eugène Marcello, M. (Marco)

La serenata

La serenata
Paper楽譜
music by G. Braga ; words by M.M. Marcello ; English words by CristabelWickins[19--]
Other Libraries in Japan
  • Author HeadingBraga, Gaetano Marcello, M.M Cristabel

Der Engel Lied : (La serenata) Légende valaque : für eine Singstimme mit Pianofortebegleitung Für Mezzo-Sopran oder Bariton

Der Engel Lied : (La serenata) Légende valaque : für eine Singstimme mit Pianofortebegleitung Für Mezzo-Sopran oder Bariton
Paper楽譜
von G. Braga ; [Gedicht von M.M. Marcello ; arrangement von E.W. Ritter]B. Schott's Söhne[19--]
Other Libraries in Japan
  • Author HeadingBraga, Gaetano Marcello, M.M Ritter, Eugene W
RSS