1
ανά International Conference of Tools and Algorithms for the Construction and Analysis of Systems, Abdulla, Parosh Aziz., Leino, K. Rustan M.
Έκδοση 2011.
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26...”Έκδοση 2011.
Λήψη πλήρους κειμένου
Livro
2
Τόπος έκδοσης Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Λήψη πλήρους κειμένου
Livro
3
Τόπος έκδοσης Lecture Notes in Computer Science
(2023)
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European...”Λήψη πλήρους κειμένου
Livro
4
Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”Λήψη πλήρους κειμένου
Livro
5
Τόπος έκδοσης Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Λήψη πλήρους κειμένου
Livro
6
Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2020)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place...”Λήψη πλήρους κειμένου
Livro
7
Τόπος έκδοσης Lecture Notes in Computer Science
(2019)
“... of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis...”Λήψη πλήρους κειμένου
Livro
8
Τόπος έκδοσης Lecture Notes in Computer Science
(2019)
“... constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction...”Λήψη πλήρους κειμένου
Livro
9
Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”Λήψη πλήρους κειμένου
Livro
10
Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
(2021)
“... on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during...”Λήψη πλήρους κειμένου
Livro
11
Τόπος έκδοσης Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Λήψη πλήρους κειμένου
Livro
12
Τόπος έκδοσης Lecture Notes in Computer Science
(2022)
“..., and users interested in rigorously based tools and algorithms for the construction and analysis of systems...”Λήψη πλήρους κειμένου
Livro
13
Τόπος έκδοσης Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Λήψη πλήρους κειμένου
Livro
14
Τόπος έκδοσης Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Λήψη πλήρους κειμένου
Livro
15
Τόπος έκδοσης Lecture Notes in Computer Science
(2025)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which...”Λήψη πλήρους κειμένου
Livro
16
Τόπος έκδοσης Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Λήψη πλήρους κειμένου
Livro
17
Τόπος έκδοσης Lecture Notes in Computer Science
(2024)
“... International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which...”Λήψη πλήρους κειμένου
Livro
18
“... and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Livro
19
ανά International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Piterman, Nir, Smolka, Scott A.
Έκδοση 2013.
“... for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented...”Έκδοση 2013.
Λήψη πλήρους κειμένου
Livro
20