Jump to main content

yr 〜
yr

Search results 6

Foundations of software science and computational structures : 15th international conference, FOSSACS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7213. Advanced Research in Computing and Software Science)

Foundations of software science and computational structures : 15th international conference, FOSSACS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7213. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-76>
National Diet Library
  • Author Heading...f Cybernetics. ETAPS 2012 (2012 : Tallinn, Estonia)

Compiler construction : 21st international conference, CC 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7210. Advanced Research in Computing and Software Science)

Compiler construction : 21st international conference, CC 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7210. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-73>
National Diet Library
  • Author Heading...f Cybernetics. ETAPS 2012 (2012 : Tallinn, Estonia)

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-77>
National Diet Library
  • Author Heading...f Cybernetics. ETAPS 2012 (2012 : Tallinn, Estonia)

Principles of security and trust : first international conference, POST 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7215. Advanced Research in Computing and Software Science)

Principles of security and trust : first international conference, POST 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7215. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-78>
National Diet Library
  • Author Heading...f Cybernetics. ETAPS 2012 (2012 : Tallinn, Estonia)

Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)

Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-74>
National Diet Library
  • Author Heading...f Cybernetics. ETAPS 2012 (2012 : Tallinn, Estonia)

Fundamental approaches to software engineering : 15th international conference, FASE 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : annual European joint conference on theory and practice of software : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7212. Advanced Research in Computing and Software Science)

Fundamental approaches to software engineering : 15th international conference, FASE 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : annual European joint conference on theory and practice of software : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7212. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-75>
National Diet Library
  • Author Heading...f Cybernetics. ETAPS 2012 (2012 : Tallinn, Estonia)

Reached to the end of result.

RSS