Yazar
Gao, Ruipeng. author.
Format:
Electronic Resources
Alıntı:
Smartphone-Based Indoor Map Construction Principles and Applications / Gao, Ruipeng. author.
Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal
View Other Search Results
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany
Yazar
Franke, Björn. editor.
Format:
Electronic Resources
Alıntı:
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint
Yazar
Cohen, Albert. editor.
Format:
Electronic Resources
Alıntı:
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: