-
1
Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
2
Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
3
Fundamental approaches to software engineering : 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
4
Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
5
Compiler construction : 23rd International Conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, Apr...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
6
Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
7
Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of S...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
8
Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
9
Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
10
Foundations of software science and computation structures : 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of S...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
11
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
12
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
13
Tools and algorithms for the construction and analysis of systems : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
14
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
15
Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
16
Foundations of software science and computation structures : 22nd International Conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of S...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
17
Fundamental approaches to software engineering : 22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
18
Principles of security and trust : 8th International Conference, POST 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, C...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
19
Programming languages and systems : 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book -
20
Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice...
“…Electronic books.…”
Get full text
Online Conference Proceeding Book