年 〜
年

検索結果 6 件

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2121>
国立国会図書館
  • 著者標目...puter Science. ETAPS (Conference) (16th : 2013 : Rome, Italy)

Fundamental approaches to software engineering : 16th international conference, FASE 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : annual European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7793. Advanced Research in Computing and Software Science)

Fundamental approaches to software engineering : 16th international conference, FASE 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : annual European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7793. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2120>
国立国会図書館
  • 著者標目...puter Science. ETAPS (Conference) (16th : 2013 : Rome, Italy)

Principles of security and trust : second international conference, POST 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013. proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7796. Advanced Research in Computing and Software Science)

Principles of security and trust : second international conference, POST 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013. proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7796. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2123>
国立国会図書館
  • 著者標目...puter Science. ETAPS (Conference) (16th : 2013 : Rome, Italy)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2122>
国立国会図書館
  • 著者標目...puter Science. ETAPS (Conference) (16th : 2013 : Rome, Italy)

Compiler construction : 22nd international conference, CC 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7791. Advanced Research in Computing and Software Science)

Compiler construction : 22nd international conference, CC 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7791. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2118>
国立国会図書館
  • 著者標目...puter Science. ETAPS (Conference) (16th : 2013 : Rome, Italy)

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)

Programming languages and systems : 22nd European symposium on programming, ESOP 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7792. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2119>
国立国会図書館
  • 著者標目...puter Science. ETAPS (Conference) (16th : 2013 : Rome, Italy)

検索結果は以上です。