本文に飛ぶ

年 〜
年

検索結果 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
デジタル電子書籍・電子雑誌図書
2018
国立国会図書館

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.
紙図書
IEEE[2016]<M17-17-2497>
国立国会図書館
  • 著者標目...enna, Austria) Ábrahám, Erika. Bogomolov, Sergiy. Cyber-Phys...

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)
紙図書
Springer[2014]<M17-15-1286>
国立国会図書館
  • 著者標目...rlin, Germany) Ábrahám, Erika. Palamidessi, Catuscia. Techni...

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)
紙図書
Springerc2014.<M17-14-2140>
国立国会図書館
  • 著者標目...noble, France) Ábrahám, Erika. Havelund, Klaus, 1955- Univer...

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
紙図書
Erika Ábrahám, Marco Paolieri (eds.)Springerc2022
全国の図書館

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

An assertional proof system for multithreaded Java : theory and tool support
紙博士論文
Erika Abraham.Rijksuniversiteit Leiden2005.<M-DINL-4175>
国立国会図書館
  • 著者標目Abraham, Erika.

検索結果は以上です。

RSS