年 〜
年

検索結果 7 件

Fundamental approaches to software engineering : 6th international conference, FASE 2003 held as part of the joint European conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2621)

Fundamental approaches to software engineering : 6th international conference, FASE 2003 held as part of the joint European conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2621)
紙図書
Springerc2003.<M17-04-440>
国立国会図書館
  • 著者標目Warsaw University. Institute of Informatics. Pezzè, Mauro. FASE 2003 (2003...

Foundations of software science and computational structures : 6th international conference, FOSSACS 2003 held as part of the joint European conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2620)

Foundations of software science and computational structures : 6th international conference, FOSSACS 2003 held as part of the joint European conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2620)
紙図書
Springerc2003.<M17-04-435>
国立国会図書館
  • 著者標目Warsaw University. Institute of Informatics. Gordon, Andrew D. FOSSACS 200...

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2619)

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2619)
紙図書
Springerc2003.<M17-03-1159>
国立国会図書館
  • 著者標目Warsaw University. Institute of Informatics. Garavel, Hubert, 1963- Hatcli...

Programming languages and systems : 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2618)

Programming languages and systems : 12th European symposium on programming, ESOP 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. : Apr 2003, Warsaw, Poland. (Lecture Notes in Computer Science ; 2618)
紙図書
Springerc2003.<M17-03-1169>
国立国会図書館
  • 著者標目Warsaw University. Institute of Informatics. Degano, Pierpaolo, 1950- Euro...

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings. : Aug 2002, Warsaw, Poland. (Lecture Notes in Computer Science ; 2420)

Mathematical foundations of computer science 2002 : 27th international symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002 : proceedings. : Aug 2002, Warsaw, Poland. (Lecture Notes in Computer Science ; 2420)
紙図書
Springer2002.<M17-03-155>
国立国会図書館
  • 著者標目Warsaw University. Institute of Informatics. Diks, Krzysztof, 1956- Rytter...

Fundamentals of computation theory : 11th International symposium : Sep 1997, Cracow, Poland. (Lecture Notes in Computer Science ; 1279)

Fundamentals of computation theory : 11th International symposium : Sep 1997, Cracow, Poland. (Lecture Notes in Computer Science ; 1279)
紙図書
Springer1997.<M17-00-0456>
国立国会図書館
  • 著者標目Warsaw University. Institute of Informatics.

Mathematical foundations of computer science 1996 : 21st International symposium : Sep 1996, Cracow, Poland. (Lecture Notes in Computer Science ; 1113)

Mathematical foundations of computer science 1996 : 21st International symposium : Sep 1996, Cracow, Poland. (Lecture Notes in Computer Science ; 1113)
紙図書
Springer1996.<M17-00-0356>
国立国会図書館
  • 著者標目...puter Science. Warsaw University. Institute of Informatics.

検索結果は以上です。