32 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Watson, Des. author.
Format:
Electronic Resources
Alıntı:
A Practical Approach to Compiler Construction Watson, Des. author.
Yazar
Hinze, Ralf. editor.
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany
View Other Search Results
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
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
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
Format:
Electronic Resources
Alıntı:
Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction
Yazar
Liu, Zhiming. editor.
Format:
Electronic Resources
Alıntı:
, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction
Yazar
Karrenberg, Ralf. author.
Format:
Electronic Resources
Alıntı:
Software and compiler engineers in the fields high-performance computing and compiler construction About
32 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: