Reihe Theoretical Computer Science and General Issues Network and Parallel Computing18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, ProceedingsSpringer International PublishingeBook2022 Verification, Model Checking, and Abstract Interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ProceedingsSpringer International PublishingeBook2022 Approximation and Online Algorithms19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021, Revised Selected PapersSpringer International PublishingeBook2022 Descriptional Complexity of Formal Systems23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, ProceedingsSpringer International PublishingeBook2022 Descriptional Complexity of Formal Systems23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, ProceedingsSpringer International PublishingSoftcover2021 Approximation and Online Algorithms19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021, Revised Selected PapersSpringer International PublishingSoftcover2021 Logical Foundations of Computer ScienceInternational Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, ProceedingsSpringer International PublishingSoftcover2021 Algorithmic Aspects in Information and Management15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, ProceedingsSpringer International PublishingSoftcover2021 Logical Foundations of Computer ScienceInternational Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, ProceedingsSpringer International PublishingeBook2021 Algorithmic Aspects in Information and Management15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, ProceedingsSpringer International PublishingeBook20214.772 Treffer 1 2 3 4 5 6 ...