Yazar
Dudin, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Information Technologies and Mathematical Modelling 13th International Scientific Conference, ITMM
Yazar
Gebali, Fayez. author.
Format:
Electronic Resources
Alıntı:
mathematical theory and techniques necessary for analyzing telecommunication systems; · Discusses
View Other Search Results
Yazar
van Benthem, Johan. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Jones, Richard. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France
Yazar
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg
Yazar
Piterman, Nir. editor.
Format:
Electronic Resources
Alıntı:
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference
Yazar
McMillan, Kenneth L. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Merz, Stephan. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods