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 Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.

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 Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.

Pokaż inne wersje (1)

Zapisane w:

Opis bibliograficzny
Superior document:	Lecture Notes in Computer Science Series ; v.13992
:	Kupferman, Orna.
TeilnehmendeR:	Sobocinski, Pawel.
Place / Publishing House:	Cham : : Springer International Publishing AG,, 2023. Ã2023.
Rok wydania:	2023
Wydanie:	1st ed.
Język:	English
Seria:	Lecture Notes in Computer Science Series
Dostęp online:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=7240929
Opis fizyczny:	1 online resource (575 pages)
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy

Foundations of Software Science and Computation Structures : : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II /
od: Kobayashi, Naoki.
Wydane: (2024.)

Tools and Algorithms for the Construction and Analysis of Systems : : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II.
od: Sankaranarayanan, Sriram.
Wydane: (2023.)

Tools and Algorithms for the Construction and Analysis of Systems : : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I.
od: Sankaranarayanan, Sriram.
Wydane: (2023.)

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 Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /
Wydane: (2023.)

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 Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.
od: Bouyer, Patricia.
Wydane: (2022.)

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 Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
od: Bouyer, Patricia
Wydane: (2022.)

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 Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
od: Kiefer, Stefan.
Wydane: (2021.)

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 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
od: Guerra, Esther.
Wydane: (2021.)

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 of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I /
od: Biere, Armin
Wydane: (2020.)

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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I /
od: Groote, Jan Friso.
Wydane: (2021.)

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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.
od: Groote, Jan Friso.
Wydane: (2021.)

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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I.
od: Groote, Jan Friso.
Wydane: (2021.)

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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II /
od: Groote, Jan Friso.
Wydane: (2021.)

Fundamental Approaches to Software Engineering : : 26th International Conference, FASE 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings.
od: Lambers, Leen.
Wydane: (2023.)

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings /
Wydane: (2023.)

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 of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I.
od: Fisman, Dana.
Wydane: (2022.)

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 of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II.
od: Fisman, Dana.
Wydane: (2022.)

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 of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II .
od: Fisman, Dana
Wydane: (2022.)

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 of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings.
od: Fisman, Dana
Wydane: (2022.)

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, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
od: Yoshida, Nobuko.
Wydane: (2021.)

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I /
Wydane: (2023.)

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II /
Wydane: (2023.)

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, Paris, France, April 22-27, 2023, Proceedings.
od: Wies, Thomas.
Wydane: (2023.)

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, Paris, France, April 22–27, 2023, Proceedings /
Wydane: (2023.)

Innovación y software
Wydane: (2020-)

Software-intensive cyber-physical systems.
Wydane: (2019-)

FCS 2016 : : proceedings of the 2017 International Conference on Foundations of Computer Science. /
Wydane: ([2017])

FCS 2016 : : proceedings of the 2016 International Conference on Foundations of Computer Science /
Wydane: (2016.)

FCS 2015 : : proceedings of the 2015 International Conference on Foundations of Computer Science /
Wydane: ([2015])

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 Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings.
od: Kiefer, Stefan.
Wydane: (2021.)

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 Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
od: Bojańczyk, Mikołaj
Wydane: (2019.)

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 Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
od: Goubault-Larrecq, Jean
Wydane: (2020.)

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 Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.
od: Goubault-Larrecq, Jean.
Wydane: (2020.)

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
od: Baier, Christel
Wydane: (2018.)

Computation and Communication Technologies /
Wydane: ([2016])

Computation and communication technologies /
Wydane: ([2016])

DevOps for Digital Leaders : : Reignite Business with a Modern DevOps-Enabled Software Factory.
od: Ravichandran, Aruna.
Wydane: (2016.)

CSC 2017 : : proceedings of the 2017 International Conference on Scientific Computing /
Wydane: ([2017])

CSC 2015 : : proceedings of the 2015 International Conference on Scientific Computing /
Wydane: ([2015])

CSC 2016 : : proceedings of the 2016 International Conference on Scientific Computing /
Wydane: (2016.)