Jump to main content

yr 〜
yr

Search results 17

Algebraic methodology and software technology : 13th international conference, AMAST 2010 : Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers. : Jun 2010, Lac-Beauport, Canada. (Lecture Notes in Computer Science ; 6486)

Algebraic methodology and software technology : 13th international conference, AMAST 2010 : Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers. : Jun 2010, Lac-Beauport, Canada. (Lecture Notes in Computer Science ; 6486)
Paper図書
Springerc2011.<M17-11-2115>
National Diet Library
  • Author Heading...vlović, Dusko. International Conference on Algebraic Methodology and Software Technology (13th : 2010 : Lac Beauport, ...

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)

Algebraic methodology and software technology : 11th international conference, AMAST 2006 : Kuressaare, Estonia, July 5-8, 2006 : proceedings. : AMAST workshops : Jul 2006, Kuressaare, Estonia. (Lecture Notes in Computer Science ; 4019)
Paper図書
Springerc2006.<M17-06-3036>
National Diet Library
  • Author Heading.... Vene, Varmo. International Conference on Algebraic Methodology and Software Technology (11th : 2006 : Kuressaare, Es...

Algebraic methodology and software technology : 12th international conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings. : Jul 2008, Urbana, IL. (Lecture Notes in Computer Science ; 5140)

Algebraic methodology and software technology : 12th international conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings. : Jul 2008, Urbana, IL. (Lecture Notes in Computer Science ; 5140)
Paper図書
Springerc2008.<M17-08-1885>
National Diet Library
  • Author Heading...oısu, Grigore. International Conference on Algebraic Methodology and Software Technology, AMAST (12th : 2008 : Urbana,...

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings
Paper図書
José Meseguer, Grigore Roşu (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Meseguer, José Roşu, Grigore

Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings

Algebraic methodology and software technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings
Paper図書
Michael Johnson, Varmo Vene (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Johnson, Michael Vene, Varmo

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings. : Sep 2002, Saint-Gilles-les-Bains, France. (Lecture Notes in Computer Science ; 2422)

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings. : Sep 2002, Saint-Gilles-les-Bains, France. (Lecture Notes in Computer Science ; 2422)
Paper図書
Springer2002.<M17-03-152>
National Diet Library
  • Author Heading...istophe, 1967- International Conference on Algebraic Methodology and Software Technology (9th : 2002 : Saint-Gilles-le...

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Paper図書
Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Rattray, Charles Maharaj, Sav...

Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
Paper図書
Hélène Kirchner, Christophe Ringeissen (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Kirchner, Hélène Ringeissen, ...

Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
Paper図書
Teodor Rus (ed.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Rus, Teodor

Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings

Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings
Paper図書
Armando Martín Haeberer (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Haeberer, Armando Martín

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Paper図書
Joost-Pieter Katoen (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Katoen, Joost-Pieter

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, eds. (Lecture notes in computer science)

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9793>
National Diet Library
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology (4th : 1995 : Montréal, Québe...

Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings

Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings
Paper図書
Michael Johnson (ed.)Springer-Verlagc1997
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Johnson, Michael

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Paper図書
Martin Wirsing, Maurice Nivat (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Wirsing, M. (Martin) Nivat, M...

Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings : gw

Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings : gw
Paper図書
V.S. Alagar, Maurice Nivat, (eds.)Springer-Verlagc1995
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Alagar, Vangalur S. Nivat, Ma...

Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 : us : acid-free paper : gw : acid-free paper

Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 : us : acid-free paper : gw : acid-free paper
Paper図書
M. Nivat ... [et al.] (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Nivat, Maurice British Comput...

Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 : us : gw

Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 : us : gw
Paper図書
M. Nivat ... [et al.] (eds.)Springer, published in collaboration with the British Computer Societyc1992
Other Libraries in Japan
  • Author HeadingInternational Conference on Algebraic Methodology and Software Technology Nivat, Maurice Rattray, C. (C...

Reached to the end of result.

RSS