共 38 条
- [1] 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13991 LNCS
- [2] Compiler Construction - 18th International Conference, CC 2009 - Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, Proceedings Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5501 LNCS
- [4] 13th International Conference on Compiler Construction, CC 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Lect. Notes Comput. Sci., 1600, (1-312):
- [6] 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12652 LNCS
- [7] Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7211 LNCS
- [9] ENASE 2009 - 4th International Conference on Evaluation of Novel Approaches to Software Engineering, Proceedings: Foreword ENASE 2009 - 4th International Conference on Evaluation of Novel Approaches to Software Engineering, Proceedings, 2009,
- [10] Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009: Message from the WSCE 2009 workshop chairs Proceedings - 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, 2009, 4