Cover Image

QR Code

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.

Bibliographic Details
Main Author:	Kiefer, Stefan.
Other Authors:	Tasson, Christine.
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing AG, 2021.
Edition:	1st ed.
Series:	Lecture Notes in Computer Science Series
Subjects:	Electronic books.
Online Access:	Click to View

Similar Items

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings.
by: Blanchette, Jasmin.
Published: (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.
by: Bouyer, Patricia.
Published: (2022)

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.
by: Goubault-Larrecq, Jean.
Published: (2020)

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.
by: Kupferman, Orna.
Published: (2023)

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.
by: Guerra, Esther.
Published: (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.
by: Groote, Jan Friso.
Published: (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.
by: Groote, Jan Friso.
Published: (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.
by: Lambers, Leen.
Published: (2023)

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.
by: Yoshida, Nobuko.
Published: (2021)

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 2022, Munich, Germany, April 2-7, 2022, Proceedings.
by: Johnsen, Einar Broch.
Published: (2022)

Agile Processes in Software Engineering and Extreme Programming : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings.
by: Gregory, Peggy.
Published: (2021)

Proceedings of the Conference Contemporary Mathematics in Kielce 2020, February 24-27 2021.
Published: (2021)

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.
by: Silva, Alexandra.
Published: (2021)

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.
by: Silva, Alexandra.
Published: (2021)

Growing software proven strategies for managing software engineers /
by: Testa, Louis.
Published: (2009)

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.
by: Wies, Thomas.
Published: (2023)

The Software conspiracy.
by: Minasi
Published: (1999)

Computable foundations for economics
by: Velupillai, Kumaraswamy, 1947-
Published: (2010)

Agile Processes in Software Engineering and Extreme Programming : 24th International Conference on Agile Software Development, XP 2023, Amsterdam, the Netherlands, June 13-16, 2023, Proceedings.
by: Stettina, Christoph J.
Published: (2023)

Security in Computer and Information Sciences : Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers.
by: Gelenbe, Erol.
Published: (2022)

Software rights : how patent law transformed software development in America /
by: Con Diaz, Gerardo,
Published: (2019)

Proceedings of the 4th International Conference on Life Sciences and Biotechnology (ICOLIB 2021).
by: Sugiharto, Bambang.
Published: (2023)

Agile Processes in Software Engineering and Extreme Programming - Workshops : XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers.
by: Gregory, Peggy.
Published: (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.
by: Sankaranarayanan, Sriram.
Published: (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.
by: Sankaranarayanan, Sriram.
Published: (2023)

Innovation on education and social sciences : proceedings of the International Joint Conference on Arts and Humanities (IJCAH 2021) October 2, 2021, Surabaya, Indonesia /
by: Maureen, Irena Yolanita,
Published: (2022)

Business patterns for software developers
by: Rednik.
Published: (2012)

The IFPUG guide to IT and software measurement
Published: (2012)

Hungarian software companies.
Published: (1997)

Software defined networks /
by: Mishra, Vinod K.,
Published: (2019)

Software development market in France.
Published: (2009)

Managed Software Evolution.
by: Reussner, Ralf.
Published: (2019)

The Future of Software Quality Assurance.
by: Goericke, Stephan.
Published: (2019)

Rethinking Productivity in Software Engineering.
by: Sadowski, Caitlin.
Published: (2019)

The Essence of Software Engineering.
by: Gruhn, Volker.
Published: (2018)

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, Munich, Germany, April 2-7, 2022, Proceedings.
by: Sergey, Ilya.
Published: (2022)

Life in Health 2021 : Proceedings of the International Conference held on 9–10 September 2021.
by: Vlček, Petr.
Published: (2021)

Computational Modelling of Concrete Structures : Proceedings of the Conference on Computational Modelling of Concrete and Concrete Structures (EURO-C 2018), February 26 - March 1, 2018, Bad Hofgastein, Austria.
by: Meschke, Günther.
Published: (2018)

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.
by: Fisman, Dana.
Published: (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.
by: Fisman, Dana.
Published: (2022)