Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springerc2013.<M17-13-2121>
National Diet Library
  • Author Heading...enning, Frank. 'Sapienza' University of Rome. Dept. of Computer Science. ETAPS (Conference) (16th : 20...

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)
Paper図書
Springerc2013.<M17-13-2120>
National Diet Library
  • Author Heading...Varró, Dániel. 'Sapienza' University of Rome. Dept. of Computer Science. ETAPS (Conference) (16th : 20...

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)
Paper図書
Springerc2013.<M17-13-2118>
National Diet Library
  • Author Heading...here, Koen de. 'Sapienza' University of Rome. Dept. of Computer Science. ETAPS (Conference) (16th : 20...

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)
Paper図書
Springerc2013.<M17-13-2123>
National Diet Library
  • Author Heading...chell, John C. 'Sapienza' University of Rome. Dept. of Computer Science. ETAPS (Conference) (16th : 20...

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)
Paper図書
Springerc2013.<M17-13-2122>
National Diet Library
  • Author Heading...olka, Scott A. 'Sapienza' University of Rome. Dept. of Computer Science. ETAPS (Conference) (16th : 20...

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)
Paper図書
Springerc2013.<M17-13-2119>
National Diet Library
  • Author Heading...ner, Philippa. 'Sapienza' University of Rome. Dept. of Computer Science. ETAPS (Conference) (16th : 20...

Reached to the end of result.

RSS