Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014
View Other Search Results
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Fischbach, Kai. editor.
Format:
Electronic Resources
Alıntı:
Lecture Notes in Computer Science,
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Arama Sonuçlarını Sınırlandır
Daraltılmış: