Jump to main content

yr 〜
yr

Search results 14

Recent trends in algebraic development techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers

Recent trends in algebraic development techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers
Paper図書
José Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingWADT Fiadeiro, José Luiz Schobbens...

Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Paper図書
José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingWADT Fiadeiro, José Luiz Mosses, P...

Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
Paper図書
Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingWADT Wirsing, Martin Pattinson, Di...

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
Paper図書
Maura Cerioli, Gianna Reggio (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingWADT Cerioli, Maura Reggio, Gianna

Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Paper図書
José Luiz Fiadeiro (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingWADT Fiadeiro, José Luiz

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012 : Salamanca, Spain, June 7-10, 2012 : revised selected papers : Jun 2012, Salamanca, Spain. (Lecture Notes in Computer Science ; 7841)

Recent trends in algebraic development techniques : 21st international workshop, WADT 2012 : Salamanca, Spain, June 7-10, 2012 : revised selected papers : Jun 2012, Salamanca, Spain. (Lecture Notes in Computer Science ; 7841)
Paper図書
Springerc2013.<M17-13-2770>
National Diet Library
  • Subject HeadingComputer software--Development--Congresses. Computer science--Mathematics--Congresses. WADT 2012
  • Author HeadingWADT (Workshop) (21st : 2012 : Sal...

Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers

Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
Paper図書
Didier Bert, Christine Choppy, Peter Mosses (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingWADT Bert, Didier Choppy, C. (Chri...

Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers

Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Paper図書
Francesco Parisi Presicce, (ed.)Springerc1998
Other Libraries in Japan
  • Author HeadingWADT Parisi Presicce, Francesco

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008 : Pisa, Italy, June 13-16, 2008 : revised selected papers. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5486)
Paper図書
Springerc2009.<M17-10-1908>
National Diet Library
  • Author Heading...nari, U. (Ugo) WADT 2008 (2008 : Pisa, Italy)

Recent trends in algebraic development techniques : 20th international workshop, WADT 2010 : Etelsen, Germany, July 1-4, 2010 : revised selected papers : 20th ADT workshop : Jul 2010, Etelsen, Germany. (Lecture Notes in Computer Science ; 7137)

Recent trends in algebraic development techniques : 20th international workshop, WADT 2010 : Etelsen, Germany, July 1-4, 2010 : revised selected papers : 20th ADT workshop : Jul 2010, Etelsen, Germany. (Lecture Notes in Computer Science ; 7137)
Paper図書
Springerc2012.<M17-12-2900>
National Diet Library
  • Author HeadingWADT 2010 (2010 : Etelsen, Germany...

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 : joint with the CoFI WG meeting : Genova, Italy, April 1-3, 2001 : selected papers. : 15th international workshop on algebraic development techniques (WADT 2001) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2267)

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 : joint with the CoFI WG meeting : Genova, Italy, April 1-3, 2001 : selected papers. : 15th international workshop on algebraic development techniques (WADT 2001) : Apr 2001, Genova, Italy. (Lecture Notes in Computer Science ; 2267)
Paper図書
Springerc2001.<M17-03-2458>
National Diet Library
  • Author HeadingCerioli, Maura. Reggio, Gianna, 1957- WADT 2001 Conference (2001 : Genoa...

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002 : Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. : 16th international workshop on algebraic development techniques : Sep 2002, Frauenchiemsee, Germany. (Lecture Notes in Computer Science ; 2755)

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002 : Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers. : 16th international workshop on algebraic development techniques : Sep 2002, Frauenchiemsee, Germany. (Lecture Notes in Computer Science ; 2755)
Paper図書
Springer-Verlagc2003.<M17-04-2562>
National Diet Library
  • Author Heading...r, Rolf, 1952- WADT 2002 (2002 : Frauenchiemsee, ...

DAMAGE RESISTANCE OF COATED OPTICS. (LA ; LA-UR-85-3471)

DAMAGE RESISTANCE OF COATED OPTICS. (LA ; LA-UR-85-3471)
Paper図書
WADT, W.R.1985.
Other Libraries in Japan
  • Author HeadingWADT, W.R.

Ab initio potential surface calculations for the H + H/sub 2/O and H + HF hydrogen atom exchange reactions (MLM ; MLM-2332(OP)) (CONF ; CONF-760130-1)

Ab initio potential surface calculations for the H + H/sub 2/O and H + HF hydrogen atom exchange reactions (MLM ; MLM-2332(OP)) (CONF ; CONF-760130-1)
Paper図書
W.R. Wadt, N.W. Winter1976
Other Libraries in Japan
  • Author HeadingWadt, W.R. Winter, N.W.

Reached to the end of result.

RSS