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.

Show other versions (1)

Saved in:

書目詳細資料
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.
出版年:	2023
版:	1st ed.
語言:	English
叢編:	Lecture Notes in Computer Science Series
在線閱讀:	https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=7240929
實物描述:	1 online resource (575 pages)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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 /
由: Kobayashi, Naoki.
出版: (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.
由: Sankaranarayanan, Sriram.
出版: (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.
由: Sankaranarayanan, Sriram.
出版: (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 /
出版: (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.
由: Bouyer, Patricia.
出版: (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 /
由: Bouyer, Patricia
出版: (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 /
由: Kiefer, Stefan.
出版: (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 /
由: Guerra, Esther.
出版: (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 /
由: Biere, Armin
出版: (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 /
由: Groote, Jan Friso.
出版: (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.
由: Groote, Jan Friso.
出版: (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.
由: Groote, Jan Friso.
出版: (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 /
由: Groote, Jan Friso.
出版: (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.
由: Lambers, Leen.
出版: (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 /
出版: (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.
由: Fisman, Dana.
出版: (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.
由: Fisman, Dana.
出版: (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 .
由: Fisman, Dana
出版: (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.
由: Fisman, Dana
出版: (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 /
由: Yoshida, Nobuko.
出版: (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 /
出版: (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 /
出版: (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.
由: Wies, Thomas.
出版: (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 /
出版: (2023.)

Innovación y software
出版: (2020-)

Software-intensive cyber-physical systems.
出版: (2019-)

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

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

FCS 2015 : : proceedings of the 2015 International Conference on Foundations of Computer Science /
出版: ([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.
由: Kiefer, Stefan.
出版: (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 /
由: Bojańczyk, Mikołaj
出版: (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 /
由: Goubault-Larrecq, Jean
出版: (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.
由: Goubault-Larrecq, Jean.
出版: (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 /
由: Baier, Christel
出版: (2018.)

Computation and Communication Technologies /
出版: ([2016])

Computation and communication technologies /
出版: ([2016])

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

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

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

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