Search Results - "Switzerland"
-
1
Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, the Netherlands, April 2-3, 2016, Revised selected pap...
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xiii, 185 pages).
Conference Proceeding eBook -
2
Foundations of software science and computation structures : 24th international conference, FOSSACS 2021 held as part of the European Joint Conferences on Theory and Practice of So...
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource.
Conference Proceeding eBook -
3
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...
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (xvi, 471 pages) : illustrations.
Conference Proceeding eBook -
4
Foundations of software science and computation structures : 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of S...
Published: Springer Open, 2020SpringerLink - Click here for accessDescription: 1 online resource (xv, 644 pages) : illustrations.
Conference Proceeding eBook -
5
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice...
Published: Springer Open, 2020SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 501 pages) : illustrations.
Conference Proceeding eBook -
6
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...
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (xiv, 604 pages) : illustrations.
Conference Proceeding eBook -
7
Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023...
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (x, 558 pages) : illustrations.
Conference Proceeding eBook -
8
Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, the Netherlands, April 2-3, 2016, Revised select...
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (ix, 235 pages) : illustrations.
Conference Proceeding eBook -
9
Principles of security and trust : 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalon...
Published: Springer Open, 2018SpringerLink - Click here for accessDescription: 1 online resource (xiv, 347 pages) : illustrations.
Conference Proceeding eBook -
10
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...
Published: Springer Open, 2019SpringerLink - Click here for accessDescription: 1 online resource (xi, 249 pages) : illustrations (some color).
Conference Proceeding eBook -
11
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice...
Published: Springer, 2020SpringerLink - Click here for accessDescription: 1 online resource (xxiii, 425 pages) : illustrations.
Conference Proceeding eBook -
12
Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of S...
Published: Springer, 2023SpringerLink - Click here for accessDescription: 1 online resource (xiv, 562 pages) : illustrations (some color).
Conference Proceeding eBook -
13
Fundamental approaches to software engineering : 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS...
Published: Springer Open, 2018SpringerLink - Click here for accessDescription: 1 online resource (xii, 357 pages) : illustrations.
Conference Proceeding eBook -
14
Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (xii, 261 pages) : illustrations.
Conference Proceeding eBook -
15
Coalgebraic methods in computer science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected p...
Published: Springer, 2018SpringerLink - Click here for accessDescription: 1 online resource (ix, 235 pages) : illustrations.
Conference Proceeding eBook -
16
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...
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (xii, 693 pages) : illustrations.
Conference Proceeding eBook -
17
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...
Published: Springer, 2022SpringerLink - Click here for accessDescription: 1 online resource (xiv, 347 pages) : illustrations.
Conference Proceeding eBook -
18
Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
Published: Springer, 2016SpringerLink - Click here for accessDescription: 1 online resource (xvi, 245 pages) : illustrations.
Conference Proceeding eBook -
19
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice...
Published: Springer Open, 2018SpringerLink - Click here for accessDescription: 1 online resource (xx, 429 pages) : illustrations.
Conference Proceeding eBook -
20
Programming languages and systems : 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018...
Published: Springer Open, 2018SpringerLink - Click here for accessDescription: 1 online resource (xvi, 1058 pages) : illustrations.
Conference Proceeding eBook