Jump to main content

yr 〜
yr

Search results 2

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)

Static analysis : 21st international symposium, SAS 2014 : Munich, Germany, September 11-13, 2014 : proceedings : Sep 2014, Munich, Germany. (Lecture Notes in Computer Science ; 8723. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-611>
National Diet Library
  • Author Heading...r-Olm, Markus. Seidl, Helmut (Computer scientist)

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)
Paper図書
IOS Press[2014]<M17-15-1430>
National Diet Library
  • Author Heading...rumberg, Orna. Seidl, Helmut (Computer scientist) Irlbeck, Maximilian.

Reached to the end of result.

RSS