Jump to main content

yr 〜
yr

Search results 7

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8137)

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8137)
Paper図書
Springerc2013.<M17-14-705>
National Diet Library
  • Author Heading... (Mercedes G.) Bravetti, Mario.

CONCUR 2009 -- concurrency theory : 20th international conference, CONCUR 2009 : Bologna, Italy, September 1-4, 2009 : proceedings. : CONCUR09 : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5710)

CONCUR 2009 -- concurrency theory : 20th international conference, CONCUR 2009 : Bologna, Italy, September 1-4, 2009 : proceedings. : CONCUR09 : Sep 2009, Bologna, Italy. (Lecture Notes in Computer Science ; 5710)
Paper図書
Springerc2009.<M17-10-1709>
National Diet Library
  • Author HeadingIFIP WG 1.8. Bravetti, Mario. Zavattaro, Gianluigi. IFIP W...

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)

Web services and formal methods : third international workshop, WS-FM 2006 : Vienna, Austria, September 8-9, 2006 : proceedings. : Sep 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 4184)
Paper図書
Springerc2006.<M17-07-178>
National Diet Library
  • Author HeadingTechnische Universität Wien. Bravetti, Mario. Núñez, Manuel, Profesor. Zav...

Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings. : Sep 2005, Versailles, France. (Lecture Notes in Computer Science ; 3670)

Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 : Versailles, France, September 1-3, 2005 : proceedings. : Sep 2005, Versailles, France. (Lecture Notes in Computer Science ; 3670)
Paper図書
Springerc2005.<M17-06-116>
National Diet Library
  • Author HeadingBravetti, Mario. Kloul, Leïla. Zavattaro, Gia...

CONCUR 2009 -- concurrency theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings

CONCUR 2009 -- concurrency theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings
Paper図書
Mario Bravetti, Gianluigi Zavattaro (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Conference on Concurrency Theory Bravetti, Mario Zavattaro, Gianluigi

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Paper図書
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingWS-FM Bravetti, Mario Núñez, Manuel Zavattaro, Gian...

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings
Paper図書
Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingBravetti, Mario Kloul, Leïla Zavattaro, Gianl...

Reached to the end of result.

RSS