本文に飛ぶ

年 〜
年

検索結果 11 件

Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers : biannual, week-long GTTSE summer school : 4th international summer school on generative and transformational techniques in software engineering : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 7680. Tutorial)

Generative and transformational techniques in software engineering 4 : international summer school, GTTSE 2011 : Braga, Portugal, July 3-9, 2011 : revised papers : biannual, week-long GTTSE summer school : 4th international summer school on generative and transformational techniques in software engineering : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 7680. Tutorial)
紙図書
Springerc2013.<M17-13-1621>
国立国会図書館
  • 著者標目...Visser, Joost. Universidade do Minho. Departamento de Informatica.

Software language engineering : 4th international conference, SLE 2011 : Braga, Portugal, July 3-4, 2011 : revised selected papers : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 6940)

Software language engineering : 4th international conference, SLE 2011 : Braga, Portugal, July 3-4, 2011 : revised selected papers : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 6940)
紙図書
Springerc2012.<M17-13-60>
国立国会図書館
  • 著者標目...nn, Uwe, 1963- Universidade do Minho. Departamento de Informatica.

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)
紙図書
Springerc2011.<M17-11-2114>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Fernandes, João M. GTTSE 2009...

Generative and transformational techniques in software engineering 2 : international summer school, GTTSE 2007 : Braga, Portugal, July 2-7, 2007 : revised papers. : 2nd summer school on generative and transformational techniques in software engineering : Jul 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 5235. Tutorial)

Generative and transformational techniques in software engineering 2 : international summer school, GTTSE 2007 : Braga, Portugal, July 2-7, 2007 : revised papers. : 2nd summer school on generative and transformational techniques in software engineering : Jul 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 5235. Tutorial)
紙図書
Springerc2008.<M17-09-1034>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Lämmel, Ralf. Visser, Joost. ...

Foundations of software science and computational structures : 10th international conference, FOSSACS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : international conference foundations of software science and computations structures : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4423)

Foundations of software science and computational structures : 10th international conference, FOSSACS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : international conference foundations of software science and computations structures : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4423)
紙図書
Springerc2007.<M17-07-1775>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Seidl, Helmut. FOSSACS 2007 (...

Compiler construction : 16th international conference, CC 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 26-30, 2007 : proceedings. : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4420)

Compiler construction : 16th international conference, CC 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 26-30, 2007 : proceedings. : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4420)
紙図書
Springerc2007.<M17-07-1260>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Krishnamurthi, Shriram. Oders...

Fundamental approaches to software engineering : 10th international conference, FASE 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th meeting of ETAPS : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4422)

Fundamental approaches to software engineering : 10th international conference, FASE 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th meeting of ETAPS : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4422)
紙図書
Springerc2007.<M17-07-1261>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Dwyer, Matthew, 1963- Lopes, ...

Programming languages and systems : 16th European symposium on programming, ESOP 2007 : held as part of the joint European conferences on theory and practics [i.e. practice] of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : annual European symposium on programming : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4421)

Programming languages and systems : 16th European symposium on programming, ESOP 2007 : held as part of the joint European conferences on theory and practics [i.e. practice] of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : annual European symposium on programming : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4421)
紙図書
Springerc2007.<M17-07-2104>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. De Nicola, Rocco. European Sy...

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th European joint conference on theory and practice of software : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4424)

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th European joint conference on theory and practice of software : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4424)
紙図書
Springerc2007.<M17-07-1267>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Grumberg, Orna. Huth, Michael...

Generative and transformational techniques in software engineering : international summer school, GTTSE 2005 : Braga, Portugal, July 4-8, 2005 : revised papers. : Jul 2005, Braga, Portugal. (Lecture Notes in Computer Science ; 4143. Tutorial)

Generative and transformational techniques in software engineering : international summer school, GTTSE 2005 : Braga, Portugal, July 4-8, 2005 : revised papers. : Jul 2005, Braga, Portugal. (Lecture Notes in Computer Science ; 4143. Tutorial)
紙図書
Springerc2006.<M17-06-3121>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Lämmel, Ralf. Saraiva, João. ...

Progress in artificial intelligence : 13th Portuguese conference on aritficial [i.e. artificial] intelligence, EPIA 2007 workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW : BI, CMBSB, IROBOT, MASTA, STCS, and TEMA : Guimaraes, Portugal, December 3-7, 2007 : proceedings. : Dec 2007, Guimaraes, Portugal. (Lecture Notes in Computer Science ; 4874. Lecture Notes in Artificial Intelligence)

Progress in artificial intelligence : 13th Portuguese conference on aritficial [i.e. artificial] intelligence, EPIA 2007 workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW : BI, CMBSB, IROBOT, MASTA, STCS, and TEMA : Guimaraes, Portugal, December 3-7, 2007 : proceedings. : Dec 2007, Guimaraes, Portugal. (Lecture Notes in Computer Science ; 4874. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2007.<M17-09-407>
国立国会図書館
  • 著者標目Universidade do Minho. Departamento de Informatica. Neves, José, 1948- Santos, Ma...

検索結果は以上です。

RSS