Volker Stolz – författare

Visar alla böcker från författaren Volker Stolz.

4 produkter

1. 

   Formal Methods: Foundations and Applications

   23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

   Av Gustavo Carvalho, Volker Stolz

   Häftad, 2020

   959 kr

   Lägg i varukorg

2. 

   Theoretical Aspects of Computing – ICTAC 2020

   17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

   Av Violet Ka I Pun, Volker Stolz m. fl.

   Häftad, 2020

   739 kr

   Lägg i varukorg

3. 

   Runtime Verification

   22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

   Av Thao Dang, Volker Stolz

   Häftad, 2022

   969 kr

   Lägg i varukorg

4. 

   Advances in Service-Oriented and Cloud Computing

   Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

   Av Zoltán Ádám Mann, Volker Stolz

   Häftad, 2018

   739 kr

   Lägg i varukorg