Jump to main content

yr 〜
yr

Search results 6

Proceedings of the 1st International Workshop on Gender Equality in Software Engineering

Proceedings of the 1st International Workshop on Gender Equality in Software Engineering
Digital電子書籍・電子雑誌図書
2018
National Diet Library
  • Author HeadingAbraham, Erika Association for Computing Mac...

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-17-2497>
National Diet Library

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)

Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014 : held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014 : Berlin, Germany, June 3-5, 2014 : proceedings : joint FMOODS/FORTE conference : Jun 2014, Berlin, Germany. (Lecture Notes in Computer Science ; 8461)
Paper図書
Springer[2014]<M17-15-1286>
National Diet Library

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2140>
National Diet Library

Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings : pbk

Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings : pbk
Paper図書
Erika Ábrahám, Marco Paolieri (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingInternational Conference on Quantitative Evaluation of Systems Ábrahám, Erika Paolieri, Marco

An assertional proof system for multithreaded Java : theory and tool support

An assertional proof system for multithreaded Java : theory and tool support
Paper博士論文
Erika Abraham.Rijksuniversiteit Leiden2005.<M-DINL-4175>
National Diet Library
  • Author HeadingAbraham, Erika.

Reached to the end of result.

RSS